Package | Description |
---|---|
org.processmining.plugins.ltlchecker | |
org.processmining.plugins.ltlchecker.parser | |
org.processmining.plugins.ltlchecker.util |
Modifier and Type | Field and Description |
---|---|
protected LTLParser |
CheckVisualizerGUI.parser
Parser with parsedata.
|
Modifier and Type | Method and Description |
---|---|
CheckResultObject |
LTLChecker.declareMinerFrame(boolean console,
java.util.Hashtable paramTable,
org.deckfour.xes.model.XLog log,
LTLParser parser,
java.util.Vector enabledRules,
boolean firstSuccess,
boolean firstFailure,
boolean skipReady) |
protected void |
CheckVisualizerGUI.init(org.deckfour.xes.model.XLog logreader,
LTLParser parser,
LTLChecker checker) |
Constructor and Description |
---|
CheckVisualizerGUI(org.deckfour.xes.model.XLog logreader,
LTLParser parser,
LTLChecker checker) |
Modifier and Type | Field and Description |
---|---|
protected LTLParser |
SimpleNode.parser |
Constructor and Description |
---|
ASTarg(LTLParser p,
int id) |
ASTargList(LTLParser p,
int id) |
ASTAttribute(LTLParser p,
int id) |
ASTattributeDefinition(LTLParser p,
int id) |
ASTBinaryProposition(LTLParser p,
int id) |
ASTComparison(LTLParser p,
int id) |
ASTconceptSet(LTLParser p,
int id) |
ASTDummyVar(LTLParser p,
int id) |
ASTExpr(LTLParser p,
int id) |
ASTFormulaCall(LTLParser p,
int id) |
ASTformulaDefinition(LTLParser p,
int id) |
ASTLiteral(LTLParser p,
int id) |
ASTparse(LTLParser p,
int id) |
ASTProposition(LTLParser p,
int id) |
ASTQuantification(LTLParser p,
int id) |
ASTrenaming(LTLParser p,
int id) |
ASTStringList(LTLParser p,
int id) |
ASTUnaryProposition(LTLParser p,
int id) |
ASTValueAttribute(LTLParser p,
int id) |
ASTValues(LTLParser p,
int id) |
SimpleNode(LTLParser p,
int i) |
Modifier and Type | Method and Description |
---|---|
Substitutes |
ParamData.getSubstitutes(LTLParser parser)
The parameters of this table are used as values for the selected formula.
|
Substitutes |
ParamTable.getSubstitutes(LTLParser parser) |
Constructor and Description |
---|
SetsSet(LTLParser parser,
org.deckfour.xes.model.XLog log) |
TreeBuilder(LTLParser parser,
java.lang.String formulaName,
SetsSet ss) |