Serialized Form

Package org.intocps.fmichecker

Class org.intocps.fmichecker.Orch.SV

class 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_

class 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

class Type extends Object implements Serializable

Serialized Fields

startValue

Object startValue

type

Object type

Package org.intocps.maestro.modeldefinitionchecker

Exception Class org.intocps.maestro.modeldefinitionchecker.VdmSvChecker.ScalarVariableConfigException

class ScalarVariableConfigException extends Exception implements Serializable

serialVersionUID:

1L