Package net.sf.tweety.lp.asp.parser

Class JJTASPCore2ParserState

java.lang.Object

net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

public class JJTASPCore2ParserState
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
JJTASPCore2ParserState()

Method Summary

Modifier and Type	Method	Description
void	clearNodeScope(Node n)
void	closeNodeScope(Node n, boolean condition)
void	closeNodeScope(Node n, int num)
int	nodeArity()
boolean	nodeCreated()
void	openNodeScope(Node n)
Node	peekNode()
Node	popNode()
void	pushNode(Node n)
void	reset()
Node	rootNode()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JJTASPCore2ParserState

public JJTASPCore2ParserState()

Method Detail

nodeCreated

public boolean nodeCreated()

reset

public void reset()

rootNode

public Node rootNode()

pushNode

public void pushNode(Node n)

popNode

public Node popNode()

peekNode

public Node peekNode()

nodeArity

public int nodeArity()

clearNodeScope

public void clearNodeScope(Node n)

openNodeScope

public void openNodeScope(Node n)

closeNodeScope

public void closeNodeScope(Node n,
                           int num)

closeNodeScope

public void closeNodeScope(Node n,
                           boolean condition)