A B C D E F G H I J L M N O P Q R S T U V W Y _

L

loadBDD(String) - Static method in class edu.wis.jtlv.env.Env

Load a BDD from the file system.

loadModule(String) - Static method in class edu.wis.jtlv.env.Env

The main procedure for loading a given file into the system.

loadSpecFile(String) - Static method in class edu.wis.jtlv.env.Env

Load any kind of specification from a file.

loadSpecInputStream(InputStream) - Static method in class edu.wis.jtlv.env.Env

Load any kind of specification from a given input stream.

loadSpecString(String) - Static method in class edu.wis.jtlv.env.Env

Load any kind of specification from a string.

ltlCheck() - Static method in class ModelCheckingTest

LTLModelChecker - Class in edu.wis.jtlv.lib.mc

A wrapper to a SMVModule which knows how to check LTL properties for the given module.

LTLModelChecker(SMVModule) - Constructor for class edu.wis.jtlv.lib.mc.LTLModelChecker

LTLModelChecker(SMVModule, boolean) - Constructor for class edu.wis.jtlv.lib.mc.LTLModelChecker

LTLModelChecker.LTLTesterBuilder - Class in edu.wis.jtlv.lib.mc

LTLModelChecker.LTLTesterBuilder(Spec, boolean) - Constructor for class edu.wis.jtlv.lib.mc.LTLModelChecker.LTLTesterBuilder