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

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.List<java.lang.Integer>	marks
private int	mk
private boolean	node_created
private java.util.List<Node>	nodes
private int	sp

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

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

Field Detail

nodes

private java.util.List<Node> nodes

marks

private java.util.List<java.lang.Integer> marks

sp

private int sp

mk

private int mk

node_created

private boolean node_created

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)