@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)
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)
automaton
- the Brics automaton object.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 © 2018. All rights reserved.