Uses of Interface
net.automatalib.modelchecker.ltsmin.LTSmin

Packages that use LTSmin

Package	Description
net.automatalib.modelchecker.ltsmin	This package (and sub-packages) provides the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer and Jaco van de Pol.
net.automatalib.modelchecker.ltsmin.ltl
net.automatalib.modelchecker.ltsmin.monitor

Uses of LTSmin in net.automatalib.modelchecker.ltsmin

Subinterfaces of LTSmin in net.automatalib.modelchecker.ltsmin

Modifier and Type	Interface	Description
interface	LTSminAlternating<I,O,R>	A model checker using LTSmin for Mealy machines using alternating edge semantics.
interface	LTSminDFA<I,R>	A model checker using LTSmin for DFAs.
interface	LTSminIO<I,O,R>	A model checker using LTSmin for Mealy machines using synchronous edge semantics.
interface	LTSminMealy<I,O,R>	A feature of this ModelChecker, is that one can remove particular output symbols from the given MealyMachine hypothesis.

Classes in net.automatalib.modelchecker.ltsmin that implement LTSmin

Modifier and Type	Class	Description
class	AbstractLTSmin<I,A,R>	An LTL model checker using LTSmin.

Uses of LTSmin in net.automatalib.modelchecker.ltsmin.ltl

Classes in net.automatalib.modelchecker.ltsmin.ltl that implement LTSmin

Modifier and Type	Class	Description
class	AbstractLTSminLTL<I,A,L extends Lasso<I,?>>	An LTSmin model checker for full LTL.
class	AbstractLTSminLTLMealy<I,O>	An LTL model checker using LTSmin for Mealy machines.
class	LTSminLTLAlternating<I,O>	An LTL model checker using LTSmin for Mealy machines using alternating edge semantics.
class	LTSminLTLDFA<I>	An LTL model checker using LTSmin for DFAs.
class	LTSminLTLIO<I,O>	An LTL model checker using LTSmin for Mealy machines using synchronous edge semantics.

Uses of LTSmin in net.automatalib.modelchecker.ltsmin.monitor

Classes in net.automatalib.modelchecker.ltsmin.monitor that implement LTSmin

Modifier and Type	Class	Description
class	AbstractLTSminMonitor<I,A,R>	An LTSmin model checker for monitors.
class	AbstractLTSminMonitorMealy<I,O>	A monitor model checker using LTSmin for Mealy machines.
class	LTSminMonitorAlternating<I,O>	A monitor model checker using LTSmin for Mealy machines using alternating edge semantics.
class	LTSminMonitorDFA<I>	A monitor model checker using LTSmin for DFAs.
class	LTSminMonitorIO<I,O>	A monitor model checker using LTSmin for Mealy machines using synchronous edge semantics.