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:

AbstractCompactBidiGraph, AbstractCompactGraph, CompactBidiGraph, CompactGraph, CompactPMPG, CompactSimpleBidiGraph, CompactSimpleGraph, 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).
default E	connect(int source, int target)	Int-abstracted version of MutableGraph.connect(Object, Object).
E	connect(int source, int target, @Nullable 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, @Nullable 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 Detail

addIntNode

default int addIntNode()

Int-abstracted version of MutableGraph.addNode().

addIntNode

int addIntNode(@Nullable NP property)

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

connect

default E connect(int source,
                  int target)

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

connect

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

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

setNodeProperty

void setNodeProperty(int node,
                     @Nullable NP property)

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

setEdgeProperty

void setEdgeProperty(E edge,
                     EP property)

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