0.8.4-SNAPSHOT Arrow_down_16x16
  • (-distinctc x y* n*)
The real *individual* distinct constraint. x is a var that now is bound to
a single value. y* were the non-singleton bound vars that existed at the
construction of the constraint. n* is the set of singleton domain values
that existed at the construction of the constraint. We use categorize to
determine the current non-singleton bound vars and singleton vlaues. if x
is in n* or the new singletons we have failed. If not we simply remove
the value of x from the remaining non-singleton domains bound to vars.

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Comments top

No comments for -distinctc. Log in to add a comment.