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

composition
Constraint Is_persistent_validity

General Info
NameIs_persistent_validity
Expressioninv: is_persistent implies context = Void 
Base Classes  Class

Constrained Elements
NameType
COMPOSITIONClass