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>

Field Summary

Fields

Modifier and Type	Field	Description
protected A	automaton

Constructor Summary

Constructors

Constructor	Description
AbstractAutomatonGraphView(A automaton)

Method Summary

Modifier and Type	Method	Description
<@Nullable V> MutableMapping<S,V>	createDynamicNodeMapping()	Creates a MutableMapping allowing to associate arbitrary data with this graph's nodes.
<@Nullable V> MutableMapping<S,V>	createStaticNodeMapping()	Creates a MutableMapping 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

Field Detail

automaton

protected final A extends Automaton<S,?,?> automaton

Constructor Detail

AbstractAutomatonGraphView

public AbstractAutomatonGraphView(A automaton)

Method Detail

createStaticNodeMapping

public <@Nullable V> MutableMapping<S,V> createStaticNodeMapping()

Description copied from interface: IndefiniteSimpleGraph

Creates a MutableMapping 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 interface IndefiniteSimpleGraph<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 a MutableMapping 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 interface IndefiniteSimpleGraph<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 interface FiniteRepresentation

Specified by:

size in interface SimpleGraph<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 interface SimpleGraph<S>

Returns:

the nodes in this graph

iterator

public Iterator<S> iterator()

Specified by:

iterator in interface Iterable<S>

Specified by:

iterator in interface SimpleGraph<S>

nodeIDs

public NodeIDs<S> nodeIDs()

Specified by:

nodeIDs in interface SimpleGraph<S>