Package org.processmining.fusionminerful.checker

Class FusionMINERfulChecker

java.lang.Object

org.processmining.fusionminerful.checker.FusionMINERfulChecker

public class FusionMINERfulChecker
extends java.lang.Object

Author:

Johannes De Smedt

Constructor Summary

Constructors

Constructor	Description
FusionMINERfulChecker(org.processmining.contexts.uitopia.UIPluginContext context, FusionMINERfulResult input)

Method Summary

Modifier and Type	Method	Description
void	checkModel(boolean coverability, boolean proceduralIncluded, int n)
AutomatonResult	getAutomatonOutput()
java.util.Collection<minerful.concept.constraint.Constraint>	getRemovedConstraints()
java.util.Collection<java.lang.Character>	getTauTransitions()
java.lang.Object[]	getTransitionSystemOutput()

Methods inherited from class java.lang.Object

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

Constructor Detail

FusionMINERfulChecker

public FusionMINERfulChecker(org.processmining.contexts.uitopia.UIPluginContext context,
                             FusionMINERfulResult input)

Method Detail

checkModel

public void checkModel(boolean coverability,
                       boolean proceduralIncluded,
                       int n)
                throws java.lang.NullPointerException

Throws:

java.lang.NullPointerException

getTransitionSystemOutput

public java.lang.Object[] getTransitionSystemOutput()

getAutomatonOutput

public AutomatonResult getAutomatonOutput()

getRemovedConstraints

public java.util.Collection<minerful.concept.constraint.Constraint> getRemovedConstraints()

getTauTransitions

public java.util.Collection<java.lang.Character> getTauTransitions()