Package owl.translations.canonical
Class NonDeterministicConstructions.GfCoSafety
- java.lang.Object
-
- owl.automaton.AbstractImmutableAutomaton<S,A>
-
- owl.automaton.AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A>
-
- owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
-
- All Implemented Interfaces:
Automaton<RoundRobinState<Formula>,GeneralizedBuchiAcceptance>,EdgeTreeAutomatonMixin<RoundRobinState<Formula>,GeneralizedBuchiAcceptance>
- Enclosing class:
- NonDeterministicConstructions
public static final class NonDeterministicConstructions.GfCoSafety extends AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class owl.automaton.AbstractImmutableAutomaton
AbstractImmutableAutomaton.NonDeterministicEdgeMapAutomaton<S,A extends OmegaAcceptance>, AbstractImmutableAutomaton.NonDeterministicEdgesAutomaton<S,A extends OmegaAcceptance>, AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A extends OmegaAcceptance>, AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton<S,A extends OmegaAcceptance>
-
Nested classes/interfaces inherited from interface owl.automaton.Automaton
Automaton.EdgeMapVisitor<S>, Automaton.EdgeTreeVisitor<S>, Automaton.EdgeVisitor<S>, Automaton.PreferredEdgeAccess, Automaton.Property, Automaton.Visitor<S>
-
-
Field Summary
-
Fields inherited from class owl.automaton.AbstractImmutableAutomaton
acceptance, initialStates
-
Fields inherited from interface owl.automaton.EdgeTreeAutomatonMixin
ACCESS_MODES
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Set<Edge<RoundRobinState<Formula>>>edges(RoundRobinState<Formula> state, BitSet valuation)Returns the successor edges of the specifiedstateunder the givenvaluation.ValuationTree<Edge<RoundRobinState<Formula>>>edgeTree(RoundRobinState<Formula> state)Returns a decision-tree with nodes labelled by literals and sets of edges as leaves.static NonDeterministicConstructions.GfCoSafetyof(Factories factories, Set<? extends Formula> formulas, boolean generalized)-
Methods inherited from class owl.automaton.AbstractImmutableAutomaton
accept, accept, accept, acceptance, cache, factory, initialStates, onlyInitialState, states
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface owl.automaton.Automaton
accept, accept, accept, accept, acceptance, edge, factory, initialStates, is, name, onlyInitialState, predecessors, size, states, successor, successors
-
Methods inherited from interface owl.automaton.EdgeTreeAutomatonMixin
edgeMap, edges, preferredEdgeAccess, successors
-
-
-
-
Method Detail
-
of
public static NonDeterministicConstructions.GfCoSafety of(Factories factories, Set<? extends Formula> formulas, boolean generalized)
-
edges
public Set<Edge<RoundRobinState<Formula>>> edges(RoundRobinState<Formula> state, BitSet valuation)
Description copied from interface:AutomatonReturns the successor edges of the specifiedstateunder the givenvaluation.- Specified by:
edgesin interfaceAutomaton<RoundRobinState<Formula>,GeneralizedBuchiAcceptance>- Specified by:
edgesin interfaceEdgeTreeAutomatonMixin<RoundRobinState<Formula>,GeneralizedBuchiAcceptance>- Parameters:
state- The starting state of the transition.valuation- The valuation.- Returns:
- The successor edges, possibly empty.
-
edgeTree
public ValuationTree<Edge<RoundRobinState<Formula>>> edgeTree(RoundRobinState<Formula> state)
Description copied from interface:AutomatonReturns a decision-tree with nodes labelled by literals and sets of edges as leaves.- Specified by:
edgeTreein interfaceAutomaton<RoundRobinState<Formula>,GeneralizedBuchiAcceptance>- Parameters:
state- The state.- Returns:
- A tree.
-
-