Did you know ... Search Documentation:
Predicate fdset_eq/2
Availability::- use_module(library(clpfd)).
Source[semidet]fdset_eq(+Set1, +Set2)
True if the FD sets Set1 and Set2 are equal, i. e. contain exactly the same elements. This is not necessarily the same as unification or a term equality check, because some FD sets have multiple possible term representations.
History
  • Introduced in 8.3.28 (👉e6735a7) SICStus-compatible "FD set" API to library(clpfd).
Disclaimer: heuristically mined from GIT
Tags are associated to your profile if you are logged in
Tags: