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
-