public class MapConjunction
extends java.lang.Object
Constructor and Description |
---|
MapConjunction() |
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) |
public static gnu.trove.map.hash.THashMap<State,java.util.Set<State>> mapConjunction(Automaton conjunction, Automaton automaton2, org.processmining.framework.plugin.ProMCanceller canceller)
conjunction
- automaton2
- canceller
-