public class DFAOperations
extends java.lang.Object
Constructor and Description |
---|
DFAOperations() |
Modifier and Type | Method and Description |
---|---|
static boolean |
accepts(DFA automaton,
short[] trace) |
static int |
addTrace(DFA automaton,
short[] trace,
org.processmining.framework.plugin.ProMCanceller canceller)
Adds the trace to the automaton in a branching manner, such that the
automaton accepts the trace.
|
static java.util.BitSet |
getLiveStates(DFA automaton) |
static java.util.BitSet |
getReachableStates(DFA automaton) |
static int |
walk(DFA automaton,
short[] trace)
Performs a walk through the automaton.
|
public static int addTrace(DFA automaton, short[] trace, org.processmining.framework.plugin.ProMCanceller canceller)
automaton
- trace
- canceller
- public static java.util.BitSet getReachableStates(DFA automaton)
automaton
- public static java.util.BitSet getLiveStates(DFA automaton)
automaton
- public static boolean accepts(DFA automaton, short[] trace)
s
- public static int walk(DFA automaton, short[] trace)
automaton
- trace
-