DungSignature

java.lang.Object
- net.sf.tweety.commons.SingleSetSignature<Argument>
- - net.sf.tweety.arg.dung.syntax.DungSignature

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<Argument>, Signature
```
public class DungSignature
extends SingleSetSignature<Argument>
```
This class captures the signature of a Dung theory, i.e. a set of arguments.

Author:

Matthias Thimm

Field Summary
- Fields inherited from class net.sf.tweety.commons.SingleSetSignature
  formulas

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
  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(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 interface Signature
    
    Specified by:
    
    clone in class SingleSetSignature<Argument>