- Type Parameters:
E- edge type
- All Superinterfaces:
FiniteRepresentation,SimpleGraph.IntAbstraction
- All Known Subinterfaces:
BidirectionalGraph.IntAbstraction<E>,MutableGraph.IntAbstraction<E,,NP, EP> UniversalGraph.IntAbstraction<E,NP, EP>
- All Known Implementing Classes:
AbstractCompactGraph,AbstractCompactUniversalBidiGraph,AbstractCompactUniversalGraph,CompactGraph,CompactPMPG,CompactSimpleBidiGraph,CompactSimpleGraph,CompactUniversalBidiGraph,CompactUniversalGraph,WitnessTree
Interface for
node integer abstractions of a Graph.-
Method Summary
Modifier and TypeMethodDescriptiondefault Collection<E>getEdgesBetween(int from, int to) (Finite) int-abstracted version ofIndefiniteGraph.getEdgesBetween(Object, Object).intgetIntTarget(E edge) Int-abstracted version ofIndefiniteGraph.getTarget(Object).getOutgoingEdges(int node) Int-abstracted version ofGraph.getOutgoingEdges(Object).getOutgoingEdgesIterator(int node) Int-abstracted version ofGraph.getOutgoingEdgesIterator(Object).default booleanisConnected(int source, int target) Int-abstracted version ofIndefiniteSimpleGraph.isConnected(Object, Object).Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation
size
-
Method Details
-
getOutgoingEdges
Int-abstracted version ofGraph.getOutgoingEdges(Object).- Parameters:
node- the (int-abstracted) node identifier- Returns:
- a collection containing the outgoing edges
-
getIntTarget
Int-abstracted version ofIndefiniteGraph.getTarget(Object).- Parameters:
edge- the edge- Returns:
- the target node of the given edge.
-
getOutgoingEdgesIterator
Int-abstracted version ofGraph.getOutgoingEdgesIterator(Object).- Parameters:
node- the (int-abstracted) node identifier- Returns:
- an iterator over the outgoing edges
-
getEdgesBetween
(Finite) int-abstracted version ofIndefiniteGraph.getEdgesBetween(Object, Object).- Parameters:
from- the (int-abstracted) source node identifierto- the (int-abstracted) target node identifier- Returns:
- an iterator over the edges between the two nodes
-
isConnected
default boolean isConnected(int source, int target) Int-abstracted version ofIndefiniteSimpleGraph.isConnected(Object, Object).- Specified by:
isConnectedin interfaceSimpleGraph.IntAbstraction- Parameters:
source- the (int-abstracted) source node identifiertarget- the (int-abstracted) target node identifier- Returns:
trueif the nodes are connect,falseotherwise
-