Package org.processmining.stochasticawareconformancechecking.automata

Class Log2StochasticDeterministicFiniteAutomaton

java.lang.Object

org.processmining.stochasticawareconformancechecking.automata.Log2StochasticDeterministicFiniteAutomaton

public class Log2StochasticDeterministicFiniteAutomaton
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
Log2StochasticDeterministicFiniteAutomaton()

Method Summary

Modifier and Type	Method	Description
static int	addTrace(StochasticDeterministicFiniteAutomatonMapped automaton, gnu.trove.map.TIntDoubleMap state2endingTraces, short[] trace, org.processmining.framework.plugin.ProMCanceller canceller)
static StochasticDeterministicFiniteAutomatonMapped	convert(org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClassifier classifier, org.processmining.framework.plugin.ProMCanceller canceller)
static short[]	transformTrace(StochasticDeterministicFiniteAutomatonMapped automaton, org.deckfour.xes.model.XTrace trace, org.deckfour.xes.classification.XEventClassifier classifier)

Methods inherited from class java.lang.Object

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

Constructor Detail

Log2StochasticDeterministicFiniteAutomaton

public Log2StochasticDeterministicFiniteAutomaton()

Method Detail

convert

public static StochasticDeterministicFiniteAutomatonMapped convert(org.deckfour.xes.model.XLog log,
                                                                   org.deckfour.xes.classification.XEventClassifier classifier,
                                                                   org.processmining.framework.plugin.ProMCanceller canceller)
                                                            throws UnsupportedLogException

Throws:

UnsupportedLogException

transformTrace

public static short[] transformTrace(StochasticDeterministicFiniteAutomatonMapped automaton,
                                     org.deckfour.xes.model.XTrace trace,
                                     org.deckfour.xes.classification.XEventClassifier classifier)

addTrace

public static int addTrace(StochasticDeterministicFiniteAutomatonMapped automaton,
                           gnu.trove.map.TIntDoubleMap state2endingTraces,
                           short[] trace,
                           org.processmining.framework.plugin.ProMCanceller canceller)