[ library(tentative) | 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

- cs_clear_satisfied(+) is det

## See Also

cs_clear_all / 1