public class IncrementalMealyTreeBuilder.GraphView extends AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>>
Constructor and Description |
---|
GraphView() |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>> |
getGraphDOTHelper() |
net.automatalib.incremental.mealy.tree.Node<I,O> |
getInitialNode() |
I |
getInputSymbol(AnnotatedEdge<I,O> edge) |
Collection<net.automatalib.incremental.mealy.tree.Node<I,O>> |
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.
|
Collection<AnnotatedEdge<I,O>> |
getOutgoingEdges(net.automatalib.incremental.mealy.tree.Node<I,O> node)
Retrieves the outgoing edges of a given node.
|
O |
getOutputSymbol(AnnotatedEdge<I,O> edge) |
net.automatalib.incremental.mealy.tree.Node<I,O> |
getTarget(AnnotatedEdge<I,O> edge)
Retrieves, for a given edge, its target node.
|
iterator, iterator, nodeIDs, nodeIDs, size, size
createDynamicNodeMapping, createDynamicNodeMapping, createStaticNodeMapping, createStaticNodeMapping
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
createDynamicNodeMapping, createStaticNodeMapping
forEach, iterator, spliterator
public Collection<net.automatalib.incremental.mealy.tree.Node<I,O>> getNodes()
Graph
public Collection<AnnotatedEdge<I,O>> getOutgoingEdges(net.automatalib.incremental.mealy.tree.Node<I,O> node)
IndefiniteGraph
node
- the node.Collection
of all outgoing edges, or null
if
the node has no outgoing edges.public net.automatalib.incremental.mealy.tree.Node<I,O> getTarget(AnnotatedEdge<I,O> edge)
IndefiniteGraph
edge
- the edge.@Nullable public I getInputSymbol(AnnotatedEdge<I,O> edge)
@Nullable public O getOutputSymbol(AnnotatedEdge<I,O> edge)
public GraphDOTHelper<net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>> getGraphDOTHelper()
getGraphDOTHelper
in interface DOTPlottableGraph<net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>>
getGraphDOTHelper
in class AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>>
Copyright © 2015. All rights reserved.