Uses of Class org.intocps.fmichecker.Orch.SV_X_ (A VDM model checker for Model Definition 3.0.0 API)

Packages that use Orch.SV_X_
Package Description

org.intocps.fmichecker
- Uses of Orch.SV_X_ in org.intocps.fmichecker
  
  Methods in org.intocps.fmichecker that return Orch.SV_X_
  Modifier and Type Method Description
  
  Orch.SV_X_ Orch.SV_X_.copy()
  
  static Orch.SV_X_ Orch.InitSV(Orch.SV sv)
  
  Methods in org.intocps.fmichecker with parameters of type Orch.SV_X_
  Modifier and Type Method Description
  
  static org.overture.codegen.runtime.Tuple Orch.Validate(Orch.SV_X_ sv_X_)