public class Automaton2Repeat
extends java.lang.Object
Constructor and Description |
---|
Automaton2Repeat() |
Modifier and Type | Method and Description |
---|---|
static boolean |
isAnyAccepting(DFA automaton,
gnu.trove.set.TIntSet stateSet) |
static DFA |
repeat(DFA automatonA,
org.processmining.framework.plugin.ProMCanceller canceller)
Constructs a new automaton that accepts any repetition (Kleene star) of
the original automaton.
|
public static DFA repeat(DFA automatonA, org.processmining.framework.plugin.ProMCanceller canceller)
canceller
- automatonA
- public static boolean isAnyAccepting(DFA automaton, gnu.trove.set.TIntSet stateSet)