@ParametersAreNonnullByDefault public abstract class AbstractBricsAutomaton extends AbstractFSA<State,Character> implements DOTPlottableGraph<State,Transition>, UniversalGraph<State,Transition,Boolean,BricsTransitionProperty>
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 |
---|---|
<V> MutableMapping<State,V> |
createDynamicNodeMapping() |
<V> MutableMapping<State,V> |
createStaticNodeMapping() |
Automaton |
getBricsAutomaton()
Retrieves the Brics automaton object.
|
BricsTransitionProperty |
getEdgeProperty(Transition edge)
Retrieves the property of a given edge.
|
GraphDOTHelper<State,Transition> |
getGraphDOTHelper() |
Set<State> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
Boolean |
getNodeProperty(State node)
Retrieves the property of a given node.
|
Collection<State> |
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.
|
Collection<Transition> |
getOutgoingEdges(State node)
Retrieves the outgoing edges of a given node.
|
Collection<State> |
getStates()
Retrieves all states of the transition system.
|
State |
getTarget(Transition edge)
Retrieves, for a given edge, its target node.
|
Collection<State> |
getTransitions(State state,
Character input)
Retrieves the transitions that can be triggered by the given
input symbol.
|
boolean |
isAccepting(State state)
Checks whether the given state is accepting.
|
NodeIDs<State> |
nodeIDs() |
computeOutput, computeOutput, computeSuffixOutput, computeSuffixOutput, getStateProperty, getStateProperty, getSuccessor, getSuccessor, getTransitionProperty, getTransitionProperty
createStaticStateMapping, createStaticStateMapping, iterator, iterator, size, size, stateIDs, stateIDs
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEach, iterator, spliterator
accepts
size, stateIDs
powersetView
createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors, getSuccessors
protected final Automaton automaton
public AbstractBricsAutomaton(Automaton automaton)
automaton
- the Brics automaton object.public Automaton getBricsAutomaton()
public Collection<State> getNodes()
Graph
getNodes
in interface Graph<State,Transition>
public Collection<Transition> getOutgoingEdges(State node)
IndefiniteGraph
getOutgoingEdges
in interface IndefiniteGraph<State,Transition>
node
- the node.Collection
of all outgoing edges, or null
if
the node has no outgoing edges.public State getTarget(Transition edge)
IndefiniteGraph
getTarget
in interface IndefiniteGraph<State,Transition>
edge
- the edge.public <V> MutableMapping<State,V> createStaticNodeMapping()
createStaticNodeMapping
in interface IndefiniteGraph<State,Transition>
public <V> MutableMapping<State,V> createDynamicNodeMapping()
createDynamicNodeMapping
in interface IndefiniteGraph<State,Transition>
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 GraphDOTHelper<State,Transition> getGraphDOTHelper()
getGraphDOTHelper
in interface DOTPlottableGraph<State,Transition>
public Boolean getNodeProperty(State node)
UniversalIndefiniteGraph
getNodeProperty
in interface UniversalIndefiniteGraph<State,Transition,Boolean,BricsTransitionProperty>
node
- the nodepublic BricsTransitionProperty getEdgeProperty(Transition edge)
UniversalIndefiniteGraph
getEdgeProperty
in interface UniversalIndefiniteGraph<State,Transition,Boolean,BricsTransitionProperty>
edge
- the edgeCopyright © 2015. All rights reserved.