Uses of Class
org.processmining.plugins.ltlchecker.CheckResultObject

Packages that use CheckResultObject

Package	Description
org.processmining.plugins.ltlchecker
org.processmining.plugins.ltlchecker.visualizing

Uses of CheckResultObject in org.processmining.plugins.ltlchecker

Fields in org.processmining.plugins.ltlchecker declared as CheckResultObject

Modifier and Type	Field and Description
protected CheckResultObject	CheckResultsInstanceBrowser.crObj
protected CheckResultObject	CheckResultsRuleBrowser.crObj

Methods in org.processmining.plugins.ltlchecker that return CheckResultObject

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()

Methods in org.processmining.plugins.ltlchecker with parameters of type CheckResultObject

Modifier and Type	Method and Description
void	LTLVerificationResult.setCrObj(CheckResultObject crObj)

Constructors in org.processmining.plugins.ltlchecker with parameters of type CheckResultObject

Constructor and Description
CheckResultsInstanceBrowser(CheckResultObject crObj, boolean good)
CheckResultsRuleBrowser(CheckResultObject crObj, boolean good)
LTLVerificationResult(CheckResultObject crObj)

Uses of CheckResultObject in org.processmining.plugins.ltlchecker.visualizing

Methods in org.processmining.plugins.ltlchecker.visualizing with parameters of type CheckResultObject

Modifier and Type	Method and Description
javax.swing.JComponent	LTLCheckerVisualization.visualize(org.processmining.framework.plugin.PluginContext context, CheckResultObject outputFrame)