public final class Views
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
Views.ForwardingAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance,T extends Automaton<S,B>> |
|
static class |
Views.ForwardingMutableAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance> |
Modifier and Type | Method | Description |
---|---|---|
static <S> Automaton<S,OmegaAcceptance> |
complement(Automaton<S,?> automaton) |
|
static <S> Automaton<S,OmegaAcceptance> |
complement(Automaton<S,?> automaton,
S trapState) |
|
static <S,A extends OmegaAcceptance> |
complete(Automaton<S,A> automaton,
S trapState) |
|
static <S> Automaton<S,CoBuchiAcceptance> |
completeAllAcceptance(Automaton<S,AllAcceptance> automaton,
S trapState) |
|
static <S> Automaton<java.util.Set<S>,NoneAcceptance> |
createPowerSetAutomaton(Automaton<S,NoneAcceptance> automaton) |
|
static <S,A extends OmegaAcceptance> |
filter(Automaton<S,A> automaton,
java.util.Set<S> states) |
|
static <S,A extends OmegaAcceptance> |
filter(Automaton<S,A> automaton,
java.util.Set<S> states,
java.util.function.Predicate<Edge<S>> edgeFilter) |
|
static <S,A extends OmegaAcceptance> |
remap(Automaton<S,A> automaton,
java.util.function.IntUnaryOperator remappingOperator) |
|
static <S,A extends OmegaAcceptance> |
replaceInitialState(Automaton<S,A> automaton,
java.util.Set<S> initialStates) |
|
static <S,A extends OmegaAcceptance> |
viewAs(Automaton<S,?> automaton,
java.lang.Class<A> acceptanceClazz) |
public static <S> Automaton<S,OmegaAcceptance> complement(Automaton<S,?> automaton)
public static <S> Automaton<S,OmegaAcceptance> complement(Automaton<S,?> automaton, @Nullable S trapState)
public static <S,A extends OmegaAcceptance> Automaton<S,A> complete(Automaton<S,A> automaton, S trapState)
public static <S> Automaton<S,CoBuchiAcceptance> completeAllAcceptance(Automaton<S,AllAcceptance> automaton, S trapState)
public static <S> Automaton<java.util.Set<S>,NoneAcceptance> createPowerSetAutomaton(Automaton<S,NoneAcceptance> automaton)
public static <S,A extends OmegaAcceptance> Automaton<S,A> filter(Automaton<S,A> automaton, java.util.Set<S> states)
public static <S,A extends OmegaAcceptance> Automaton<S,A> filter(Automaton<S,A> automaton, java.util.Set<S> states, java.util.function.Predicate<Edge<S>> edgeFilter)
public static <S,A extends OmegaAcceptance> Automaton<S,A> remap(Automaton<S,A> automaton, java.util.function.IntUnaryOperator remappingOperator)
public static <S,A extends OmegaAcceptance> Automaton<S,A> replaceInitialState(Automaton<S,A> automaton, java.util.Set<S> initialStates)
public static <S,A extends OmegaAcceptance> Automaton<S,A> viewAs(Automaton<S,?> automaton, java.lang.Class<A> acceptanceClazz)