Package net.automatalib.modelcheckers.ltsmin.ltl

Class Summary

Class	Description
AbstractLTSminLTL<I,A,L extends Lasso<I,?>>	An LTSmin model checker for full LTL.
AbstractLTSminLTL.BuilderDefaults
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>
LTSminLTLDFA<I>	An LTL model checker using LTSmin for DFAs.
LTSminLTLDFABuilder<I>
LTSminLTLIO<I,O>	An LTL model checker using LTSmin for Mealy machines using synchronous edge semantics.
LTSminLTLIOBuilder<I,O>