<!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=ANSI_X3.4-1968">
<META name="GENERATOR" content="hevea 1.07">
<TITLE>
Table of Contents
</TITLE>
</HEAD>
<BODY >
<A HREF="manual002.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="manual004.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>
<H1>Table of Contents</H1>
<UL><LI>
<A HREF="index.html#htoc1">Part I User's Manual</A>
<UL><LI>
<A HREF="manual004.html#htoc2">Chapter 1 Getting Started</A>
<UL><LI>
<A HREF="manual004.html#htoc3">1.1 Basics</A>
<LI><A HREF="manual004.html#htoc4">1.2 A Classic Example</A>
</UL>
<LI><A HREF="manual005.html#htoc5">Chapter 2 Building Blocks</A>
<UL><LI>
<A HREF="manual005.html#htoc6">2.1 Domains</A>
<LI><A HREF="manual005.html#htoc7">2.2 Variables</A>
<LI><A HREF="manual005.html#htoc8">2.3 Arithmetic Expressions</A>
<LI><A HREF="manual005.html#htoc9">2.4 Constraints</A>
<UL><LI>
<A HREF="manual005.html#htoc10">2.4.1 Creation and Use</A>
<LI><A HREF="manual005.html#htoc11">2.4.2 Arithmetic Constraints</A>
<LI><A HREF="manual005.html#htoc12">2.4.3 Global Constraints</A>
<LI><A HREF="manual005.html#htoc13">2.4.4 Reification</A>
</UL>
<LI><A HREF="manual005.html#htoc14">2.5 Search</A>
<LI><A HREF="manual005.html#htoc15">2.6 Optimization</A>
<LI><A HREF="manual005.html#htoc16">2.7 Constraint Programs on Finite Sets</A>
<UL><LI>
<A HREF="manual005.html#htoc17">2.7.1 Set Domains</A>
<LI><A HREF="manual005.html#htoc18">2.7.2 Set Variables</A>
<LI><A HREF="manual005.html#htoc19">2.7.3 Constraints</A>
<LI><A HREF="manual005.html#htoc20">2.7.4 Labeling</A>
</UL>
</UL>
<LI><A HREF="manual006.html#htoc21">Chapter 3 Advanced Usage</A>
<UL><LI>
<A HREF="manual006.html#htoc22">3.1 Search Control</A>
<UL><LI>
<A HREF="manual006.html#htoc23">3.1.1 Basic Mechanisms</A>
<LI><A HREF="manual006.html#htoc24">3.1.2 Combining Goals with Iterators</A>
</UL>
<LI><A HREF="manual006.html#htoc25">3.2 Constraints Control</A>
<UL><LI>
<A HREF="manual006.html#htoc26">3.2.1 Events</A>
<LI><A HREF="manual006.html#htoc27">3.2.2 Suspending to Events, Waking Identity</A>
<LI><A HREF="manual006.html#htoc28">3.2.3 Wakening, Queuing, Priorities</A>
<LI><A HREF="manual006.html#htoc29">3.2.4 Constraint Store</A>
</UL>
<LI><A HREF="manual006.html#htoc30">3.3 User's Constraints</A>
<LI><A HREF="manual006.html#htoc31">3.4 User's Goals</A>
<UL><LI>
<A HREF="manual006.html#htoc32">3.4.1 Atomic Goal: <TT>Goals.atomic</TT></A>
<LI><A HREF="manual006.html#htoc33">3.4.2 Arbitrary Goal: <TT>Goals.create</TT></A>
<LI><A HREF="manual006.html#htoc34">3.4.3 Recursive Goals: <TT>Goals.create_rec</TT></A>
</UL>
<LI><A HREF="manual006.html#htoc35">3.5 Backtrackable Invariant References -- BIRs</A>
<UL><LI>
<A HREF="manual006.html#htoc36">3.5.1 Type, creation, access and modification</A>
<LI><A HREF="manual006.html#htoc37">3.5.2 Operations</A>
<LI><A HREF="manual006.html#htoc38">3.5.3 Domain access</A>
</UL>
</UL>
</UL>
<LI><A HREF="index.html#htoc39">Part II Reference Manual</A>
<UL><LI>
<A HREF="manual007.html#htoc40">Chapter 4 Modules</A>
<UL><LI>
<A HREF="manual007.html#htoc41">4.1 Module <TT>Easy</TT></A>
</UL>
</UL>
<LI>ndex
</UL>
<HR>
<A HREF="manual002.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="manual004.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5ee7712a65135f0dd95d1c92938a0193
>
files
>
268
