Package | Description |
---|---|
org.processmining.plugins.ltlchecker | |
org.processmining.plugins.ltlchecker.visualizing |
Modifier and Type | Field and Description |
---|---|
protected CheckResultObject |
CheckResultsInstanceBrowser.crObj |
protected CheckResultObject |
CheckResultsRuleBrowser.crObj |
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) |
CheckResultObject |
LTLVerificationResult.getCrObj() |
Modifier and Type | Method and Description |
---|---|
void |
LTLVerificationResult.setCrObj(CheckResultObject crObj) |
Constructor and Description |
---|
CheckResultsInstanceBrowser(CheckResultObject crObj,
boolean good) |
CheckResultsRuleBrowser(CheckResultObject crObj,
boolean good) |
LTLVerificationResult(CheckResultObject crObj) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
LTLCheckerVisualization.visualize(org.processmining.framework.plugin.PluginContext context,
CheckResultObject outputFrame) |