net.automatalib.graphs.dot

Interface DOTPlottableGraph<N,E>

All Superinterfaces:

Graph<N,E>, IndefiniteGraph<N,E>, Iterable<N>

All Known Implementing Classes:

AbstractCompactSimpleDet, CompactDFA, UniversalCompactSimpleDet

public interface DOTPlottableGraph<N,E>
extends Graph<N,E>

Method Summary

Methods

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

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

Method Detail

getGraphDOTHelper

GraphDOTHelper<N,E> getGraphDOTHelper()