public class JanusModelChecker extends JanusModelCheckerAlgorithm
Constructor and Description |
---|
JanusModelChecker() |
Modifier and Type | Method and Description |
---|---|
minerful.reactive.checking.MegaMatrixMonster |
parametricFlowUI(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog inputLog,
org.processmining.plugins.declareminer.visualizing.DeclareMap model)
The plug-in variant using UI where the paramenter I/O respect the ProM data flow
|
insiderJarParametric
public minerful.reactive.checking.MegaMatrixMonster parametricFlowUI(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog inputLog, org.processmining.plugins.declareminer.visualizing.DeclareMap model)
context
- The context to run in.