A PortTraits,
SignalTraits
type SPT is a
SignalPortTraits
if it specifies the signature of the underlying signal.
Refinement of
Notation
The following expressions are used in this document:
- SPT
-
A
SignalTraitstype.
Requirements
The following requrements are only those that are in addition to or different than those of the refined concepts listed above:
|
Name |
Expression |
Result Type |
Semantics |
|---|---|---|---|
|
Signature |
|
|
Signature of the underlying |