net.automatalib.automata

Interface FiniteAlphabetAutomaton<S,I,T>

All Superinterfaces:

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

All Known Subinterfaces:

UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>

public interface FiniteAlphabetAutomaton<S,I,T>
extends Automaton<S,I,T>, InputAlphabetHolder<I>, GraphViewable

Method Summary

Modifier and Type	Method and Description
default Graph<?,?>	graphView()
default Graph<S,TransitionEdge<I,T>>	transitionGraphView()

Methods inherited from interface net.automatalib.automata.Automaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getSuccessors, getTransitions, powersetView

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

createStaticStateMapping, getStates, iterator, size, stateIDs

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

createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

getInputAlphabet

Method Detail

graphView

default Graph<?,?> graphView()

Specified by:

graphView in interface GraphViewable

transitionGraphView

default Graph<S,TransitionEdge<I,T>> transitionGraphView()