[ library(tentative) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

cs_clear_satisfied(+CS)

Remove the satisfied constraints from the constraint set
CS
Constraint set

Description

Remove all currently satisfied constraints from the constraint set. This means, even if they become violated again later, they will no longer contribute to the set's violatedness count. All delayed goals related to these constraints will be removed and the constraints forgotten.

Modes and Determinism

See Also

cs_clear_all / 1