Package org.tweetyproject.lp.asp.parser
Class ASTChoiceElement
java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleNode
org.tweetyproject.lp.asp.parser.ASTChoiceElement
-
Constructor Summary
ConstructorDescriptionASTChoiceElement
(int id) ConstructorASTChoiceElement
(ASPParser p, int id) constructor -
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
-
ASTChoiceElement
public ASTChoiceElement(int id) Constructor- Parameters:
id
- ID
-
ASTChoiceElement
-
-
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.
-