View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Operations | Constraints

---

Parent Package: constraint_model
Class C_DOMAIN_TYPE{Abstract}

C_DEFINED_OBJECT
   |
   +--C_DOMAIN_TYPE

Direct Subclassifiers:
       C_DV_STATE, C_DV_ORDINAL, C_DV_QUANTITY, C_CODE_PHRASE
Abstract parent type of domain-specific constrainer types, to be defined in external packages.

Operations
Signature	Constraints	Documentation
standard_equivalent() : C_COMPLEX_OBJECT		Standard form of constraint

Constraints
Name	Expression
Assumed_value_valid	inv: has_assumed_value implies valid_value(assumed_value)