Uses of Class
org.tweetyproject.lp.asp.parser.ASTOpt

Packages that use ASTOpt

Package	Description
org.tweetyproject.lp.asp.parser

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

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

Modifier and Type	Method	Description
ASTOpt	ASPCore2Parser.Optimize()

Methods in org.tweetyproject.lp.asp.parser with parameters of type ASTOpt

Modifier and Type	Method	Description
java.lang.Object	ASPCore2ParserVisitor.visit(ASTOpt node, java.lang.Object data)
ASPRule	InstantiateVisitor.visit(ASTOpt node, java.lang.Object data)