net.automatalib.automata.transducers.impl.map

Class SimpleMapGraph<N>

java.lang.Object

net.automatalib.automata.transducers.impl.map.SimpleMapGraph<N>

Type Parameters:

N - node type

All Implemented Interfaces:

Iterable<N>, Graph<N,N>, IndefiniteGraph<N,N>, IndefiniteSimpleGraph<N>, MutableGraph<N,N,N,Void>, ShrinkableGraph<N,N>, SimpleGraph<N>, UniversalGraph<N,N,N,Void>, UniversalIndefiniteGraph<N,N,N,Void>

public class SimpleMapGraph<N>
extends Object
implements MutableGraph<N,N,N,Void>, ShrinkableGraph<N,N>

A very simple graph realization, where nodes can be arbitrary Java objects. This graph does not support edge properties.

This class provides maximum flexibility, but should only be used if performance is not a major concern.

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>

Constructor Summary

Constructors

Constructor and Description
SimpleMapGraph() Initializes a graph where the adjacency structure is stored using a HashMap, and adjacency information for a single node is stored using HashSets.
SimpleMapGraph(Map<N,Collection<N>> structureMap) Initializes a graph using the given adjacency structure, and adjacency information for a single node is stored using HashSets.
SimpleMapGraph(Map<N,Collection<N>> structureMap, Supplier<? extends Collection<N>> adjCollSupplier) Initializes a graph using the given adjacency structure, and adjacency information for a single node is stored in data structures created via the provided supplier.
SimpleMapGraph(Supplier<? extends Collection<N>> adjCollSupplier) Initializes a graph where the adjacency structure is stored using a HashMap, and adjacency information for a single node is stored in data structures created via the provided supplier.

Method Summary

Modifier and Type	Method and Description
N	addNode(N property) Adds a new node to the graph.
Iterator<N>	adjacentTargetsIterator(N node)
Stream<N>	adjacentTargetsStream(N node)
N	connect(N source, N target, Void property) Inserts an edge in the graph.
Collection<N>	getAdjacentTargets(N node)
Void	getEdgeProperty(N edge) Retrieves the property of a given edge.
N	getNodeProperty(N node) Retrieves the property of a given node.
Set<N>	getNodes() Retrieves an (unmodifiable) collection of the nodes in this graph.
Collection<N>	getOutgoingEdges(N node) Retrieves the outgoing edges of a given node.
N	getTarget(N edge) Retrieves, for a given edge, its target node.
Iterator<N>	iterator()
void	removeEdge(N node, N edge) Removes an outgoing edge from the given node.
void	removeNode(N node) Removes a node from this graph.
void	removeNode(N node, N replacement) Removes a node from this graph, and redirects all incoming edges to the given replacement node (node that outgoing edges are still removed).
void	setEdgeProperty(N edge, Void property)
void	setNodeProperty(N node, N property) Deprecated.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.graphs.MutableGraph

addNode, connect

Methods inherited from interface net.automatalib.graphs.Graph

asNormalGraph, getVisualizationHelper

Methods inherited from interface net.automatalib.graphs.SimpleGraph

nodeIDs, nodesStream, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Constructor Detail

SimpleMapGraph

public SimpleMapGraph()

Initializes a graph where the adjacency structure is stored using a HashMap, and adjacency information for a single node is stored using HashSets.

SimpleMapGraph

public SimpleMapGraph(Map<N,Collection<N>> structureMap,
                      Supplier<? extends Collection<N>> adjCollSupplier)

Initializes a graph using the given adjacency structure, and adjacency information for a single node is stored in data structures created via the provided supplier.

Parameters:

structureMap - the map for the overall graph structure

adjCollSupplier - the supplier for per-node adjacency collections

SimpleMapGraph

public SimpleMapGraph(Supplier<? extends Collection<N>> adjCollSupplier)

Initializes a graph where the adjacency structure is stored using a HashMap, and adjacency information for a single node is stored in data structures created via the provided supplier.

Parameters:

adjCollSupplier - the supplier for per-node adjacency collections

SimpleMapGraph

public SimpleMapGraph(Map<N,Collection<N>> structureMap)

Initializes a graph using the given adjacency structure, and adjacency information for a single node is stored using HashSets.

Parameters:

structureMap - the map for the overall graph structure

Method Detail

adjacentTargetsIterator

public Iterator<N> adjacentTargetsIterator(N node)

Specified by:

adjacentTargetsIterator in interface IndefiniteGraph<N,N>

Specified by:

adjacentTargetsIterator in interface IndefiniteSimpleGraph<N>

getAdjacentTargets

public Collection<N> getAdjacentTargets(N node)

Specified by:

getAdjacentTargets in interface IndefiniteGraph<N,N>

Specified by:

getAdjacentTargets in interface IndefiniteSimpleGraph<N>

adjacentTargetsStream

public Stream<N> adjacentTargetsStream(N node)

Specified by:

adjacentTargetsStream in interface IndefiniteGraph<N,N>

Specified by:

adjacentTargetsStream in interface IndefiniteSimpleGraph<N>

getOutgoingEdges

public Collection<N> getOutgoingEdges(N node)

Description copied from interface: IndefiniteGraph

Retrieves the outgoing edges of a given node.

Specified by:

getOutgoingEdges in interface IndefiniteGraph<N,N>

Parameters:

node - the node.

Returns:

a Collection of all outgoing edges, or null if the node has no outgoing edges.

getTarget

public N getTarget(N edge)

Description copied from interface: IndefiniteGraph

Retrieves, for a given edge, its target node.

Specified by:

getTarget in interface IndefiniteGraph<N,N>

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

getNodes

public Set<N> getNodes()

Description copied from interface: SimpleGraph

Retrieves an (unmodifiable) collection of the nodes in this graph.

Specified by:

getNodes in interface SimpleGraph<N>

Returns:

the nodes in this graph

iterator

public Iterator<N> iterator()

Specified by:

iterator in interface Iterable<N>

Specified by:

iterator in interface SimpleGraph<N>

getNodeProperty

public N getNodeProperty(N node)

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given node.

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<N,N,N,Void>

Parameters:

node - the node

Returns:

the property of the specified node

getEdgeProperty

public Void getEdgeProperty(N edge)

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given edge.

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<N,N,N,Void>

Parameters:

edge - the edge

Returns:

the property of the specified edge

addNode

public N addNode(N property)

Description copied from interface: MutableGraph

Adds a new node to the graph.

Specified by:

addNode in interface MutableGraph<N,N,N,Void>

Parameters:

property - the property for the new node

Returns:

the newly inserted node

connect

public N connect(N source,
                 N target,
                 Void property)

Description copied from interface: MutableGraph

Inserts an edge in the graph.

Specified by:

connect in interface MutableGraph<N,N,N,Void>

Parameters:

source - the source node of the edge

target - the target node of the edge

property - the property of the edge

Returns:

the newly inserted edge

setNodeProperty

@Deprecated
public void setNodeProperty(N node,
                                        N property)

Deprecated.

Specified by:

setNodeProperty in interface MutableGraph<N,N,N,Void>

setEdgeProperty

public void setEdgeProperty(N edge,
                            Void property)

Specified by:

setEdgeProperty in interface MutableGraph<N,N,N,Void>

removeNode

public void removeNode(N node)

Description copied from interface: ShrinkableGraph

Removes a node from this graph. All incoming and outgoing edges are removed as well.

Specified by:

removeNode in interface ShrinkableGraph<N,N>

Parameters:

node - the node to remove.

removeNode

public void removeNode(N node,
                       N replacement)

Description copied from interface: ShrinkableGraph

Removes a node from this graph, and redirects all incoming edges to the given replacement node (node that outgoing edges are still removed). If a null replacement is specified, then this function behaves equivalently to the above ShrinkableGraph.removeNode(Object).

Specified by:

removeNode in interface ShrinkableGraph<N,N>

Parameters:

node - the node to remove

replacement - the replacement node for incoming edges

removeEdge

public void removeEdge(N node,
                       N edge)

Description copied from interface: ShrinkableGraph

Removes an outgoing edge from the given node.

Specified by:

removeEdge in interface ShrinkableGraph<N,N>

Parameters:

node - the node

edge - the edge to remove