Package net.automatalib.graph
Interface MutableGraph.IntAbstraction<E,NP,EP>
-
- Type Parameters:
E
- edge typeNP
- node property typeEP
- 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 fornode integer abstractions
of aMutableGraph
.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default int
addIntNode()
Int-abstracted version ofMutableGraph.addNode()
.int
addIntNode(@Nullable NP property)
Int-abstracted version ofMutableGraph.addNode(Object)
.default E
connect(int source, int target)
Int-abstracted version ofMutableGraph.connect(Object, Object)
.E
connect(int source, int target, @Nullable EP property)
Int-abstracted version ofMutableGraph.connect(Object, Object, Object)
.void
setEdgeProperty(E edge, EP property)
Int-abstracted version ofMutableGraph.setEdgeProperty(Object, Object)
.void
setNodeProperty(int node, @Nullable NP property)
Int-abstracted version ofMutableGraph.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 ofMutableGraph.addNode()
.
-
addIntNode
int addIntNode(@Nullable NP property)
Int-abstracted version ofMutableGraph.addNode(Object)
.
-
connect
default E connect(int source, int target)
Int-abstracted version ofMutableGraph.connect(Object, Object)
.
-
connect
E connect(int source, int target, @Nullable EP property)
Int-abstracted version ofMutableGraph.connect(Object, Object, Object)
.
-
setNodeProperty
void setNodeProperty(int node, @Nullable NP property)
Int-abstracted version ofMutableGraph.setNodeProperty(Object, Object)
.
-
setEdgeProperty
void setEdgeProperty(E edge, EP property)
Int-abstracted version ofMutableGraph.setEdgeProperty(Object, Object)
.
-
-