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