8  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