@ParametersAreNonnullByDefault public class BricsDFA extends AbstractBricsAutomaton implements DFA<State,Character>
DFA
.
This adapter is backed by the Brics automaton, so changes to the Automaton
are reflected. Please note that any changes which result in a loss of determinism
will result in incorrect behavior exposed by this class until determinism is restored.
AbstractBricsAutomaton.GraphView
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
automaton
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
BricsDFA(Automaton automaton)
Constructor.
|
BricsDFA(Automaton automaton,
boolean mayDeterminize)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
State |
getInitialState()
Retrieves the initial state of this transition system.
|
State |
getSuccessor(State state,
Character input)
Retrieves the successor state reachable by the given input symbol.
|
State |
getTransition(State state,
Character input)
Retrieves the transition triggered by the given input symbol.
|
getBricsAutomaton, getInitialStates, getStates, getTransitions, graphView, isAccepting
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
accepts, isAccepting
getSuccessors, getTransitions, transToSet
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
computeOutput, computeSuffixOutput, transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty, isAccepting
powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getSuccessors
forEach, spliterator
public BricsDFA(Automaton automaton)
IllegalArgumentException
.automaton
- the Brics automaton to wrap.public BricsDFA(Automaton automaton, boolean mayDeterminize)
BricsDFA(Automaton)
. Otherwise, if the specified automaton is not deterministic,
it is determinized beforehand by invoking Automaton.determinize()
.automaton
- the Brics automaton to wrap.mayDeterminize
- whether or not a possible nondeterministic automaton may be
determinized.public State getInitialState()
SimpleDTS
getInitialState
in interface SimpleDTS<State,Character>
SimpleTS.getInitialStates()
public State getSuccessor(State state, @Nonnull Character input)
SimpleDTS
getSuccessor
in interface DeterministicTransitionSystem<State,Character,State>
getSuccessor
in interface SimpleDTS<State,Character>
state
- the source state.input
- the input symbol.null
if no state is reachable by this symbol.TransitionSystem.getSuccessors(Object, Object)
public State getTransition(State state, @Nonnull Character input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<State,Character,State>
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
Copyright © 2015. All rights reserved.