public class IncrementalMealyTreeBuilder.GraphView extends AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>>
| Constructor and Description |
|---|
IncrementalMealyTreeBuilder.GraphView() |
| Modifier and Type | Method and Description |
|---|---|
GraphDOTHelper<net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>> |
getGraphDOTHelper() |
net.automatalib.incremental.mealy.tree.Node<I,O> |
getInitialNode() |
I |
getInputSymbol(AnnotatedEdge<I,O> edge) |
Collection<net.automatalib.incremental.mealy.tree.Node<I,O>> |
getNodes() |
Collection<AnnotatedEdge<I,O>> |
getOutgoingEdges(net.automatalib.incremental.mealy.tree.Node<I,O> node) |
O |
getOutputSymbol(AnnotatedEdge<I,O> edge) |
net.automatalib.incremental.mealy.tree.Node<I,O> |
getTarget(AnnotatedEdge<I,O> edge) |
iterator, iterator, nodeIDs, nodeIDs, size, sizecreateDynamicNodeMapping, createDynamicNodeMapping, createStaticNodeMapping, createStaticNodeMappingclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitcreateDynamicNodeMapping, createStaticNodeMappingpublic IncrementalMealyTreeBuilder.GraphView()
public Collection<net.automatalib.incremental.mealy.tree.Node<I,O>> getNodes()
public Collection<AnnotatedEdge<I,O>> getOutgoingEdges(net.automatalib.incremental.mealy.tree.Node<I,O> node)
public net.automatalib.incremental.mealy.tree.Node<I,O> getTarget(AnnotatedEdge<I,O> edge)
@Nonnull public net.automatalib.incremental.mealy.tree.Node<I,O> getInitialNode()
@Nullable public I getInputSymbol(AnnotatedEdge<I,O> edge)
@Nullable public O getOutputSymbol(AnnotatedEdge<I,O> edge)
public GraphDOTHelper<net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>> getGraphDOTHelper()
getGraphDOTHelper in interface DOTPlottableGraph<net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>>getGraphDOTHelper in class AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,net.automatalib.incremental.mealy.tree.Node<I,O>,AnnotatedEdge<I,O>>Copyright © 2014. All Rights Reserved.