Next: CLPFD Debugging, Previous: Statistics Predicates, Up: lib-clpfd [Contents][Index]
By default, the answer constraint only shows the projection of the store onto the variables that occur in the query, but not any constraints that may be attached to these variables, nor any domains or constraints attached to other variables. This is a conscious decision, as no efficient algorithm for projecting answer constraints onto the query variables is known for this constraint system.
It is possible, however, to get a complete answer constraint including all variables that took part in the computation and their domains and attached constraints. This is done by asserting a clause for the following predicate:
If false (the default), then the answer constraint, as well as constraints
clpfd:attribute_goal/2 and their callers, only contain the
domains of the query variables. If true, then those constraints contain the
domains and any attached constraints of all variables. Initially defined
as a dynamic, volatile predicate with no clauses.