Package owl.translations.canonical
Class LegacyFactory
- java.lang.Object
-
- owl.automaton.AbstractCachedStatesAutomaton<S,A>
-
- owl.translations.canonical.LegacyFactory
-
- All Implemented Interfaces:
Automaton<EquivalenceClass,NoneAcceptance>,EdgeTreeAutomatonMixin<EquivalenceClass,NoneAcceptance>
@Deprecated public final class LegacyFactory extends AbstractCachedStatesAutomaton<S,A>
Deprecated.Legacy class giving other packages access to internals.
-
-
Nested Class Summary
-
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 interface owl.automaton.EdgeTreeAutomatonMixin
ACCESS_MODES
-
-
Constructor Summary
Constructors Constructor Description LegacyFactory(Factories factories)Deprecated.
-
Method Summary
All Methods Instance Methods Concrete Methods Deprecated Methods Modifier and Type Method Description NoneAcceptanceacceptance()Deprecated.Returns the acceptance condition of this automaton.Edge<EquivalenceClass>edge(EquivalenceClass state, BitSet valuation)Deprecated.Returns the successor edge of the specifiedstateunder the givenvaluation.Set<Edge<S>>edges(S state, BitSet valuation)Returns the successor edges of the specifiedstateunder the givenvaluation.ValuationTree<Edge<EquivalenceClass>>edgeTree(EquivalenceClass state)Deprecated.Returns a decision-tree with nodes labelled by literals and sets of edges as leaves.ValuationSetFactoryfactory()EquivalenceClassinitialStateInternal(EquivalenceClass clazz)Deprecated.EquivalenceClassinitialStateInternal(EquivalenceClass clazz, EquivalenceClass environment)Deprecated.Set<S>initialStates()Returns the set of initial states, which can potentially be empty.booleanis(Automaton.Property property)EquivalenceClassonlyInitialState()Deprecated.Returns the initial state.EquivalenceClasssuccessor(EquivalenceClass clazz, BitSet valuation, EquivalenceClass environment)Deprecated.-
Methods inherited from class owl.automaton.AbstractCachedStatesAutomaton
accept, accept, accept, cache, 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, name, predecessors, size, states, successor, successors, successors
-
Methods inherited from interface owl.automaton.EdgeTreeAutomatonMixin
edgeMap, edges, preferredEdgeAccess
-
-
-
-
Constructor Detail
-
LegacyFactory
public LegacyFactory(Factories factories)
Deprecated.
-
-
Method Detail
-
onlyInitialState
public EquivalenceClass onlyInitialState()
Deprecated.Description copied from interface:AutomatonReturns the initial state. Throws anNoSuchElementExceptionif there is no andIllegalStateExceptionif there are multiple initial states.- Specified by:
onlyInitialStatein interfaceAutomaton<EquivalenceClass,NoneAcceptance>- Returns:
- The unique initial state.
- See Also:
Automaton.initialStates()
-
edge
@Nullable public Edge<EquivalenceClass> edge(EquivalenceClass state, BitSet valuation)
Deprecated.Description copied from interface:AutomatonReturns the successor edge of the specifiedstateunder the givenvaluation. Returns some edge if there is a non-deterministic choice in this state for the specified valuation.If you want to check if this is the unique edge use the
Automaton.edges(Object, BitSet)method.- Specified by:
edgein interfaceAutomaton<EquivalenceClass,NoneAcceptance>- Parameters:
state- The starting state of the transition.valuation- The valuation.- Returns:
- A successor edge or
nullif none. - See Also:
Automaton.edgeMap(Object)
-
edgeTree
public ValuationTree<Edge<EquivalenceClass>> edgeTree(EquivalenceClass state)
Deprecated.Description copied from interface:AutomatonReturns a decision-tree with nodes labelled by literals and sets of edges as leaves.- Specified by:
edgeTreein interfaceAutomaton<EquivalenceClass,NoneAcceptance>- Parameters:
state- The state.- Returns:
- A tree.
-
acceptance
public NoneAcceptance acceptance()
Deprecated.Description copied from interface:AutomatonReturns the acceptance condition of this automaton.- Returns:
- The acceptance.
-
successor
public EquivalenceClass successor(EquivalenceClass clazz, BitSet valuation, EquivalenceClass environment)
Deprecated.
-
initialStateInternal
public EquivalenceClass initialStateInternal(EquivalenceClass clazz)
Deprecated.
-
initialStateInternal
public EquivalenceClass initialStateInternal(EquivalenceClass clazz, EquivalenceClass environment)
Deprecated.
-
factory
public final ValuationSetFactory factory()
- Specified by:
factoryin interfaceAutomaton<S,A extends OmegaAcceptance>
-
initialStates
public final Set<S> initialStates()
Description copied from interface:AutomatonReturns the set of initial states, which can potentially be empty.- Specified by:
initialStatesin interfaceAutomaton<S,A extends OmegaAcceptance>- Returns:
- The set of initial states.
-
edges
public final Set<Edge<S>> edges(S state, BitSet valuation)
Description copied from interface:AutomatonReturns the successor edges of the specifiedstateunder the givenvaluation.- Specified by:
edgesin interfaceAutomaton<S,A extends OmegaAcceptance>- Specified by:
edgesin interfaceEdgeTreeAutomatonMixin<S,A extends OmegaAcceptance>- Parameters:
state- The starting state of the transition.valuation- The valuation.- Returns:
- The successor edges, possibly empty.
-
is
public boolean is(Automaton.Property property)
- Specified by:
isin interfaceAutomaton<S,A extends OmegaAcceptance>
-
-