org.processmining.janus.plugins

Class JanusModelChecker

java.lang.Object

org.processmining.janus.algorithms.JanusModelCheckerAlgorithm

org.processmining.janus.plugins.JanusModelChecker

public class JanusModelChecker
extends JanusModelCheckerAlgorithm

Constructor Summary

Constructors

Constructor and Description
JanusModelChecker()

Method Summary

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

Methods inherited from class org.processmining.janus.algorithms.JanusModelCheckerAlgorithm

insiderJarParametric

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JanusModelChecker

public JanusModelChecker()

Method Detail

parametricFlowUI

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)

The plug-in variant using UI where the paramenter I/O respect the ProM data flow

Parameters:

context - The context to run in.

Returns:

The output.