org.processmining.projectedrecallandprecision.helperclasses.automata.operations

Class Automaton2Conjunction

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Conjunction

public class Automaton2Conjunction
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Automaton2Conjunction()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Automaton2Conjunction

public Automaton2Conjunction()

Method Detail

conjunction

public 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. Does not minimise the result.

Parameters:

automaton1 -

automaton2 -

process

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)