Package org.tweetyproject.arg.dung.syntax

Class DungSignature

java.lang.Object

org.tweetyproject.commons.SingleSetSignature<Argument>

org.tweetyproject.arg.dung.syntax.DungSignature

All Implemented Interfaces:

Cloneable, 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

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
void	add(Object obj)	Adds the given formula to this signature.
DungSignature	clone()	clones signature

Methods inherited from class org.tweetyproject.commons.SingleSetSignature

add, addAll, addSignature, clear, contains, containsAll, equals, hashCode, isEmpty, isOverlappingSignature, isSubSignature, iterator, remove, removeAll, retainAll, size, toArray, toCollection, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

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 Details

add

public void add(Object obj)

Description copied from interface: Signature

Adds the given formula to this signature.

Parameters:

obj - some object

clone

public DungSignature clone()

Description copied from interface: Signature

clones signature

Specified by:

clone in interface Signature

Specified by:

clone in class SingleSetSignature<Argument>

Returns:

clone