NullOptionRef (Reference to
DesignContainer
)
Inheritance
Ancestors
ImpliesEnd
NullOptionRef
Remarks
This is a refence to any design entity and is used for specifying implies constraints.
Aspects
DesignSpaceAspect:
DesignContainer
Containment
Parents:
And_Or
,
CWC
,
VisualConstraint
Formal Specification
Structural Semantics:
CyPhyML.4ml
Ancestors