Uses of Interface
net.automatalib.automaton.FiniteAlphabetAutomaton

Packages that use FiniteAlphabetAutomaton

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.ts.modal

Uses of FiniteAlphabetAutomaton in net.automatalib.automaton

Subinterfaces of FiniteAlphabetAutomaton in net.automatalib.automaton

Modifier and Type	Interface	Description
interface	UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>

Uses of FiniteAlphabetAutomaton in net.automatalib.ts.modal

Subinterfaces of FiniteAlphabetAutomaton in net.automatalib.ts.modal

Modifier and Type	Interface	Description
interface	ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty>	A modal transition system is a UniversalAutomaton in which transitions can be marked as may or must edges.
interface	MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty>	A mutable version of ModalTransitionSystem that allows to add states and transitions.