| Package | Description |
|---|---|
| net.sf.tweety.lp.asp.parser |
| Modifier and Type | Class and Description |
|---|---|
class |
ASTAggregate |
class |
ASTAggrElement |
class |
ASTAggrElementList |
class |
ASTAggrFunc |
class |
ASTAnswerSet |
class |
ASTAriTerm |
class |
ASTArithop |
class |
ASTBinop |
class |
ASTBody |
class |
ASTBodyList |
class |
ASTBuiltInAtom |
class |
ASTChoice |
class |
ASTChoiceElement |
class |
ASTChoiceElementList |
class |
ASTClingoMeta |
class |
ASTHead |
class |
ASTHeadElementsList |
class |
ASTID |
class |
ASTLiteral |
class |
ASTNAFLiteral |
class |
ASTNAFLiteralList |
class |
ASTNumber |
class |
ASTOpt |
class |
ASTOptElement |
class |
ASTOptElementList |
class |
ASTOptFunc |
class |
ASTProgram |
class |
ASTQuery |
class |
ASTRule |
class |
ASTRuleList |
class |
ASTString |
class |
ASTTerm |
class |
ASTTermList |
class |
ASTVar |
class |
ASTWeight |
class |
SimpleNode |
| Modifier and Type | Field and Description |
|---|---|
protected Node[] |
SimpleNode.children |
protected Node |
SimpleNode.parent |
| 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 |
JJTASPCore2ParserState.peekNode() |
Node |
JJTASPCore2ParserState.popNode() |
Node |
JJTASPCore2ParserState.rootNode() |
| Modifier and Type | Method and Description |
|---|---|
void |
JJTASPCore2ParserState.clearNodeScope(Node n) |
void |
JJTASPCore2ParserState.closeNodeScope(Node n,
boolean condition) |
void |
JJTASPCore2ParserState.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 |
JJTASPCore2ParserState.openNodeScope(Node n) |
void |
JJTASPCore2ParserState.pushNode(Node n) |
Copyright © 2019. All rights reserved.