Selects an operator when its guard is true and records its intended target relation. Higher priority controls deterministic selection among admissible transitions.
Optional
Selects an operator when its guard is true and records its intended target relation. Higher priority controls deterministic selection among admissible transitions.