net.automatalib.incremental.dfa

Class AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>

java.lang.Object

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

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

net.automatalib.incremental.dfa.AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractIncrementalDFADAGBuilder.GraphView, IncrementalDFATreeBuilder.GraphView

Enclosing class:

AbstractIncrementalDFABuilder<I>

protected abstract static class AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>
extends AbstractGraph<N,E>
implements IncrementalDFABuilder.GraphView<I,N,E>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractIncrementalDFABuilder.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.dfa.IncrementalDFABuilder.GraphView

getAcceptance, getInitialNode, getInputSymbol

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

AbstractIncrementalDFABuilder.AbstractGraphView

protected AbstractIncrementalDFABuilder.AbstractGraphView()

Method Detail

getGraphDOTHelper

public GraphDOTHelper<N,E> getGraphDOTHelper()

Specified by:

getGraphDOTHelper in interface DOTPlottableGraph<N,E>