Behavior Signatures
Configurations provide the signature, or set of actions, that determine how machine behavior is interpreted. Moreover, all other aspects of the machine configuration are used when the machine is selected in an exploration project.
A Cord behavior has a context signature and an offered signature.
The context signature is the set of all allowed actions for the behavior and is provided by the configurations on which the machine is based.
The offered signature of a behavior depends on how the behavior is constructed. The description of each Cord behavior operator includes an explanation of how to compute the offered signature for behaviors built with the operator.
For example, in tight sequencing behavior, the offered signature is the union of the offered signatures of the operands; however, in loose sequencing behavior, the offered signature is equal to the context signature.
For more information, see Machine and each behavior topic within the Machine section.
See Also
Reference
Concepts
Spec Explorer Concepts
Cord Syntax Definition