Package | Description |
---|---|
org.processmining.projectedrecallandprecision.helperclasses.automata.operations |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.InductiveMiner.Pair<DFA,gnu.trove.map.TObjectIntMap<StatePair>> |
Automaton2Conjunction.conjunction(DFA automatonA,
DFA automatonB,
org.processmining.framework.plugin.ProMCanceller canceller)
Returns the conjunction of automaton1 and automaton2.
|
Modifier and Type | Method and Description |
---|---|
void |
StatePairEdgesIterator.reset(StatePair pair) |
Modifier and Type | Method and Description |
---|---|
static void |
Automaton2Conjunction.process(DFA conjunction,
java.util.LinkedList<StatePair> worklist,
gnu.trove.map.TObjectIntMap<StatePair> statePair2conjunctionState,
DFAImplEdgeList.EdgeIterableOutgoing itA,
DFAImplEdgeList.EdgeIterableOutgoing itB,
int conjunctionSourceState) |
static void |
Automaton2Conjunction.process(DFA conjunction,
java.util.LinkedList<StatePair> worklist,
gnu.trove.map.TObjectIntMap<StatePair> statePair2conjunctionState,
DFAImplEdgeList.EdgeIterableOutgoing itA,
DFAImplEdgeList.EdgeIterableOutgoing itB,
int conjunctionSourceState) |