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

S

saveBDD(String, BDD) - Static method in class edu.wis.jtlv.env.Env
Save a BDD to the file system.
setFullPrintingMode(boolean) - Method in class edu.wis.jtlv.env.module.SMVModule
Set the print mode for the toString procedure.
SMVModule - Class in edu.wis.jtlv.env.module
An object which represent an SMV module.
SMVModule(SMVModuleInfo, String) - Constructor for class edu.wis.jtlv.env.module.SMVModule
An object representing SMV modules.
SMVModule(SMVModuleInfo, String, String[], String[]) - Constructor for class edu.wis.jtlv.env.module.SMVModule
An object representing SMV modules.
SMVModule.SyncStatus - Enum in edu.wis.jtlv.env.module
Enum class to distinguish between synchronous and asynchronous sub module composition.
stringer - Static variable in class edu.wis.jtlv.env.Env
An object responsible for associating BDD variables to their names.
strongEquals(Object) - Method in class edu.wis.jtlv.env.module.ModuleEntity
Check whether this object is completely identical to the give object.
succ(BDD) - Method in class edu.wis.jtlv.env.module.Module
This procedure return all states which the module can reach in a single step from given a set of state.
support() - Method in class edu.wis.jtlv.env.module.ModuleBDDField
Get the set of BDD variables which construct the domain for this field.
sysWinningStates() - Method in class edu.wis.jtlv.lib.games.GRGame
Getter for the environment's winning states.

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