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)
).
[semidet]
empty_interval
(
+Min, +Max
)
Min
..
Max
is an empty interval.
Min
and
Max
are integers or one of the atoms
inf
or
sup
.
[semidet]empty_interval(+Min,
+Max)[semidet]empty_interval(+Min,
+Max)