Stronger rules for logical variables scope: constraint rule can't reference logical variable defined in another constraint rule. Logical variable definitions are localized to ConstraintRule template. Simplify/cleanup the logic of searching for available logical variables. |
||
|---|---|---|
| .. | ||
| template | ||