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

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