Uses of Interface
net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

Packages that use UniversalFiniteAlphabetAutomaton

Package	Description
net.automatalib.ts.modal

Uses of UniversalFiniteAlphabetAutomaton in net.automatalib.ts.modal

Subinterfaces of UniversalFiniteAlphabetAutomaton 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.