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
-
public class DungSignature extends SingleSetSignature<Argument>
This class captures the signature of a Dung theory, i.e. a set of arguments.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description DungSignature()
Creates a new (empty) Dung signature.DungSignature(java.util.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 void
add(java.lang.Object obj)
Adds the given formula to this signature.DungSignature
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
-
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(java.util.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(java.lang.Object obj)
Description copied from interface:Signature
Adds the given formula to this signature.- Parameters:
obj
- some object
-
clone
public DungSignature clone()
- Specified by:
clone
in interfaceSignature
- Specified by:
clone
in classSingleSetSignature<Argument>
-
-