- assert-constraint-efd! constraint dsprocedure
- assert-constraint-fc! constraint dsprocedure
- assert-constraint-vp! constraint dsprocedure
- assert-constraint-gfc! constraint dsprocedure
- assert-constraint-ac! constraint dsprocedure
Assert each of the 5 kinds of constraints between the list of domain-variables ds. You can always use assert-constraint! instead as it will pick an optimized version for each of the above if the arity of the constraint is low.