public class AutomatonAsGraph<S,I,T,A extends Automaton<S,I,T>> extends Object implements Graph<S,TransitionEdge<I,T>>
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
forEach, spliterator
protected final Collection<? extends I> inputAlphabet
public AutomatonAsGraph(A automaton, Collection<? extends I> inputAlphabet)
public Collection<S> getNodes()
Graph
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()
Graph
public <V> MutableMapping<S,V> createStaticNodeMapping()
createStaticNodeMapping
in interface IndefiniteGraph<S,TransitionEdge<I,T>>
public <V> MutableMapping<S,V> createDynamicNodeMapping()
createDynamicNodeMapping
in interface IndefiniteGraph<S,TransitionEdge<I,T>>
Copyright © 2015. All Rights Reserved.