public final class MutableAutomatonFactory
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <S,A extends OmegaAcceptance> |
create(A acceptance,
ValuationSetFactory valuationSetFactory) |
Creates an empty automaton with given acceptance condition.
|
static <S,A extends OmegaAcceptance> |
create(A acceptance,
ValuationSetFactory valuationSetFactory,
java.util.Collection<S> initialStates,
java.util.function.BiFunction<S,java.util.BitSet,Edge<S>> successors,
java.util.function.Function<S,java.util.BitSet> alphabet) |
|
static <S,A extends OmegaAcceptance> |
create(Automaton<S,A> automaton) |
|
static <S,A extends OmegaAcceptance> |
singleton(S state,
ValuationSetFactory factory,
A acceptance) |
|
static <S,A extends OmegaAcceptance> |
singleton(S state,
ValuationSetFactory factory,
A acceptance,
it.unimi.dsi.fastutil.ints.IntSet acceptanceSet) |
public static <S,A extends OmegaAcceptance> MutableAutomaton<S,A> create(A acceptance, ValuationSetFactory valuationSetFactory)
valuationSetFactory
is
used as transition backend.S
- The states of the automaton.A
- The acceptance condition of the automaton.acceptance
- The acceptance of the new automaton.valuationSetFactory
- The transition valuation set factorypublic static <S,A extends OmegaAcceptance> MutableAutomaton<S,A> create(A acceptance, ValuationSetFactory valuationSetFactory, java.util.Collection<S> initialStates, java.util.function.BiFunction<S,java.util.BitSet,Edge<S>> successors, java.util.function.Function<S,java.util.BitSet> alphabet)
public static <S,A extends OmegaAcceptance> MutableAutomaton<S,A> create(Automaton<S,A> automaton)
public static <S,A extends OmegaAcceptance> MutableAutomaton<S,A> singleton(S state, ValuationSetFactory factory, A acceptance)
public static <S,A extends OmegaAcceptance> MutableAutomaton<S,A> singleton(S state, ValuationSetFactory factory, A acceptance, it.unimi.dsi.fastutil.ints.IntSet acceptanceSet)