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)
).
[det]
fdset_size
(
+Set, -Size
)
Size
is the number of elements of the FD set
Set
, or the atom
sup
if
Set
is infinite.
[det]fdset_size(+Set,
-Size)[det]fdset_size(+Set,
-Size)