public class AutomatonAsGraph<S,I,T,A extends Automaton<S,I,T>> extends Object implements Graph<S,TransitionEdge<I,T>>
SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>
Modifier and Type | Field and Description |
---|---|
protected A |
automaton |
protected Collection<? extends I> |
inputAlphabet |
Constructor and Description |
---|
AutomatonAsGraph(A automaton,
Collection<? extends I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
createDynamicNodeMapping() |
<V> MutableMapping<S,V> |
createStaticNodeMapping() |
Collection<S> |
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.
|
Collection<TransitionEdge<I,T>> |
getOutgoingEdges(S node)
Retrieves the outgoing edges of a given node.
|
S |
getTarget(TransitionEdge<I,T> edge)
Retrieves, for a given edge, its target node.
|
Iterator<S> |
iterator() |
NodeIDs<S> |
nodeIDs() |
int |
size()
Retrieves the number of nodes of this graph.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
asNormalGraph, getVisualizationHelper
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
nodesStream
adjacentTargets, isConnected
forEach, spliterator
protected final Collection<? extends I> inputAlphabet
public AutomatonAsGraph(A automaton, Collection<? extends I> inputAlphabet)
public Collection<TransitionEdge<I,T>> getOutgoingEdges(S node)
IndefiniteGraph
getOutgoingEdges
in interface IndefiniteGraph<S,TransitionEdge<I,T>>
node
- the node.Collection
of all outgoing edges, or null
if the node has no outgoing edges.public S getTarget(TransitionEdge<I,T> edge)
IndefiniteGraph
getTarget
in interface IndefiniteGraph<S,TransitionEdge<I,T>>
edge
- the edge.public int size()
SimpleGraph
size
in interface SimpleGraph<S>
public Collection<S> getNodes()
SimpleGraph
getNodes
in interface SimpleGraph<S>
public NodeIDs<S> nodeIDs()
nodeIDs
in interface SimpleGraph<S>
public <V> MutableMapping<S,V> createStaticNodeMapping()
createStaticNodeMapping
in interface IndefiniteSimpleGraph<S>
public <V> MutableMapping<S,V> createDynamicNodeMapping()
createDynamicNodeMapping
in interface IndefiniteSimpleGraph<S>
Copyright © 2018. All rights reserved.