Package | Description |
---|---|
org.processmining.plugins.ltlchecker.parser | |
org.processmining.plugins.ltlchecker.util |
Modifier and Type | Class and Description |
---|---|
class |
ASTarg |
class |
ASTargList |
class |
ASTAttribute |
class |
ASTattributeDefinition |
class |
ASTBinaryProposition |
class |
ASTComparison |
class |
ASTconceptSet |
class |
ASTDummyVar |
class |
ASTExpr |
class |
ASTFormulaCall |
class |
ASTformulaDefinition |
class |
ASTLiteral |
class |
ASTparse |
class |
ASTProposition |
class |
ASTQuantification |
class |
ASTrenaming |
class |
ASTStringList |
class |
ASTUnaryProposition |
class |
ASTValueAttribute |
class |
ASTValues |
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() |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
TreeNode |
TreeBuilder.build(Node pNode,
Substitutes substs,
TreeNode binder)
Build an formulatree used in the LTLChecker from a (sub) parsetree, a
list with substitutions ( parameter values ) and a bindernode, that is,
the node some valuenodes are bounded to, to ensure formulareferention.
|