Uses of Class
net.sf.tweety.lp.asp.syntax.ComparativeAtom

Packages that use ComparativeAtom

Package	Description
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.syntax

Uses of ComparativeAtom in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return ComparativeAtom

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

Uses of ComparativeAtom in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return ComparativeAtom

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

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type ComparativeAtom

Constructor	Description
ComparativeAtom(ComparativeAtom other)	Copy-Constructor