@ParametersAreNonnullByDefault public class AbstractIncrementalDFADAGBuilder.GraphView extends AbstractIncrementalDFABuilder.AbstractGraphView<I,net.automatalib.incremental.dfa.dag.State,net.automatalib.incremental.dfa.dag.EdgeRecord>
Constructor and Description |
---|
GraphView() |
Modifier and Type | Method and Description |
---|---|
Acceptance |
getAcceptance(net.automatalib.incremental.dfa.dag.State node) |
GraphDOTHelper<net.automatalib.incremental.dfa.dag.State,net.automatalib.incremental.dfa.dag.EdgeRecord> |
getGraphDOTHelper() |
net.automatalib.incremental.dfa.dag.State |
getInitialNode() |
I |
getInputSymbol(net.automatalib.incremental.dfa.dag.EdgeRecord edge) |
Collection<net.automatalib.incremental.dfa.dag.State> |
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.
|
Collection<net.automatalib.incremental.dfa.dag.EdgeRecord> |
getOutgoingEdges(net.automatalib.incremental.dfa.dag.State node)
Retrieves the outgoing edges of a given node.
|
net.automatalib.incremental.dfa.dag.State |
getTarget(net.automatalib.incremental.dfa.dag.EdgeRecord edge)
Retrieves, for a given edge, its target node.
|
int |
size()
Retrieves the number of nodes of this graph.
|
iterator, iterator, nodeIDs, nodeIDs, 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.dfa.dag.State> getNodes()
Graph
public int size()
Graph
size
in interface Graph<net.automatalib.incremental.dfa.dag.State,net.automatalib.incremental.dfa.dag.EdgeRecord>
size
in class AbstractGraph<net.automatalib.incremental.dfa.dag.State,net.automatalib.incremental.dfa.dag.EdgeRecord>
public Collection<net.automatalib.incremental.dfa.dag.EdgeRecord> getOutgoingEdges(net.automatalib.incremental.dfa.dag.State node)
IndefiniteGraph
node
- the node.Collection
of all outgoing edges, or null
if
the node has no outgoing edges.@Nonnull public net.automatalib.incremental.dfa.dag.State getTarget(net.automatalib.incremental.dfa.dag.EdgeRecord edge)
IndefiniteGraph
edge
- the edge.@Nonnull public Acceptance getAcceptance(net.automatalib.incremental.dfa.dag.State node)
@Nullable public I getInputSymbol(net.automatalib.incremental.dfa.dag.EdgeRecord edge)
@Nonnull public GraphDOTHelper<net.automatalib.incremental.dfa.dag.State,net.automatalib.incremental.dfa.dag.EdgeRecord> getGraphDOTHelper()
getGraphDOTHelper
in interface DOTPlottableGraph<net.automatalib.incremental.dfa.dag.State,net.automatalib.incremental.dfa.dag.EdgeRecord>
getGraphDOTHelper
in class AbstractIncrementalDFABuilder.AbstractGraphView<I,net.automatalib.incremental.dfa.dag.State,net.automatalib.incremental.dfa.dag.EdgeRecord>
@Nonnull public net.automatalib.incremental.dfa.dag.State getInitialNode()
Copyright © 2015. All rights reserved.