Package net.sf.tweety.arg.adf.syntax
Class AbstractDialecticalFrameworkSignature
- java.lang.Object
-
- net.sf.tweety.commons.SingleSetSignature<Argument>
-
- net.sf.tweety.arg.adf.syntax.AbstractDialecticalFrameworkSignature
-
-
Constructor Summary
Constructors Constructor Description AbstractDialecticalFrameworkSignature()AbstractDialecticalFrameworkSignature(Set<Argument> formulas)AbstractDialecticalFrameworkSignature(Argument a)
-
Method Summary
Modifier and Type Method Description voidadd(Object obj)AbstractDialecticalFrameworkSignatureclone()-
Methods inherited from class net.sf.tweety.commons.SingleSetSignature
addAll, addSignature, clear, contains, containsAll, equals, hashCode, isEmpty, isOverlappingSignature, isSubSignature, iterator, remove, removeAll, size, toArray, toCollection, toString
-
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
-
-
-
Constructor Detail
-
AbstractDialecticalFrameworkSignature
public AbstractDialecticalFrameworkSignature()
-
AbstractDialecticalFrameworkSignature
public AbstractDialecticalFrameworkSignature(Argument a)
-
-
Method Detail
-
add
public void add(Object obj)
-
clone
public AbstractDialecticalFrameworkSignature clone()
- Specified by:
clonein interfacenet.sf.tweety.commons.Signature- Specified by:
clonein classnet.sf.tweety.commons.SingleSetSignature<Argument>
-
-