Package | Description |
---|---|
dk.brics.automaton2 |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.InductiveMiner.Pair<Automaton,java.util.Set<StatePair>> |
BasicOperations.intersection(Automaton a1,
Automaton a2,
org.processmining.framework.plugin.ProMCanceller canceller)
Returns an automaton that accepts the intersection of the languages of
the given automata.
|
Modifier and Type | Method and Description |
---|---|
static void |
BasicOperations.addEpsilons(Automaton a,
java.util.Set<StatePair> pairs,
org.processmining.framework.plugin.ProMCanceller canceller)
Adds epsilon transitions to the given automaton.
|
void |
Automaton.addEpsilons(java.util.Collection<StatePair> pairs,
org.processmining.framework.plugin.ProMCanceller canceller)
See
BasicOperations#addEpsilons(Automaton, Collection) . |
static void |
BasicOperations.addEpsilons2(Automaton a,
java.util.Collection<StatePair> pairs,
org.processmining.framework.plugin.ProMCanceller canceller)
Try a different strategy: keep copying traces until everything
stabilises.
|