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

Packages that use LTSmin

Package	Description
net.automatalib.modelcheckers.ltsmin
net.automatalib.modelcheckers.ltsmin.ltl
net.automatalib.modelcheckers.ltsmin.monitor

Uses of LTSmin in net.automatalib.modelcheckers.ltsmin

Subinterfaces of LTSmin in net.automatalib.modelcheckers.ltsmin

Modifier and Type	Interface and 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> An 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 a given MealyMachine hypothesis.

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

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

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

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

Modifier and Type	Class and 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.modelcheckers.ltsmin.monitor

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

Modifier and Type	Class and Description
class	AbstractLTSminMonitor<I,A,R> An LTSmin model checker for monitors.
class	AbstractLTSminMonitorMealy<I,O> An 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.