net.sf.tweety.lp.asp.syntax

Class SetTerm

java.lang.Object

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

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

All Implemented Interfaces:

net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.Term<Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>>

public class SetTerm
extends net.sf.tweety.logics.commons.syntax.TermAdapter<Set<net.sf.tweety.logics.commons.syntax.interfaces.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(Collection<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms)
SetTerm(SetTerm other)

Method Summary

Modifier and Type	Method and Description
SetTerm	clone()
boolean	equals(Object o)
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(Collection<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms)

Method Detail

clone

public SetTerm clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.Term<Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>>

Overrides:

clone in class net.sf.tweety.logics.commons.syntax.TermAdapter<Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>>

toString

public String toString()

Overrides:

toString in class net.sf.tweety.logics.commons.syntax.TermAdapter<Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>>

equals

public boolean equals(Object o)

Overrides:

equals in class net.sf.tweety.logics.commons.syntax.TermAdapter<Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>>