7
Finite domain solver and built-in predicates
Introduction
Finite Domain variables
FD variable parameters
fd_max_integer/1
fd_vector_max/1
fd_set_vector_max/1
Initial value constraints
fd_domain/3
,
fd_domain_bool/1
fd_domain/2
Type testing
fd_var/1
,
non_fd_var/1
,
generic_var/1
,
non_generic_var/1
FD variable information
fd_min/2
,
fd_max/2
,
fd_size/2
,
fd_dom/2
fd_has_extra_cstr/1
,
fd_has_vector/1
,
fd_use_vector/1
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
fd_all_different/1
fd_element/3
fd_element_var/3
fd_atmost/3
,
fd_atleast/3
,
fd_exactly/3
fd_relation/2
,
fd_relationc/2
Labeling constraints
fd_labeling/2
,
fd_labeling/1
,
fd_labelingff/1
Optimization constraints
fd_minimize/2
,
fd_maximize/2
Copyright (C) 1999,2000 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright