net.sf.tweety.lp.asp.syntax

Class SetTerm

java.lang.Object

net.sf.tweety.logics.commons.syntax.TermAdapter<java.util.Set<Term<?>>>

net.sf.tweety.lp.asp.syntax.SetTerm

All Implemented Interfaces:

LogicStructure, Term<java.util.Set<Term<?>>>

public class SetTerm
extends TermAdapter<java.util.Set<Term<?>>>

this class models a set term, which can be used for sets in dlv complex programs.

Author:

Tim Janus, Thomas Vengels

Field Summary

Fields inherited from class net.sf.tweety.logics.commons.syntax.TermAdapter

value

Constructor Summary

Constructors

Constructor and Description
SetTerm()
SetTerm(java.util.Collection<Term<?>> terms)
SetTerm(SetTerm other)

Method Summary

Modifier and Type	Method and Description
SetTerm	clone() Creates a deep copy of the term
boolean	equals(java.lang.Object o)
java.lang.String	toString()

Methods inherited from class net.sf.tweety.logics.commons.syntax.TermAdapter

containsTermsOfType, get, getSort, getTerms, getTerms, hashCode, set, substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

SetTerm

public SetTerm()

SetTerm

public SetTerm(SetTerm other)

SetTerm

public SetTerm(java.util.Collection<Term<?>> terms)

Method Detail

clone

public SetTerm clone()

Description copied from interface: Term

Creates a deep copy of the term

Specified by:

clone in interface Term<java.util.Set<Term<?>>>

Specified by:

clone in class TermAdapter<java.util.Set<Term<?>>>

toString

public java.lang.String toString()

Overrides:

toString in class TermAdapter<java.util.Set<Term<?>>>

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class TermAdapter<java.util.Set<Term<?>>>