Ref_CheckAtomRefinement()
Ref_CheckImplCompatibility()
check implementation compatibility between spec and impl
Ref_CheckNohiddenRefinement()
Check if implModule is a refinement of specModule with the assumption that all history dependent variables of specModule are also present in implModule
Ref_CheckSimulationUsingPre()
Check if specModule is a simulates of implModule
Ref_End()
End function
Ref_Init()
Init function for tcl.
Ref_IsMemberOfAtomList()
test for membership in list of atoms
Ref_IsMemberOfNameList()
test for membership in list of names
Ref_LookupVarList()
Lookup variable by name from a list of variables
Ref_Reinit()
Reinit function
Ref_VariableReadControlAtom()
Ref_VariableReadControlAtom

Last updated on 980624 22h11