org.processmining.projectedrecallandprecision.helperclasses

Class MapConjunction2

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.MapConjunction2

public class MapConjunction2
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MapConjunction2()

Method Summary

Modifier and Type	Method and Description
static gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet>	mapConjunction(DFA conjunction, DFA automatonA, org.processmining.framework.plugin.ProMCanceller canceller)
static gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet>	reverseMapping(gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet> tIntObjectMap, org.processmining.framework.plugin.ProMCanceller canceller)

Methods inherited from class java.lang.Object

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

Constructor Detail

MapConjunction2

public MapConjunction2()

Method Detail

mapConjunction

public static gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet> mapConjunction(DFA conjunction,
                                                                                DFA automatonA,
                                                                                org.processmining.framework.plugin.ProMCanceller canceller)

Parameters:

conjunction -

automatonA -

canceller -

Returns:

map of states in conjunction to multiple states in automaton2

reverseMapping

public static gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet> reverseMapping(gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet> tIntObjectMap,
                                                                                org.processmining.framework.plugin.ProMCanceller canceller)