Package org.tweetyproject.lp.asp.parser
Class ASTChoice
java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleNode
org.tweetyproject.lp.asp.parser.ASTChoice
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionjjtAccept
(ASPParserVisitor visitor, Object data) Accept the visitor.Methods inherited from class org.tweetyproject.lp.asp.parser.SimpleNode
childrenAccept, dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString, toString
-
Constructor Details
-
ASTChoice
public ASTChoice(int id) Constructor- Parameters:
id
- ID
-
ASTChoice
-
-
Method Details
-
jjtAccept
Accept the visitor.- Specified by:
jjtAccept
in interfaceNode
- Overrides:
jjtAccept
in classSimpleNode
- Parameters:
visitor
- The visitor object.data
- Additional data for the visitor.- Returns:
- The result of visiting this node.
-