ImpliesEnd (FCO) - Abstract

Inheritance

Descendants

Remarks

This is the abstract base class of the association end of an implies connection. The types of ends are AND, OR, and Design entity reference. This allows for easier (visual as opposed to textual) specification of implies constraints.

Aspects
Containment
Formal Specification