 
 
7  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
-  (#\)/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
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. 
More about the copyright
 
