net.automatalib.incremental.dfa

Class AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>

java.lang.Object

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

All Implemented Interfaces:

Iterable<N>, Graph<N,E>, IndefiniteGraph<N,E>, IndefiniteSimpleGraph<N>, SimpleGraph<N>, 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 Object
implements IncrementalDFABuilder.GraphView<I,N,E>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractGraphView()

Method Summary

Modifier and Type	Method and Description
VisualizationHelper<N,E>	getVisualizationHelper()

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

asNormalGraph

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, getOutgoingEdges, getTarget, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.SimpleGraph

getNodes, iterator, nodeIDs, nodesStream, size

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

AbstractGraphView

protected AbstractGraphView()

Method Detail

getVisualizationHelper

public VisualizationHelper<N,E> getVisualizationHelper()

Specified by:

getVisualizationHelper in interface Graph<N,E>

Specified by:

getVisualizationHelper in interface SimpleGraph<N>