Next: , Previous: , Up: CLPFD Interface   [Contents][Index]


10.9.6.2 Forgetting Constraints

Normally, once a constraint has been posted, it remains active until its entailment has been detected, or it has been backtracked over. In special circumstances, it may be desirable to completely forget any constraints attached to a given variable, as if they never had been posted. The following predicate can be used for that purpose:

fd_purge(+Var)   since release 4.6

Given a domain variable Var, all constraints that mention Var and the domain information attached to Var are erased. Var ceases to be a domain variable.


Send feedback on this subject.