Description:
Applies the constraint (patch in lambda-mode) to the variables
Inputs :
fun : an anonymous function, with outputs t or nil (ie, a predicate)
or a list of anonymous functions
var : variables defined with Screamer primitives, like an-integer-between, a-member-of, etc.
The type of the predicate's inputs must be the same as the variables'.
Output:
If the predicate is true (if they are all true in case of a list) on the variables, the variables.
Else, apply-cont causes backtrack.
|