9 Finite domain solver and built-in predicates
Introduction
FD variable parameters
Initial value constraints
Type testing
FD variable information
Arithmetic constraints
FD arithmetic expressions
Partial AC: (#=)/2 - constraint equal,
(# \ =)/2 - constraint not equal,
(# < )/2 - constraint less than,
(#= < )/2 - constraint less than or equal,
(# > )/2 - constraint greater than,
(# > =)/2 - constraint greater than or equal
Full AC: (#=#)/2 - constraint equal,
(# \ =#)/2 - constraint not equal,
(# < #)/2 - constraint less than,
(#= < #)/2 - constraint less than or equal,
(# > #)/2 - constraint greater than,
(# > =#)/2 - constraint greater than or equal
fd_prime/1 ,
fd_not_prime/1
Boolean and reified constraints
Boolean FD expressions
fd_reified_in/4
(# \ )/1 - constraint NOT,
(# < = > )/2 - constraint equivalent,
(# \ < = > )/2 - constraint different,
(##)/2 - constraint XOR,
(#== > )/2 - constraint imply,
(# \ == > )/2 - constraint not imply,
(#/ \ )/2 - constraint AND,
(# \ / \ )/2 - constraint NAND,
(# \ /)/2 - constraint OR,
(# \ \ /)/2 - constraint NOR
fd_cardinality/2 ,
fd_cardinality/3 ,
fd_at_least_one/1 ,
fd_at_most_one/1 ,
fd_only_one/1
Symbolic constraints
Labeling constraints
Optimization constraints
Copyright (C) 1999-2023 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. More about the copyright