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