| Constraints[expr1→ expr2, ...] defines constraints for the current Domain as sequence of rules |
| Constraints[] returns constraints for the current Domain as a list of rules |
| Constraints[expr1→ expr2, ...] defines constraints for the current Domain as sequence of rules |
| Constraints[] returns constraints for the current Domain as a list of rules |