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

---

encapsulated
Constraint Size_positive

General Info
Name	Size_positive
Expression	inv: size >=0
Base Classes	Class

Constrained Elements
Name	Type
DV_ENCAPSULATED	Class