Package org.tweetyproject.lp.asp.parser
Class ASTWeight
java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleNode
org.tweetyproject.lp.asp.parser.ASTWeight
- All Implemented Interfaces:
Node
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
hasLevel
(boolean b) jjtAccept
(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
-
ASTWeight
public ASTWeight(int id) -
ASTWeight
-
-
Method Details
-
jjtAccept
Accept the visitor.- Specified by:
jjtAccept
in interfaceNode
- Overrides:
jjtAccept
in classSimpleNode
- Parameters:
visitor
- parser visitordata
- object- Returns:
- a new object
-
hasLevel
public void hasLevel(boolean b)
-