Uses of Class
org.tweetyproject.lp.asp.syntax.ComparativeAtom

Packages that use ComparativeAtom

Package	Description
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.syntax

Uses of ComparativeAtom in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.lp.asp.parser that return ComparativeAtom

Modifier and Type	Method	Description
ComparativeAtom	InstantiateVisitor.visit(ASTBuiltInAtom node, java.lang.Object data)

Uses of ComparativeAtom in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return ComparativeAtom

Modifier and Type	Method	Description
ComparativeAtom	ComparativeAtom.substitute(Term<?> t, Term<?> v)

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ComparativeAtom

Constructor	Description
ComparativeAtom(ComparativeAtom other)	Copy-Constructor