 
 
 
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-2021 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. More about the copyright
 
 
