public final class SccDecomposition<S>
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <S> java.util.List<java.util.Set<S>> |
computeSccs(Automaton<S,?> automaton) |
This method computes the SCCs of the state-/transition-graph of the automaton.
|
static <S> java.util.List<java.util.Set<S>> |
computeSccs(Automaton<S,?> automaton,
boolean includeTransient) |
|
static <S> java.util.List<java.util.Set<S>> |
computeSccs(Automaton<S,?> automaton,
java.util.Set<S> initialStates) |
|
static <S> java.util.List<java.util.Set<S>> |
computeSccs(Automaton<S,?> automaton,
java.util.Set<S> initialStates,
boolean includeTransient) |
|
static <S> java.util.List<java.util.Set<S>> |
computeSccs(Automaton<S,?> automaton,
S initialState) |
|
static <S> java.util.List<java.util.Set<S>> |
computeSccs(Automaton<S,?> automaton,
S initialState,
boolean includeTransient) |
|
static <S> boolean |
isTransient(java.util.function.Function<S,? extends java.lang.Iterable<S>> successorFunction,
java.util.Set<S> scc) |
|
static <S> boolean |
isTrap(Automaton<S,?> automaton,
java.util.Set<S> trap) |
Determines whether the given set of states is a BSCC in the given automaton assuming
that it is an SCC.
|
public static <S> java.util.List<java.util.Set<S>> computeSccs(Automaton<S,?> automaton)
The returned list of SCCs is ordered according to the topological ordering in the
"condensation graph", aka the graph where the SCCs are vertices, ordered such that for each
transition a->b
in the condensation graph, a is in the list before b
automaton
- Automaton, for which the class is analysedpublic static <S> java.util.List<java.util.Set<S>> computeSccs(Automaton<S,?> automaton, S initialState)
public static <S> java.util.List<java.util.Set<S>> computeSccs(Automaton<S,?> automaton, boolean includeTransient)
public static <S> java.util.List<java.util.Set<S>> computeSccs(Automaton<S,?> automaton, java.util.Set<S> initialStates)
public static <S> java.util.List<java.util.Set<S>> computeSccs(Automaton<S,?> automaton, S initialState, boolean includeTransient)
public static <S> java.util.List<java.util.Set<S>> computeSccs(Automaton<S,?> automaton, java.util.Set<S> initialStates, boolean includeTransient)
public static <S> boolean isTransient(java.util.function.Function<S,? extends java.lang.Iterable<S>> successorFunction, java.util.Set<S> scc)
public static <S> boolean isTrap(Automaton<S,?> automaton, java.util.Set<S> trap)