public class Automaton2Conjunction
extends java.lang.Object
Constructor and Description |
---|
Automaton2Conjunction() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.InductiveMiner.Pair<DFA,gnu.trove.map.TObjectIntMap<StatePair>> |
conjunction(DFA automatonA,
DFA automatonB,
org.processmining.framework.plugin.ProMCanceller canceller)
Returns the conjunction of automaton1 and automaton2.
|
static void |
process(DFA conjunction,
java.util.LinkedList<StatePair> worklist,
gnu.trove.map.TObjectIntMap<StatePair> statePair2conjunctionState,
DFAImplEdgeList.EdgeIterableOutgoing itA,
DFAImplEdgeList.EdgeIterableOutgoing itB,
int conjunctionSourceState) |
public static org.processmining.plugins.InductiveMiner.Pair<DFA,gnu.trove.map.TObjectIntMap<StatePair>> conjunction(DFA automatonA, DFA automatonB, org.processmining.framework.plugin.ProMCanceller canceller)
automaton1
- automaton2
- public static void process(DFA conjunction, java.util.LinkedList<StatePair> worklist, gnu.trove.map.TObjectIntMap<StatePair> statePair2conjunctionState, DFAImplEdgeList.EdgeIterableOutgoing itA, DFAImplEdgeList.EdgeIterableOutgoing itB, int conjunctionSourceState)