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