public class IncrementalMealyDAGBuilder.GraphView extends AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,State<O>,TransitionRecord<O>>
SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>
Constructor and Description |
---|
GraphView() |
Modifier and Type | Method and Description |
---|---|
State<O> |
getInitialNode() |
I |
getInputSymbol(TransitionRecord<O> edge) |
Collection<State<O>> |
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.
|
Collection<TransitionRecord<O>> |
getOutgoingEdges(State<O> node)
Retrieves the outgoing edges of a given node.
|
O |
getOutputSymbol(TransitionRecord<O> edge) |
State<O> |
getTarget(TransitionRecord<O> edge)
Retrieves, for a given edge, its target node.
|
VisualizationHelper<State<O>,TransitionRecord<O>> |
getVisualizationHelper() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
asNormalGraph
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
iterator, nodeIDs, nodesStream, size
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
forEach, spliterator
public Collection<TransitionRecord<O>> getOutgoingEdges(State<O> node)
IndefiniteGraph
node
- the node.Collection
of all outgoing edges, or null
if the node has no outgoing edges.public State<O> getTarget(TransitionRecord<O> edge)
IndefiniteGraph
edge
- the edge.public Collection<State<O>> getNodes()
SimpleGraph
public I getInputSymbol(TransitionRecord<O> edge)
public O getOutputSymbol(TransitionRecord<O> edge)
public VisualizationHelper<State<O>,TransitionRecord<O>> getVisualizationHelper()
getVisualizationHelper
in interface Graph<State<O>,TransitionRecord<O>>
getVisualizationHelper
in interface SimpleGraph<State<O>>
getVisualizationHelper
in class AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,State<O>,TransitionRecord<O>>
Copyright © 2020. All rights reserved.