<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.06-7 of 2001-11-14">
<TITLE>
Finite domain solver and built-in predicates
</TITLE>
</HEAD>
<BODY TEXT=black BGCOLOR=white>
<A HREF="manual023.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Contents"></A>
<A HREF="manual065.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>
<TABLE CELLPADDING=0 CELLSPACING=0 WIDTH="100%">
<TR><TD BGCOLOR="#2dbae5"><DIV ALIGN=center><TABLE>
<TR><TD><FONT SIZE=5><B><A NAME="htoc306">8</A></B></FONT></TD>
<TD WIDTH="100%" ALIGN=center><FONT SIZE=5><B>Finite domain solver and built-in predicates</B></FONT></TD>
</TR></TABLE></DIV></TD>
</TR></TABLE>
<UL>
<LI><A HREF="manual055.html"> Introduction</A>
<UL>
<LI><A HREF="manual055.html#toc254"> Finite Domain variables</A>
</UL>
<LI><A HREF="manual056.html"> FD variable parameters</A>
<UL>
<LI><A HREF="manual056.html#toc255"> <TT>fd_max_integer/1</TT></A>
<LI><A HREF="manual056.html#toc256"> <TT>fd_vector_max/1</TT></A>
<LI><A HREF="manual056.html#toc257"> <TT>fd_set_vector_max/1</TT></A>
</UL>
<LI><A HREF="manual057.html"> Initial value constraints</A>
<UL>
<LI><A HREF="manual057.html#toc258"> <TT>fd_domain/3</TT>,
<TT>fd_domain_bool/1</TT></A>
<LI><A HREF="manual057.html#toc259"> <TT>fd_domain/2</TT></A>
</UL>
<LI><A HREF="manual058.html"> Type testing</A>
<UL>
<LI><A HREF="manual058.html#toc260"> <TT>fd_var/1</TT>, <TT>non_fd_var/1</TT>,
<TT>generic_var/1</TT>,
<TT>non_generic_var/1</TT></A>
</UL>
<LI><A HREF="manual059.html"> FD variable information</A>
<UL>
<LI><A HREF="manual059.html#toc261"> <TT>fd_min/2</TT>,
<TT>fd_max/2</TT>,
<TT>fd_size/2</TT>,
<TT>fd_dom/2</TT></A>
<LI><A HREF="manual059.html#toc262"> <TT>fd_has_extra_cstr/1</TT>,
<TT>fd_has_vector/1</TT>,
<TT>fd_use_vector/1</TT></A>
</UL>
<LI><A HREF="manual060.html"> Arithmetic constraints</A>
<UL>
<LI><A HREF="manual060.html#toc263"> FD arithmetic expressions</A>
<LI><A HREF="manual060.html#toc264"> Partial AC: <TT>(#=)/2</TT> - constraint equal,
<TT>(#\=)/2</TT> - constraint not equal,<BR>
<TT>(#<)/2</TT> - constraint less than,
<TT>(#=<)/2</TT> - constraint less than or equal,<BR>
<TT>(#>)/2</TT> - constraint greater than,
<TT>(#>=)/2</TT> - constraint greater than or equal</A>
<LI><A HREF="manual060.html#toc265"> Full AC: <TT>(#=#)/2</TT> - constraint equal,
<TT>(#\=#)/2</TT> - constraint not equal,<BR>
<TT>(#<#)/2</TT> - constraint less than,
<TT>(#=<#)/2</TT> - constraint less than or equal,<BR>
<TT>(#>#)/2</TT> - constraint greater than,
<TT>(#>=#)/2</TT> - constraint greater than or equal</A>
<LI><A HREF="manual060.html#toc266"> <TT>fd_prime/1</TT>,
<TT>fd_not_prime/1</TT></A>
</UL>
<LI><A HREF="manual061.html"> Boolean and reified constraints</A>
<UL>
<LI><A HREF="manual061.html#toc267"> Boolean FD expressions</A>
<LI><A HREF="manual061.html#toc268"> <TT>(#\)/1</TT> - constraint NOT,
<TT>(#<=>)/2</TT> - constraint equivalent,<BR>
<TT>(#\<=>)/2</TT> - constraint different,
<TT>(##)/2</TT> - constraint XOR,<BR>
<TT>(#==>)/2</TT> - constraint imply,
<TT>(#\==>)/2</TT> - constraint not imply,<BR>
<TT>(#/\)/2</TT> - constraint AND,
<TT>(#\/\)/2</TT> - constraint NAND,<BR>
<TT>(#\/)/2</TT> - constraint OR,
<TT>(#\\/)/2</TT> - constraint NOR</A>
<LI><A HREF="manual061.html#toc269"> <TT>fd_cardinality/2</TT>,
<TT>fd_cardinality/3</TT>,
<TT>fd_at_least_one/1</TT>,
<TT>fd_at_most_one/1</TT>,<BR>
<TT>fd_only_one/1</TT></A>
</UL>
<LI><A HREF="manual062.html"> Symbolic constraints</A>
<UL>
<LI><A HREF="manual062.html#toc270"> <TT>fd_all_different/1</TT></A>
<LI><A HREF="manual062.html#toc271"> <TT>fd_element/3</TT></A>
<LI><A HREF="manual062.html#toc272"> <TT>fd_element_var/3</TT></A>
<LI><A HREF="manual062.html#toc273"> <TT>fd_atmost/3</TT>,
<TT>fd_atleast/3</TT>,
<TT>fd_exactly/3</TT></A>
<LI><A HREF="manual062.html#toc274"> <TT>fd_relation/2</TT>,
<TT>fd_relationc/2</TT></A>
</UL>
<LI><A HREF="manual063.html"> Labeling constraints</A>
<UL>
<LI><A HREF="manual063.html#toc275"> <TT>fd_labeling/2</TT>,
<TT>fd_labeling/1</TT>,
<TT>fd_labelingff/1</TT></A>
</UL>
<LI><A HREF="manual064.html"> Optimization constraints</A>
<UL>
<LI><A HREF="manual064.html#toc276"> <TT>fd_minimize/2</TT>,
<TT>fd_maximize/2</TT></A>
</UL>
</UL>
<HR SIZE=2>
Copyright (C) 1999-2002 Daniel Diaz
<BR>
<BR>
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. <BR>
<BR>
<A HREF="index.html#copyright">More about the copyright</A>
<HR>
<A HREF="manual023.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Contents"></A>
<A HREF="manual065.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
