Package owl.automaton

Class AutomatonUtil

java.lang.Object

owl.automaton.AutomatonUtil

public final class AutomatonUtil
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B extends GeneralizedBuchiAcceptance>

Method Summary

Modifier and Type	Method	Description
static <S> void	forEachNonTransientEdge(Automaton<S,?> automaton, BiConsumer<S,Edge<S>> action)
static <S> ImmutableBitSet	getAcceptanceSets(Automaton<S,?> automaton)	Collect all acceptance sets occurring on transitions.
static <S> ImmutableBitSet	getAcceptanceSets(Automaton<S,?> automaton, Set<S> states)	Collect all acceptance sets occurring on transitions within the given state set.
static <S> Map<S,BddSet>	getIncompleteStates(Automaton<S,?> automaton)	Determines all states which are incomplete, i.e.
static <S> Set<S>	getNondeterministicStates(Automaton<S,?> automaton)
static <S> boolean	isLessOrEqual(AbstractMemoizingAutomaton<S,?> automaton, int numberOfStates)
static <S> boolean	isLessOrEqual(Automaton<S,?> automaton, int numberOfStates)
static <S,B extends GeneralizedBuchiAcceptance> Optional<AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,? extends B>>	ldbaSplit(Automaton<S,? extends B> automaton)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

forEachNonTransientEdge

public static <S> void forEachNonTransientEdge(Automaton<S,?> automaton,
                                               BiConsumer<S,Edge<S>> action)

getIncompleteStates

public static <S> Map<S,BddSet> getIncompleteStates(Automaton<S,?> automaton)

Determines all states which are incomplete, i.e. there are valuations for which the state has no successor.

Parameters:

automaton - The automaton.

Returns:

The set of incomplete states and the missing valuations.

getNondeterministicStates

public static <S> Set<S> getNondeterministicStates(Automaton<S,?> automaton)

getAcceptanceSets

public static <S> ImmutableBitSet getAcceptanceSets(Automaton<S,?> automaton,
                                                    Set<S> states)

Collect all acceptance sets occurring on transitions within the given state set.

Type Parameters:

S - the type of the states

Parameters:

automaton - the automaton

states - the state set

Returns:

a set containing all acceptance indices

getAcceptanceSets

public static <S> ImmutableBitSet getAcceptanceSets(Automaton<S,?> automaton)

Collect all acceptance sets occurring on transitions.

Parameters:

automaton - the automaton

Returns:

a set containing all acceptance indices

ldbaSplit

public static <S,B extends GeneralizedBuchiAcceptance> Optional<AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,? extends B>> ldbaSplit(Automaton<S,? extends B> automaton)

isLessOrEqual

public static <S> boolean isLessOrEqual(Automaton<S,?> automaton,
                                        int numberOfStates)

isLessOrEqual

public static <S> boolean isLessOrEqual(AbstractMemoizingAutomaton<S,?> automaton,
                                        int numberOfStates)