29.4 Candidate Executions
A candidate execution of the evaluation of an
Field Name | Value | Meaning |
---|---|---|
[[EventsRecords]] | A |
Maps an |
[[ChosenValues]] | A |
Maps |
[[AgentOrder]] | An |
Defined below. |
[[ReadsBytesFrom]] | A |
Defined below. |
[[ReadsFrom]] | A |
Defined below. |
[[HostSynchronizesWith]] | A |
Defined below. |
[[SynchronizesWith]] | A |
Defined below. |
[[HappensBefore]] | A |
Defined below. |
An empty candidate execution is a candidate execution