public class MapConjunction2
extends java.lang.Object
Constructor and Description |
---|
MapConjunction2() |
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) |
public static gnu.trove.map.TIntObjectMap<gnu.trove.set.TIntSet> mapConjunction(DFA conjunction, DFA automatonA, org.processmining.framework.plugin.ProMCanceller canceller)
conjunction
- automatonA
- canceller
- 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)