Package net.automatalib.automaton.graph
Class AbstractAutomatonGraphView<S,A extends Automaton<S,?,?>,E>
- java.lang.Object
-
- net.automatalib.automaton.graph.AbstractAutomatonGraphView<S,A,E>
-
- All Implemented Interfaces:
Iterable<S>
,FiniteRepresentation
,Graph<S,E>
,IndefiniteGraph<S,E>
,IndefiniteSimpleGraph<S>
,SimpleGraph<S>
- Direct Known Subclasses:
AbstractBricsAutomaton.GraphView
,AutomatonGraphView
public abstract class AbstractAutomatonGraphView<S,A extends Automaton<S,?,?>,E> extends Object implements Graph<S,E>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.graph.Graph
Graph.IntAbstraction<E>
-
-
Constructor Summary
Constructors Constructor Description AbstractAutomatonGraphView(A automaton)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <@Nullable V>
MutableMapping<S,V>createDynamicNodeMapping()
Creates aMutableMapping
allowing to associate arbitrary data with this graph's nodes.<@Nullable V>
MutableMapping<S,V>createStaticNodeMapping()
Creates aMutableMapping
allowing to associate arbitrary data with this graph's nodes.Collection<S>
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.Iterator<S>
iterator()
NodeIDs<S>
nodeIDs()
int
size()
Retrieves the size (number of nodes) of this graph.-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.graph.Graph
getAdjacentNodes, getOutgoingEdges, getOutgoingEdgesIterator, getVisualizationHelper
-
Methods inherited from interface net.automatalib.graph.IndefiniteGraph
getAdjacentNodesIterator, getEdgesBetween, getTarget
-
Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph
isConnected
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
-
-
-
Constructor Detail
-
AbstractAutomatonGraphView
public AbstractAutomatonGraphView(A automaton)
-
-
Method Detail
-
createStaticNodeMapping
public <@Nullable V> MutableMapping<S,V> createStaticNodeMapping()
Description copied from interface:IndefiniteSimpleGraph
Creates aMutableMapping
allowing to associate arbitrary data with this graph's nodes. The returned mapping is however only guaranteed to work correctly if the transition system is not modified.- Specified by:
createStaticNodeMapping
in interfaceIndefiniteSimpleGraph<S>
- Type Parameters:
V
- the value type of the mapping- Returns:
- the mutable mapping
-
createDynamicNodeMapping
public <@Nullable V> MutableMapping<S,V> createDynamicNodeMapping()
Description copied from interface:IndefiniteSimpleGraph
Creates aMutableMapping
allowing to associate arbitrary data with this graph's nodes. The returned mapping maintains the association even when the transition system is modified.- Specified by:
createDynamicNodeMapping
in interfaceIndefiniteSimpleGraph<S>
- Type Parameters:
V
- the value type of the mapping- Returns:
- the mutable mapping
-
size
public int size()
Description copied from interface:SimpleGraph
Retrieves the size (number of nodes) of this graph.- Specified by:
size
in interfaceFiniteRepresentation
- Specified by:
size
in interfaceSimpleGraph<S>
- Returns:
- the number of nodes of this graph
-
getNodes
public Collection<S> getNodes()
Description copied from interface:SimpleGraph
Retrieves an (unmodifiable) collection of the nodes in this graph.- Specified by:
getNodes
in interfaceSimpleGraph<S>
- Returns:
- the nodes in this graph
-
nodeIDs
public NodeIDs<S> nodeIDs()
- Specified by:
nodeIDs
in interfaceSimpleGraph<S>
-
-