Package de.learnlib.algorithm.ttt.base
Class AbstractTTTHypothesis.GraphView
- java.lang.Object
-
- de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis.GraphView
-
- All Implemented Interfaces:
Iterable<TTTState<I,D>>
,FiniteRepresentation
,Graph<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>>
,IndefiniteGraph<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>>
,IndefiniteSimpleGraph<TTTState<I,D>>
,SimpleGraph<TTTState<I,D>>
public class AbstractTTTHypothesis.GraphView extends Object implements Graph<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>>
-
-
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 Collection<TTTState<I,D>>
getNodes()
Collection<AbstractTTTHypothesis.TTTEdge<I,D>>
getOutgoingEdges(TTTState<I,D> node)
TTTState<I,D>
getTarget(AbstractTTTHypothesis.TTTEdge<I,D> edge)
VisualizationHelper<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>>
getVisualizationHelper()
-
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, nodeIDs, size
-
-
-
-
Method Detail
-
getNodes
public Collection<TTTState<I,D>> getNodes()
- Specified by:
getNodes
in interfaceSimpleGraph<TTTState<I,D>>
-
getOutgoingEdges
public Collection<AbstractTTTHypothesis.TTTEdge<I,D>> getOutgoingEdges(TTTState<I,D> node)
- Specified by:
getOutgoingEdges
in interfaceGraph<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>>
-
getTarget
public TTTState<I,D> getTarget(AbstractTTTHypothesis.TTTEdge<I,D> edge)
- Specified by:
getTarget
in interfaceIndefiniteGraph<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>>
-
getVisualizationHelper
public VisualizationHelper<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>> getVisualizationHelper()
- Specified by:
getVisualizationHelper
in interfaceGraph<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>>
- Specified by:
getVisualizationHelper
in interfaceSimpleGraph<TTTState<I,D>>
-
-