<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD><TITLE>FaCiLe: A Functional Constraint Library
Release 1.1
</TITLE>
<META http-equiv="Content-Type" content="text/html; charset=ANSI_X3.4-1968">
<META name="GENERATOR" content="hevea 1.07">
</HEAD>
<BODY >
<!--HEVEA command line is: /usr/bin/hevea -fix -exec xxdate.exe macros.hva manual.tex -->
<!--HACHA command line is: /usr/bin/hacha manual.html -->
<BR>
<BR>
<H1 ALIGN=center>FaCiLe: A Functional Constraint Library<BR>
Release 1.1
</H1>
<H3 ALIGN=center>N. <FONT COLOR=navy>Barnier</FONT> P. <FONT COLOR=navy>Brisset</FONT></H3>
<H3 ALIGN=center>September 8, 2004</H3>
<UL>
<LI><A HREF="manual001.html">Preface</A>
<LI><A HREF="manual002.html">Foreword</A>
<UL>
<LI><A HREF="manual002.html#toc1">Portability</A>
<LI><A HREF="manual002.html#toc2">FaCiLe Structure and Naming Conventions</A>
<LI><A HREF="manual002.html#toc3">Compilation with FaCiLe</A>
<LI><A HREF="manual002.html#toc4">Availability</A>
<LI><A HREF="manual002.html#toc5">Installation</A>
<LI><A HREF="manual002.html#toc6">Examples</A>
</UL>
<LI><A HREF="manual003.html">Table of Contents</A>
</UL>
<H1 ALIGN=center><A NAME="htoc1">Part I</A><BR>
User's Manual</H1>
<UL>
<LI><A HREF="manual004.html">Getting Started</A>
<UL>
<LI><A HREF="manual004.html#toc7">Basics</A>
<LI><A HREF="manual004.html#toc8">A Classic Example</A>
</UL>
<LI><A HREF="manual005.html">Building Blocks</A>
<UL>
<LI><A HREF="manual005.html#toc9">Domains</A>
<LI><A HREF="manual005.html#toc10">Variables</A>
<LI><A HREF="manual005.html#toc11">Arithmetic Expressions</A>
<LI><A HREF="manual005.html#toc12">Constraints</A>
<LI><A HREF="manual005.html#toc13">Search</A>
<LI><A HREF="manual005.html#toc14">Optimization</A>
<LI><A HREF="manual005.html#toc15">Constraint Programs on Finite Sets</A>
</UL>
<LI><A HREF="manual006.html">Advanced Usage</A>
<UL>
<LI><A HREF="manual006.html#toc16">Search Control</A>
<LI><A HREF="manual006.html#toc17">Constraints Control</A>
<LI><A HREF="manual006.html#toc18">User's Constraints</A>
<LI><A HREF="manual006.html#toc19">User's Goals</A>
<LI><A HREF="manual006.html#toc20">Backtrackable Invariant References -- BIRs</A>
</UL>
</UL>
<H1 ALIGN=center><A NAME="htoc39">Part II</A><BR>
Reference Manual</H1>
<A NAME="reference"></A>
<UL>
<LI><A HREF="manual007.html">Modules</A>
<UL>
<LI><A HREF="manual007.html#toc21">Module <TT>Easy</TT></A>
</UL>
<LI><A HREF="manual008.html">Index</A>
<LI><A HREF="manual009.html">References</A>
</UL>
<!--FOOTER-->
<HR SIZE=2><BLOCKQUOTE><EM>This document was translated from L<sup>A</sup>T<sub>E</sub>X by
<A HREF="http://pauillac.inria.fr/~maranget/hevea/index.html">H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A and H<FONT SIZE=2><sup>A</sup></FONT>C<FONT SIZE=2><sup>H</sup></FONT>A</A>.
</EM></BLOCKQUOTE>
</BODY>
</HTML>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5ee7712a65135f0dd95d1c92938a0193
>
files
>
185
