Package org.tweetyproject.arg.setaf.syntax

Class SetAfSignature

java.lang.Object

org.tweetyproject.commons.SingleSetSignature<Argument>

org.tweetyproject.arg.setaf.syntax.SetAfSignature

All Implemented Interfaces:

Cloneable, Iterable<Argument>, Signature

public class SetAfSignature
extends SingleSetSignature<Argument>

This class captures the signature of a SetAf theory, i.e. a set of arguments.

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
SetAfSignature()	Creates a new (empty) SetAf signature.
SetAfSignature(Collection<? extends Argument> arguments)	Creates a new signature with the given set of arguments.
SetAfSignature(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.
SetAfSignature	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

SetAfSignature

public SetAfSignature()

Creates a new (empty) SetAf signature.

SetAfSignature

public SetAfSignature(Argument argument)

Creates a new signature with the single given argument.

Parameters:

argument - an argument.

SetAfSignature

public SetAfSignature(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 SetAfSignature clone()

Description copied from interface: Signature

clones signature

Specified by:

clone in interface Signature

Specified by:

clone in class SingleSetSignature<Argument>

Returns:

clone