Uses of Class
org.tweetyproject.lp.asp.parser.ASTAriTerm
-
Packages that use ASTAriTerm Package Description org.tweetyproject.lp.asp.parser -
-
Uses of ASTAriTerm in org.tweetyproject.lp.asp.parser
Methods in org.tweetyproject.lp.asp.parser that return ASTAriTerm Modifier and Type Method Description ASTAriTerm
ASPCore2Parser. AriTerm()
Methods in org.tweetyproject.lp.asp.parser with parameters of type ASTAriTerm Modifier and Type Method Description java.lang.Object
ASPCore2ParserVisitor. visit(ASTAriTerm node, java.lang.Object data)
Term<?>
InstantiateVisitor. visit(ASTAriTerm node, java.lang.Object data)
-