Package net.automatalib.graph
Interface UniversalGraph.IntAbstraction<E,NP,EP>
-
- Type Parameters:
E
- edge typeNP
- node property typeEP
- edge property type
- All Superinterfaces:
FiniteRepresentation
,Graph.IntAbstraction<E>
,SimpleGraph.IntAbstraction
- All Known Subinterfaces:
MutableGraph.IntAbstraction<E,NP,EP>
- All Known Implementing Classes:
AbstractCompactBidiGraph
,AbstractCompactGraph
,CompactBidiGraph
,CompactGraph
,CompactPMPG
,CompactSimpleBidiGraph
,CompactSimpleGraph
,WitnessTree
- Enclosing interface:
- UniversalGraph<N,E,NP,EP>
public static interface UniversalGraph.IntAbstraction<E,NP,EP> extends Graph.IntAbstraction<E>
Interface fornode integer abstractions
of aUniversalGraph
.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description EP
getEdgeProperty(E edge)
Int-abstracted version ofUniversalIndefiniteGraph.getEdgeProperty(Object)
.NP
getNodeProperty(int node)
Int-abstracted version ofUniversalIndefiniteGraph.getNodeProperty(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
-
-
-
-
Method Detail
-
getNodeProperty
NP getNodeProperty(int node)
Int-abstracted version ofUniversalIndefiniteGraph.getNodeProperty(Object)
.
-
getEdgeProperty
EP getEdgeProperty(E edge)
Int-abstracted version ofUniversalIndefiniteGraph.getEdgeProperty(Object)
.
-
-