public class AbstractBricsAutomaton.GraphView extends AbstractAutomatonGraphView<State,AbstractBricsAutomaton,Transition> implements UniversalGraph<State,Transition,Boolean,BricsTransitionProperty>
automaton
Constructor and Description |
---|
GraphView() |
Modifier and Type | Method and Description |
---|---|
BricsTransitionProperty |
getEdgeProperty(Transition edge)
Retrieves the property of a given edge.
|
GraphDOTHelper<State,Transition> |
getGraphDOTHelper() |
Boolean |
getNodeProperty(State node)
Retrieves the property of a given node.
|
Collection<? extends Transition> |
getOutgoingEdges(State node)
Retrieves the outgoing edges of a given node.
|
State |
getTarget(Transition edge)
Retrieves, for a given edge, its target node.
|
createDynamicNodeMapping, createStaticNodeMapping, getNodes, iterator, nodeIDs, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEach, spliterator
createDynamicNodeMapping, createStaticNodeMapping, getEdgesBetween
public Collection<? extends 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 GraphDOTHelper<State,Transition> getGraphDOTHelper()
getGraphDOTHelper
in interface Graph<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.