View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Constrained Elements

---

encapsulated
Constraint Integrity_check_algorithm_validity

General Info
Name	Integrity_check_algorithm_validity
Expression	inv: integrity_check_algorithm <> Void implies code_set('integrity_check algorithm').has(integrity_check_algorithm)
Base Classes	Class

Constrained Elements
Name	Type
DV_MULTIMEDIA	Class