Module net.automatalib.api

Package net.automatalib.graph

Interface MutableGraph.IntAbstraction<E,NP,EP>

Type Parameters:

E - edge type

NP - node property type

EP - edge property type

All Superinterfaces:

FiniteRepresentation, Graph.IntAbstraction<E>, SimpleGraph.IntAbstraction, UniversalGraph.IntAbstraction<E,NP,EP>

All Known Implementing Classes:

AbstractCompactGraph, AbstractCompactUniversalBidiGraph, AbstractCompactUniversalGraph, CompactGraph, CompactPMPG, CompactSimpleBidiGraph, CompactSimpleGraph, CompactUniversalBidiGraph, CompactUniversalGraph, WitnessTree

Enclosing interface:

MutableGraph<N,E,NP,EP>

public static interface MutableGraph.IntAbstraction<E,NP,EP>
extends UniversalGraph.IntAbstraction<E,NP,EP>

Interface for node integer abstractions of a MutableGraph.

Method Summary

Modifier and Type	Method	Description
default int	addIntNode()	Int-abstracted version of MutableGraph.addNode().
int	addIntNode(@Nullable NP property)	Int-abstracted version of MutableGraph.addNode(Object).
E	connect(int source, int target, EP property)	Int-abstracted version of MutableGraph.connect(Object, Object, Object).
void	setEdgeProperty(E edge, EP property)	Int-abstracted version of MutableGraph.setEdgeProperty(Object, Object).
void	setNodeProperty(int node, NP property)	Int-abstracted version of MutableGraph.setNodeProperty(Object, Object).

Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation

size

Methods inherited from interface net.automatalib.graph.Graph.IntAbstraction

getEdgesBetween, getIntTarget, getOutgoingEdges, getOutgoingEdgesIterator, isConnected

Methods inherited from interface net.automatalib.graph.UniversalGraph.IntAbstraction

getEdgeProperty, getNodeProperty

Method Details

addIntNode

default int addIntNode()

Int-abstracted version of MutableGraph.addNode().

Returns:

the (int-abstracted) id of the newly inserted node

addIntNode

int addIntNode(@Nullable NP property)

Int-abstracted version of MutableGraph.addNode(Object).

Parameters:

property - the property of the new node

Returns:

the (int-abstracted) id of the newly inserted node

connect

E connect(int source,
 int target,
 EP property)

Int-abstracted version of MutableGraph.connect(Object, Object, Object).

Parameters:

source - the (int-abstracted) id of the source node

target - the (int-abstracted) id of the target node

property - the property of the edge

Returns:

the newly created edge

setNodeProperty

void setNodeProperty(int node,
 NP property)

Int-abstracted version of MutableGraph.setNodeProperty(Object, Object).

Parameters:

node - the (int-abstracted) id of the node

property - the property of the node

setEdgeProperty

void setEdgeProperty(E edge,
 EP property)

Int-abstracted version of MutableGraph.setEdgeProperty(Object, Object).

Parameters:

edge - the edge

property - the property of the edge