Module net.automatalib.modelchecker.ltsmin

Package net.automatalib.modelchecker.ltsmin.ltl

Class Summary

Class	Description
AbstractLTSminLTL<I,A,L extends Lasso<I,?>>	An LTSmin model checker for full LTL.
AbstractLTSminLTLMealy<I,O>	An LTL model checker using LTSmin for Mealy machines.
LTSminLTLAlternating<I,O>	An LTL model checker using LTSmin for Mealy machines using alternating edge semantics.
LTSminLTLAlternatingBuilder<I,O>	A builder for constructing LTSminLTLAlternating instances.
LTSminLTLDFA<I>	An LTL model checker using LTSmin for DFAs.
LTSminLTLDFABuilder<I>	A builder for constructing LTSminLTLDFA instances.
LTSminLTLIO<I,O>	An LTL model checker using LTSmin for Mealy machines using synchronous edge semantics.
LTSminLTLIOBuilder<I,O>	A builder for constructing LTSminLTLIO instances.