Uses of Class
org.intocps.fmichecker.Orch.Type

Packages that use Orch.Type

Package	Description
org.intocps.fmichecker

Uses of Orch.Type in org.intocps.fmichecker

Fields in org.intocps.fmichecker declared as Orch.Type

Modifier and Type	Field	Description
Orch.Type	Orch.SV_X_.type
Orch.Type	Orch.SV.type

Methods in org.intocps.fmichecker that return Orch.Type

Modifier and Type	Method	Description
Orch.Type	Orch.Type.copy()

Methods in org.intocps.fmichecker with parameters of type Orch.Type

Modifier and Type	Method	Description
static org.overture.codegen.runtime.Tuple	Orch.StartValueOk(java.lang.Object c, java.lang.Object v, java.lang.Object i, Orch.Type t)
static org.overture.codegen.runtime.Tuple	Orch.TypeOk(Orch.Type ty)
static org.overture.codegen.runtime.Tuple	Orch.TypeVariability(java.lang.Object v, Orch.Type t)
static java.lang.Boolean	Orch.ValidStart(java.lang.Object c, java.lang.Object v, java.lang.Object i, Orch.Type t)

Constructors in org.intocps.fmichecker with parameters of type Orch.Type

Constructor	Description
SV(java.lang.Object _causality, java.lang.Object _variability, java.lang.Object _initial, Orch.Type _type)
SV_X_(java.lang.Object _causality, java.lang.Object _variability, java.lang.Object _initial, Orch.Type _type)