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> 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>