MutableGraph.IntAbstraction (AutomataLib :: API 0.11.0 API)

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>

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

All Methods Instance Methods Abstract Methods Default Methods
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).