
cs_clear_satisfied(+CS)

   Remove the satisfied constraints from the constraint set

Arguments
   CS                  Constraint set

Type
   library(tentative)

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
