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.