5. The method of claim 4 , wherein the constraints comprise one or more numeric constraints for use by the one or more algorithms, and wherein a numeric constraint represents a numeric value.
6. The method of claim 5 , wherein at least one numeric constraint is derived by a reference to another constraint.