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