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
-
public class AbstractDialecticalFrameworkSignature extends SingleSetSignature<Argument>
- Author:
- Mathias Hofer
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.commons.SingleSetSignature
formulas
-
-
Constructor Summary
Constructors Constructor Description AbstractDialecticalFrameworkSignature()AbstractDialecticalFrameworkSignature(java.util.Set<Argument> formulas)AbstractDialecticalFrameworkSignature(Argument a)
-
Method Summary
Modifier and Type Method Description voidadd(java.lang.Object obj)Adds the given formula to this signature.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
-
-
-
-
Constructor Detail
-
AbstractDialecticalFrameworkSignature
public AbstractDialecticalFrameworkSignature()
-
AbstractDialecticalFrameworkSignature
public AbstractDialecticalFrameworkSignature(Argument a)
-
AbstractDialecticalFrameworkSignature
public AbstractDialecticalFrameworkSignature(java.util.Set<Argument> formulas)
- Parameters:
formulas-
-
-
Method Detail
-
add
public void add(java.lang.Object obj)
Description copied from interface:SignatureAdds the given formula to this signature.- Parameters:
obj- some object
-
clone
public AbstractDialecticalFrameworkSignature clone()
- Specified by:
clonein interfaceSignature- Specified by:
clonein classSingleSetSignature<Argument>
-
-