Class OPLearnerHypothesis.GraphView
- java.lang.Object
-
- de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView
-
- All Implemented Interfaces:
Iterable<HState<I,O,SP,TP>>
,FiniteRepresentation
,NodeIDs<HState<I,O,SP,TP>>
,Graph<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>>
,IndefiniteGraph<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>>
,IndefiniteSimpleGraph<HState<I,O,SP,TP>>
,SimpleGraph<HState<I,O,SP,TP>>
- Enclosing class:
- OPLearnerHypothesis<I,O,SP,TP>
public class OPLearnerHypothesis.GraphView extends Object implements Graph<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>>, NodeIDs<HState<I,O,SP,TP>>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.graph.Graph
Graph.IntAbstraction<E extends Object>
-
-
Constructor Summary
Constructors Constructor Description GraphView()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description HState<I,O,SP,TP>
getNode(int id)
int
getNodeId(HState<I,O,SP,TP> node)
Collection<HState<I,O,SP,TP>>
getNodes()
Collection<HTransition<I,O,SP,TP>>
getOutgoingEdges(HState<I,O,SP,TP> node)
HState<I,O,SP,TP>
getTarget(HTransition<I,O,SP,TP> edge)
VisualizationHelper<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>>
getVisualizationHelper()
NodeIDs<HState<I,O,SP,TP>>
nodeIDs()
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.graph.Graph
getAdjacentNodes, getOutgoingEdgesIterator
-
Methods inherited from interface net.automatalib.graph.IndefiniteGraph
getAdjacentNodesIterator, getEdgesBetween
-
Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph
createDynamicNodeMapping, createStaticNodeMapping, isConnected
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.graph.SimpleGraph
iterator, size
-
-
-
-
Method Detail
-
getOutgoingEdges
public Collection<HTransition<I,O,SP,TP>> getOutgoingEdges(HState<I,O,SP,TP> node)
-
getVisualizationHelper
public VisualizationHelper<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>> getVisualizationHelper()
- Specified by:
getVisualizationHelper
in interfaceGraph<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>>
- Specified by:
getVisualizationHelper
in interfaceSimpleGraph<HState<I,O,SP,TP>>
-
-