Class ASTChoice
java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleNode
org.tweetyproject.lp.asp.parser.ASTChoice
-
Constructor Summary
Constructors -
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:
jjtAcceptin interfaceNode- Overrides:
jjtAcceptin classSimpleNode- Parameters:
visitor- The visitor object.data- Additional data for the visitor.- Returns:
- The result of visiting this node.
-