net.sf.tweety.arg.dung.syntax

Class DungSignature

java.lang.Object

net.sf.tweety.commons.Signature

net.sf.tweety.commons.SetSignature<Argument>

net.sf.tweety.arg.dung.syntax.DungSignature

All Implemented Interfaces:

java.lang.Iterable<Argument>, java.util.Collection<Argument>

public class DungSignature
extends SetSignature<Argument>

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

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
DungSignature() Creates a new (empty) Dung signature.
DungSignature(Argument argument) Creates a new signature with the single given argument.
DungSignature(java.util.Collection<? extends Argument> arguments) Creates a new signature with the given set of arguments.

Method Summary

Methods inherited from class net.sf.tweety.commons.SetSignature

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

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.