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

Packages that use ASTNumber

Package	Description
org.tweetyproject.lp.asp.parser

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

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

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