Package net.sf.tweety.arg.adf.syntax.adf
Class AbstractDialecticalFramework.Signature
- java.lang.Object
-
- net.sf.tweety.commons.SingleSetSignature<Argument>
-
- net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Signature
-
- Enclosing interface:
- AbstractDialecticalFramework
public static class AbstractDialecticalFramework.Signature extends SingleSetSignature<Argument>
-
-
Method Summary
Modifier and Type Method Description void
add(java.lang.Object obj)
Adds the given formula to this signature.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(java.util.Set<Argument> formulas)
-
-
Method Detail
-
add
public void add(java.lang.Object obj)
Description copied from interface:Signature
Adds the given formula to this signature.- Parameters:
obj
- some object
-
clone
public SingleSetSignature<Argument> clone()
- Specified by:
clone
in interfaceSignature
- Specified by:
clone
in classSingleSetSignature<Argument>
-
-