<!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>