Package net.sf.tweety.arg.dung.syntax
Class DungSignature
- java.lang.Object
-
- net.sf.tweety.commons.SingleSetSignature<Argument>
-
- net.sf.tweety.arg.dung.syntax.DungSignature
-
-
Constructor Summary
Constructors Constructor Description DungSignature()Creates a new (empty) Dung signature.DungSignature(Collection<? extends Argument> arguments)Creates a new signature with the given set of arguments.DungSignature(Argument argument)Creates a new signature with the single given argument.
-
Method Summary
Modifier and Type Method Description voidadd(Object obj)DungSignatureclone()-
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
-
DungSignature
public DungSignature()
Creates a new (empty) Dung signature.
-
DungSignature
public DungSignature(Argument argument)
Creates a new signature with the single given argument.- Parameters:
argument- an argument.
-
DungSignature
public DungSignature(Collection<? extends Argument> arguments)
Creates a new signature with the given set of arguments.- Parameters:
arguments- a set of arguments.
-
-
Method Detail
-
add
public void add(Object obj)
-
clone
public DungSignature clone()
- Specified by:
clonein interfacenet.sf.tweety.commons.Signature- Specified by:
clonein classnet.sf.tweety.commons.SingleSetSignature<Argument>
-
-