public class DTLearnerHypothesis.GraphView extends Object implements net.automatalib.graphs.Graph<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>>, net.automatalib.graphs.concepts.NodeIDs<HState<I,O,SP,TP>>
Constructor and Description |
---|
GraphView() |
Modifier and Type | Method and 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) |
net.automatalib.visualization.VisualizationHelper<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>> |
getVisualizationHelper() |
net.automatalib.graphs.concepts.NodeIDs<HState<I,O,SP,TP>> |
nodeIDs() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
forEach, spliterator
Copyright © 2018. All rights reserved.