transitionRules

The global→local transition rules. Cannot be changed while the solver is running.