`assert-unary-constraint-efd!``constraint``x`procedure`assert-binary-constraint-efd!``constraint``x``y`procedure`assert-ternary-constraint-efd!``constraint``x``y``z`procedure`assert-unary-constraint-fc!``constraint``x`procedure`assert-binary-constraint-fc!``constraint``x``y`procedure`assert-ternary-constraint-fc!``constraint``x``y``z`procedure`assert-unary-constraint-vp!``constraint``x`procedure`assert-binary-constraint-vp!``constraint``x``y`procedure`assert-ternary-constraint-vp!``constraint``x``y``z`procedure`assert-unary-constraint-gfc!``constraint``x`procedure`assert-binary-constraint-gfc!``constraint``x``y`procedure`assert-ternary-constraint-gfc!``constraint``x``y``z`procedure`assert-unary-constraint-ac!``constraint``x`procedure`assert-binary-constraint-ac!``constraint``x``y`procedure`assert-ternary-constraint-ac!``constraint``x``y``z`procedureAssert each of the 5 kinds of constraints between domain-variables

*x*,*y*and*z*. You can always use*assert-constraint!*instead and it will default to these functions if your constraint is of low arity.