Class AbstractDialecticalFramework.Signature

    • Field Summary

      • Fields inherited from class net.sf.tweety.commons.SingleSetSignature

        formulas
    • Method Summary

      Modifier and Type Method Description
      void add​(Object obj)  
      net.sf.tweety.commons.SingleSetSignature<Argument> clone()  
      • Methods inherited from class net.sf.tweety.commons.SingleSetSignature

        add, addAll, addSignature, clear, contains, containsAll, equals, hashCode, isEmpty, isOverlappingSignature, isSubSignature, iterator, remove, removeAll, retainAll, size, toArray, toCollection, toString
    • Constructor Detail

      • Signature

        public Signature​(Set<Argument> formulas)
    • Method Detail

      • add

        public void add​(Object obj)
      • clone

        public net.sf.tweety.commons.SingleSetSignature<Argument> clone()
        Specified by:
        clone in interface net.sf.tweety.commons.Signature
        Specified by:
        clone in class net.sf.tweety.commons.SingleSetSignature<Argument>