Package | Description |
---|---|
net.sf.tweety.lp.asp.parser |
Modifier and Type | Class and Description |
---|---|
class |
ASTAggregate |
class |
ASTAnswerSet |
class |
ASTAnswerSetList |
class |
ASTArithmetic |
class |
ASTArithmeticInteger |
class |
ASTArithmeticOp |
class |
ASTAtom |
class |
ASTClingoAS |
class |
ASTComment |
class |
ASTComparative |
class |
ASTCompareOp |
class |
ASTDefAtom |
class |
ASTElement |
class |
ASTElementLst |
class |
ASTFunctionalTerm |
class |
ASTHead |
class |
ASTIdentifier |
class |
ASTIdLst |
class |
ASTListTail |
class |
ASTListTerm |
class |
ASTNumber |
class |
ASTProgram |
class |
ASTRule |
class |
ASTSetTerm |
class |
ASTSimpleTerm |
class |
ASTSpecId |
class |
ASTSymbolicSet |
class |
ASTTerm |
class |
ASTTermLst |
class |
SimpleNode |
Modifier and Type | Field and Description |
---|---|
protected Node[] |
SimpleNode.children |
protected Node |
SimpleNode.parent |
Modifier and Type | Field and Description |
---|---|
private java.util.List<Node> |
JJTASPParserState.nodes |
Modifier and Type | Method and Description |
---|---|
Node |
Node.jjtGetChild(int i)
This method returns a child node.
|
Node |
SimpleNode.jjtGetChild(int i) |
Node |
Node.jjtGetParent() |
Node |
SimpleNode.jjtGetParent() |
Node |
JJTASPParserState.peekNode() |
Node |
JJTASPParserState.popNode() |
Node |
JJTASPParserState.rootNode() |
Modifier and Type | Method and Description |
---|---|
void |
JJTASPParserState.clearNodeScope(Node n) |
void |
JJTASPParserState.closeNodeScope(Node n,
boolean condition) |
void |
JJTASPParserState.closeNodeScope(Node n,
int num) |
void |
Node.jjtAddChild(Node n,
int i)
This method tells the node to add its argument to the node's
list of children.
|
void |
SimpleNode.jjtAddChild(Node n,
int i) |
void |
Node.jjtSetParent(Node n)
This pair of methods are used to inform the node of its
parent.
|
void |
SimpleNode.jjtSetParent(Node n) |
void |
JJTASPParserState.openNodeScope(Node n) |
void |
JJTASPParserState.pushNode(Node n) |