public final class AutomatonFactory
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <S,A extends OmegaAcceptance> |
createStreamingAutomaton(A acceptance,
S initialState,
ValuationSetFactory factory,
java.util.function.BiFunction<S,java.util.BitSet,Edge<S>> transitions) |
|
static <S> Automaton<S,NoneAcceptance> |
empty(ValuationSetFactory factory) |
|
static <S,A extends OmegaAcceptance> |
singleton(S state,
ValuationSetFactory factory,
A acceptance) |
|
static <S,A extends OmegaAcceptance> |
singleton(S state,
ValuationSetFactory factory,
A acceptance,
java.util.Set<java.lang.Integer> acceptanceSet) |
public static <S,A extends OmegaAcceptance> Automaton<S,A> createStreamingAutomaton(A acceptance, S initialState, ValuationSetFactory factory, java.util.function.BiFunction<S,java.util.BitSet,Edge<S>> transitions)
public static <S> Automaton<S,NoneAcceptance> empty(ValuationSetFactory factory)
public static <S,A extends OmegaAcceptance> Automaton<S,A> singleton(S state, ValuationSetFactory factory, A acceptance)
public static <S,A extends OmegaAcceptance> Automaton<S,A> singleton(S state, ValuationSetFactory factory, A acceptance, java.util.Set<java.lang.Integer> acceptanceSet)