net.automatalib.automata.dot

Interface DOTPlottableAutomaton<S,I,T>

All Superinterfaces:

Automaton<S,I,T>, InputAlphabetHolder<I>, Iterable<S>, SimpleAutomaton<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>

All Known Implementing Classes:

AbstractMutableDFA, AbstractMutableNFA, CompactDFA, CompactMealy, FastMealy, FastNFA

public interface DOTPlottableAutomaton<S,I,T>
extends Automaton<S,I,T>, InputAlphabetHolder<I>

Method Summary

Methods

Modifier and Type	Method and Description
GraphDOTHelper<S,TransitionEdge<I,T>>	getDOTHelper()

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.automata.concepts.InputAlphabetHolder

getInputAlphabet

Method Detail

getDOTHelper

GraphDOTHelper<S,TransitionEdge<I,T>> getDOTHelper()