NullOptionRef (Reference to DesignContainer)

Inheritance

Ancestors

Remarks

This is a refence to any design entity and is used for specifying implies constraints.

Aspects
Containment
Formal Specification