Serialized Form (A VDM model checker for Model Definition 2.1.5 API)

Package org.intocps.fmichecker
- Class org.intocps.fmichecker.Orch.SV extends java.lang.Object implements Serializable
  - Serialized Fields
    - causality
      
      java.lang.Object causality
    - initial
      
      java.lang.Object initial
    - type
      
      Orch.Type type
    - variability
      
      java.lang.Object variability
- Class org.intocps.fmichecker.Orch.SV_X_ extends java.lang.Object implements Serializable
  - Serialized Fields
    - causality
      
      java.lang.Object causality
    - initial
      
      java.lang.Object initial
    - type
      
      Orch.Type type
    - variability
      
      java.lang.Object variability
- Class org.intocps.fmichecker.Orch.Type extends java.lang.Object implements Serializable
  - Serialized Fields
    - startValue
      
      java.lang.Object startValue
    - type
      
      java.lang.Object type
Package org.intocps.maestro.modeldefinitionchecker
- Class org.intocps.maestro.modeldefinitionchecker.VdmSvChecker.ScalarVariableConfigException extends java.lang.Exception implements Serializable
  
  serialVersionUID:
  
  1L