Package edu.wis.jtlv.env.core.smv.schema

TBD.

See:
Description

Class Summary

SMVAbstractElementInfo
SMVArrayVarInfo
SMVBooleanVarInfo
SMVContainerElementInfo
SMVDefineVarInfo	As the first implementation, define will add a variable just as boolean, and the initial and transition relations will guaranty its correctness.
SMVMainProcVarInfo
SMVModuleInfo
SMVParsingInfo
SMVProcVarInfo
SMVRangeVarInfo
SMVValueVarInfo
SMVVarInfo
SMVWordVarInfo
StmtValueArrayWA

Package edu.wis.jtlv.env.core.smv.schema Description

TBD.

Version:

"1.0.2"

Author:

yaniv sa'ar.