org.processmining.janus.algorithms

Class JanusModelCheckerAlgorithm

java.lang.Object

org.processmining.janus.algorithms.JanusModelCheckerAlgorithm

Direct Known Subclasses:

JanusModelChecker

public class JanusModelCheckerAlgorithm
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
JanusModelCheckerAlgorithm()

Method Summary

Modifier and Type	Method and Description
minerful.reactive.checking.MegaMatrixMonster	insiderJarParametric(org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog inputLog, minerful.concept.ProcessModel model) Launch Janus model checker importing its Jar and using its functions

Methods inherited from class java.lang.Object

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

Constructor Detail

JanusModelCheckerAlgorithm

public JanusModelCheckerAlgorithm()

Method Detail

insiderJarParametric

public minerful.reactive.checking.MegaMatrixMonster insiderJarParametric(org.processmining.framework.plugin.PluginContext context,
                                                                         org.deckfour.xes.model.XLog inputLog,
                                                                         minerful.concept.ProcessModel model)

Launch Janus model checker importing its Jar and using its functions

Returns: