org.processmining.projectedrecallandprecision.helperclasses

Class MapConjunction

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.MapConjunction

public class MapConjunction
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MapConjunction()

Method Summary

Modifier and Type	Method and Description
static gnu.trove.map.hash.THashMap<State,java.util.Set<State>>	mapConjunction(Automaton conjunction, Automaton automaton2, org.processmining.framework.plugin.ProMCanceller canceller)
static java.util.Map<State,java.util.Set<State>>	reverseMapping(gnu.trove.map.hash.THashMap<State,java.util.Set<State>> map1, 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

MapConjunction

public MapConjunction()

Method Detail

mapConjunction

public static gnu.trove.map.hash.THashMap<State,java.util.Set<State>> mapConjunction(Automaton conjunction,
                                                                                     Automaton automaton2,
                                                                                     org.processmining.framework.plugin.ProMCanceller canceller)

Parameters:

conjunction -

automaton2 -

canceller -

Returns:

map of states in conjunction to multiple states in automaton2

reverseMapping

public static java.util.Map<State,java.util.Set<State>> reverseMapping(gnu.trove.map.hash.THashMap<State,java.util.Set<State>> map1,
                                                                       org.processmining.framework.plugin.ProMCanceller canceller)