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
-