net.automatalib.graphs

Interface ShrinkableGraph<N,E>

Type Parameters:

N - node class

E - edge class

All Superinterfaces:

Graph<N,E>, IndefiniteGraph<N,E>, IndefiniteSimpleGraph<N>, Iterable<N>, SimpleGraph<N>

@ParametersAreNonnullByDefault
public interface ShrinkableGraph<N,E>
extends Graph<N,E>

A graph that supports (desirably efficient) removal of nodes and edges.

Author:

Malte Isberner

Nested Class Summary

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

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

Method Summary

Modifier and Type	Method and Description
void	removeEdge(N node, E 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).

Methods inherited from interface net.automatalib.graphs.Graph

asNormalGraph, getVisualizationHelper

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, getOutgoingEdges, getTarget, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.SimpleGraph

getNodes, iterator, nodeIDs, nodesStream, size

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

removeNode

void removeNode(N node)

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

Parameters:

node - the node to remove.

removeNode

void removeNode(N node,
                @Nullable
                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). If a null replacement is specified, then this function behaves equivalently to the above removeNode(Object).

Parameters:

node - the node to remove

replacement - the replacement node for incoming edges

removeEdge

void removeEdge(N node,
                E edge)

Removes an outgoing edge from the given node.

Parameters:

node - the node

edge - the edge to remove