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

---

identification
Constraint Trunk_version_valid

General Info
Name	Trunk_version_valid
Expression	inv: trunk_version <> Void and trunk_version.is_integer and trunk_version.as_integer >= 1
Base Classes	Class

Constrained Elements
Name	Type
VERSION_TREE_ID	Class