net.automatalib.incremental.mealy

Class AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>

java.lang.Object

net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph<N,E>

net.automatalib.graphs.abstractimpl.AbstractGraph<N,E>

net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>

All Implemented Interfaces:

Iterable<N>, DOTPlottableGraph<N,E>, Graph<N,E>, IndefiniteGraph<N,E>, IncrementalMealyBuilder.GraphView<I,O,N,E>

Direct Known Subclasses:

IncrementalMealyDAGBuilder.GraphView, IncrementalMealyTreeBuilder.GraphView

Enclosing class:

AbstractIncrementalMealyBuilder<I,O>

public abstract static class AbstractIncrementalMealyBuilder.AbstractGraphView<I,O,N,E>
extends AbstractGraph<N,E>
implements IncrementalMealyBuilder.GraphView<I,O,N,E>

Constructor Summary

Constructors

Constructor and Description
AbstractIncrementalMealyBuilder.AbstractGraphView()

Method Summary

Methods

Modifier and Type	Method and Description
GraphDOTHelper<N,E>	getGraphDOTHelper()

Methods inherited from class net.automatalib.graphs.abstractimpl.AbstractGraph

iterator, iterator, nodeIDs, nodeIDs, size, size

Methods inherited from class net.automatalib.graphs.abstractimpl.AbstractIndefiniteGraph

createDynamicNodeMapping, createDynamicNodeMapping, createStaticNodeMapping, createStaticNodeMapping

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.incremental.mealy.IncrementalMealyBuilder.GraphView

getInitialNode, getInputSymbol, getOutputSymbol

Methods inherited from interface net.automatalib.graphs.Graph

getNodes, nodeIDs, size

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget

Methods inherited from interface java.lang.Iterable

iterator

Constructor Detail

AbstractIncrementalMealyBuilder.AbstractGraphView

public AbstractIncrementalMealyBuilder.AbstractGraphView()

Method Detail

getGraphDOTHelper

public GraphDOTHelper<N,E> getGraphDOTHelper()

Specified by:

getGraphDOTHelper in interface DOTPlottableGraph<N,E>