0.8.4-SNAPSHOT Arrow_down_16x16
  • (distinctc v*)
The real distinct constraint. v* can be seq of logic vars and
values or it can be a logic var itself. This constraint does not
run until v* has become ground. When it has become ground we group
v* into a set of logic vars and a sorted set of known singleton
values. We then construct the individual constraint for each var.

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.