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 void
add(java.lang.Object obj)
Adds the given formula to this signature.AbstractDialecticalFrameworkSignature
clone()
-
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:Signature
Adds the given formula to this signature.- Parameters:
obj
- some object
-
clone
public AbstractDialecticalFrameworkSignature clone()
- Specified by:
clone
in interfaceSignature
- Specified by:
clone
in classSingleSetSignature<Argument>
-
-