Node:Defining Global Constraints, Next:Defining Primitive Constraints, Previous:The Constraint System, Up:CLPFD