Uses of Interface
net.automatalib.automaton.concept.InputAlphabetHolder

Packages that use InputAlphabetHolder

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

Uses of InputAlphabetHolder in net.automatalib.automaton

Subinterfaces of InputAlphabetHolder in net.automatalib.automaton

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

Uses of InputAlphabetHolder in net.automatalib.automaton.procedural

Subinterfaces of InputAlphabetHolder in net.automatalib.automaton.procedural

Modifier and Type	Interface	Description
(package private) interface	net.automatalib.automaton.procedural.ProceduralSystem<I,M extends UniversalDeterministicAutomaton<?,I,?,?,?>>	(Meta-) Interface for procedural systems, i.e., systems that consist of multiple procedural automata that can mutually call each other.
interface	SBA<S,I>	A system of behavioral automata.
interface	SPA<S,I>	A system of procedural automata.
interface	SPMM<S,I,T,O>	A system of procedural Mealy machines.

Uses of InputAlphabetHolder in net.automatalib.automaton.vpa

Subinterfaces of InputAlphabetHolder in net.automatalib.automaton.vpa

Modifier and Type	Interface	Description
interface	OneSEVPA<L,I>	A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).
interface	SEVPA<L,I>	Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics.

Uses of InputAlphabetHolder in net.automatalib.modelchecking

Subinterfaces of InputAlphabetHolder in net.automatalib.modelchecking

Modifier and Type	Interface	Description
interface	Lasso<I,D>	A lasso is a single infinite word.
static interface	Lasso.DFALasso<I>	A DFALasso is a lasso for DFAs.
static interface	Lasso.MealyLasso<I,O>	A MealyLasso is a lasso for MealyMachines.

Uses of InputAlphabetHolder in net.automatalib.ts.modal

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