public abstract class AbstractAutomatonGraphView<S,A extends Automaton<S,?,?>,E> extends Object implements Graph<S,E>
Constructor and Description |
---|
AbstractAutomatonGraphView(A automaton) |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
createDynamicNodeMapping() |
<V> MutableMapping<S,V> |
createStaticNodeMapping() |
Collection<? extends S> |
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.
|
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
getGraphDOTHelper
getOutgoingEdges, getTarget
forEach, spliterator
public AbstractAutomatonGraphView(A automaton)
public Collection<? extends S> getNodes()
Graph
public <V> MutableMapping<S,V> createStaticNodeMapping()
createStaticNodeMapping
in interface IndefiniteGraph<S,E>
public <V> MutableMapping<S,V> createDynamicNodeMapping()
createDynamicNodeMapping
in interface IndefiniteGraph<S,E>
Copyright © 2015. All rights reserved.