public final class LimitDeterministicAutomatonBuilder<KeyS,S,KeyT,T,B extends GeneralizedBuchiAcceptance,C>
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
LimitDeterministicAutomatonBuilder.Configuration |
Modifier and Type | Method | Description |
---|---|---|
T |
addAccepting(KeyT key) |
|
S |
addInitial(KeyS key) |
|
LimitDeterministicAutomaton<S,T,B,C> |
build() |
|
static <S,T,Acc extends GeneralizedBuchiAcceptance,X,X2,X3> |
create(MutableAutomatonBuilder<X,S,NoneAcceptance> initialComponentBuilder,
MutableAutomatonBuilder<X2,T,Acc> acceptingComponentBuilder,
java.util.function.Function<S,java.lang.Iterable<X2>> jumpGenerator,
java.util.function.Function<T,X3> annot,
java.util.EnumSet<LimitDeterministicAutomatonBuilder.Configuration> optimisations) |
|
static <S,T,Acc extends GeneralizedBuchiAcceptance,X,X2,X3> |
create(MutableAutomatonBuilder<X,S,NoneAcceptance> initialComponentBuilder,
MutableAutomatonBuilder<X2,T,Acc> acceptingComponentBuilder,
java.util.function.Function<S,java.lang.Iterable<X2>> jumpGenerator,
java.util.function.Function<T,X3> annot,
java.util.EnumSet<LimitDeterministicAutomatonBuilder.Configuration> optimisations,
java.util.function.Predicate<S> isProtected) |
public static <S,T,Acc extends GeneralizedBuchiAcceptance,X,X2,X3> LimitDeterministicAutomatonBuilder<X,S,X2,T,Acc,X3> create(MutableAutomatonBuilder<X,S,NoneAcceptance> initialComponentBuilder, MutableAutomatonBuilder<X2,T,Acc> acceptingComponentBuilder, java.util.function.Function<S,java.lang.Iterable<X2>> jumpGenerator, java.util.function.Function<T,X3> annot, java.util.EnumSet<LimitDeterministicAutomatonBuilder.Configuration> optimisations)
public static <S,T,Acc extends GeneralizedBuchiAcceptance,X,X2,X3> LimitDeterministicAutomatonBuilder<X,S,X2,T,Acc,X3> create(MutableAutomatonBuilder<X,S,NoneAcceptance> initialComponentBuilder, MutableAutomatonBuilder<X2,T,Acc> acceptingComponentBuilder, java.util.function.Function<S,java.lang.Iterable<X2>> jumpGenerator, java.util.function.Function<T,X3> annot, java.util.EnumSet<LimitDeterministicAutomatonBuilder.Configuration> optimisations, java.util.function.Predicate<S> isProtected)
public LimitDeterministicAutomaton<S,T,B,C> build()