Package org.tweetyproject.lp.asp.parser
Class JJTASPParserState
java.lang.Object
org.tweetyproject.lp.asp.parser.JJTASPParserState
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
clearNodeScope(Node n)
void
closeNodeScope(Node n, boolean condition)
void
closeNodeScope(Node n, int num)
int
boolean
void
openNodeScope(Node n)
peekNode()
popNode()
void
void
reset()
rootNode()
-
Constructor Details
-
JJTASPParserState
public JJTASPParserState()
-
-
Method Details
-
nodeCreated
public boolean nodeCreated() -
reset
public void reset() -
rootNode
-
pushNode
-
popNode
-
peekNode
-
nodeArity
public int nodeArity() -
clearNodeScope
-
openNodeScope
-
closeNodeScope
-
closeNodeScope
-