A.9.17.7 FD set predicates
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
CLP(FD) predicate index
FD set predicates
in_set/2
fd_set/2
is_fdset/1
empty_fdset/1
fdset_parts/4
empty_interval/2
fdset_interval/3
fdset_singleton/2
fdset_min/2
fdset_max/2
fdset_size/2
list_to_fdset/2
fdset_to_list/2
range_to_fdset/2
fdset_to_range/2
fdset_add_element/3
fdset_del_element/3
fdset_disjoint/2
fdset_intersect/2
fdset_intersection/3
fdset_member/2
fdset_eq/2
fdset_subset/2
fdset_subtract/3
fdset_union/3
fdset_union/2
fdset_complement/2
Packages
Availability:
:- use_module(
library(clpfd)
).
[nondet]
fdset_member
(
?Elt, +Set
)
The integer
Elt
is a member of the FD set
Set
. If
Elt
is unbound,
Set
must be finite and all elements are enumerated on backtracking.
[nondet]fdset_member(?Elt,
+Set)[nondet]fdset_member(?Elt,
+Set)