@ParametersAreNonnullByDefault public abstract class AbstractBricsAutomaton extends Object implements FiniteStateAcceptor<State,Character>, GraphViewable
Modifier and Type | Class and Description |
---|---|
class |
AbstractBricsAutomaton.GraphView |
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
Modifier and Type | Field and Description |
---|---|
protected Automaton |
automaton |
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
AbstractBricsAutomaton(Automaton automaton,
boolean totalize)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Automaton |
getBricsAutomaton()
Retrieves the Brics automaton object.
|
Set<State> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
Collection<State> |
getStates()
Retrieves all states of the transition system.
|
Collection<State> |
getTransitions(State state,
Character input)
Retrieves the transitions that can be triggered by the given input symbol.
|
AbstractBricsAutomaton.GraphView |
graphView() |
boolean |
isAccepting(State state)
Checks whether the given state is accepting.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
computeOutput, computeSuffixOutput, transitionGraphView
accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting
getSuccessors, powersetView
createStaticStateMapping, iterator, size, stateIDs
createDynamicStateMapping, getStates, getSuccessors, getSuccessors
forEach, spliterator
protected final Automaton automaton
public AbstractBricsAutomaton(Automaton automaton, boolean totalize)
automaton
- the Brics automaton to wrap.totalize
- flag, indicating whether the automaton should have a total transition function.Automaton.totalize()
public Automaton getBricsAutomaton()
public boolean isAccepting(State state)
AcceptorTS
isAccepting
in interface AcceptorTS<State,Character>
state
- the statetrue
if the state is accepting, false
otherwise.public Collection<State> getTransitions(State state, @Nonnull Character input)
TransitionSystem
The return value must not be null
; if there are no transitions triggered by the specified input, Collections.emptySet()
should be returned.
getTransitions
in interface TransitionSystem<State,Character,State>
state
- the source state.input
- the input symbol.public Set<State> getInitialStates()
SimpleTS
getInitialStates
in interface SimpleTS<State,Character>
public Collection<State> getStates()
SimpleAutomaton
getStates
in interface SimpleAutomaton<State,Character>
public AbstractBricsAutomaton.GraphView graphView()
graphView
in interface GraphViewable
Copyright © 2019. All rights reserved.