Package edu.wis.jtlv.env.module

Package dedicated to the user's modules interface.

See:
Description

Class Summary

FDSModule	An object which represent an FDS module.
Module	A general interface for modules.
ModuleBDDDefine	This object represents a define declaration field.
ModuleBDDField	JTLVBDDField is an object representing a field variable in JTLV environment.
ModuleEntity	A common interface from a module BDD entity.
ModuleParamHolder	An object representing a parameter to a module.
ModuleWithStrongFairness	A general interface for module with strong fairness (compassion). I.e.
ModuleWithWeakFairness	A general interface for module with weak fairness (justice). I.e.
SMVModule	An object which represent an SMV module.

Enum Summary

SMVModule.SyncStatus

Enum class to distinguish between synchronous and asynchronous sub module composition.

Exception Summary

ModuleException	An exception caused by wrong manipulation to a Module.
ModuleVariableException	An exception caused by wrong variable naming in a Module.

Package edu.wis.jtlv.env.module Description

Package dedicated to the user's modules interface.

Version:

"1.3.2"

Author:

yaniv sa'ar.