net.sf.tweety.lp.asp.parser

Class JJTASPParserState

java.lang.Object

net.sf.tweety.lp.asp.parser.JJTASPParserState

public class JJTASPParserState
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and 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 and Description
JJTASPParserState()

Method Summary

Modifier and Type	Method and 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

JJTASPParserState

public JJTASPParserState()

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)