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

---

Parent Package: constraint_model
Class C_COMPLEX_OBJECT

C_DEFINED_OBJECT
   |
   +--C_COMPLEX_OBJECT
Constraint on complex objects, i.e. any object that consists of other object constraints.

Attributes from Associations
	Signature	Optionality	Multiplicity	Documentation
	attributes : Set<C_ATTRIBUTE>	0..1	*	List of constraints on attributes of the reference model type represented by this object.
	invariants : Set<ASSERTION>	0..1	0..*	Invariant statements about this object. Statements are expressed in first order predicate logic, and usually refer to at least two attributes.

Constraints
Name	Expression
attributes_valid	inv: any_allowed xor (attributes <> Void and not attributes.is_empty)