<!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> Index </TITLE> </HEAD> <BODY > <A HREF="manual007.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A> <A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A> <A HREF="manual009.html"><IMG SRC ="next_motif.gif" ALT="Next"></A> <HR> <H1>Index</H1> <TABLE CELLSPACING=2 CELLPADDING=0> <TR><TD VALIGN=top ALIGN=left><UL><LI> <CODE>(&&~)</CODE>, <A HREF="manual005.html#@default156">2.5</A> <LI><CODE>(&&~~)</CODE>, <A HREF="manual005.html#@default137">2.4.4</A> <LI><CODE>(=>~~)</CODE>, <A HREF="manual005.html#@default139">2.4.4</A> <LI><CODE>(=~)</CODE>, <A HREF="manual005.html#@default118">2.4.2</A> <LI><CODE>(=~~)</CODE>, <A HREF="manual005.html#@default145">2.4.4</A> <LI><CODE>(>=~)</CODE>, <A HREF="manual005.html#@default119">2.4.2</A> <LI><CODE>(>=~~)</CODE>, <A HREF="manual005.html#@default146">2.4.4</A> <LI><CODE>(>~)</CODE>, <A HREF="manual005.html#@default120">2.4.2</A> <LI><CODE>(>~~)</CODE>, <A HREF="manual005.html#@default147">2.4.4</A> <LI><CODE>(<=>~~)</CODE>, <A HREF="manual005.html#@default140">2.4.4</A> <LI><CODE>(<=~)</CODE>, <A HREF="manual005.html#@default117">2.4.2</A> <LI><CODE>(<=~~)</CODE>, <A HREF="manual005.html#@default144">2.4.4</A> <LI><CODE>(<>~)</CODE>, <A HREF="manual005.html#@default121">2.4.2</A> <LI><CODE>(<>~~)</CODE>, <A HREF="manual005.html#@default148">2.4.4</A> <LI><CODE>(<~)</CODE>, <A HREF="manual005.html#@default116">2.4.2</A> <LI><CODE>(<~~)</CODE>, <A HREF="manual005.html#@default143">2.4.4</A> <LI><CODE>(-~)</CODE>, <A HREF="manual005.html#@default93">2.3</A> <LI><CODE>(%~)</CODE>, <A HREF="manual005.html#@default96">2.3</A> <LI><CODE>(||~)</CODE>, <A HREF="manual005.html#@default157">2.5</A> <LI><CODE>(||~~)</CODE>, <A HREF="manual005.html#@default138">2.4.4</A> <LI><CODE>(+~)</CODE>, <A HREF="manual005.html#@default91">2.3</A> <LI><CODE>(/~)</CODE>, <A HREF="manual005.html#@default94">2.3</A> <LI><CODE>(**~)</CODE>, <A HREF="manual005.html#@default95">2.3</A> <LI><CODE>(*~)</CODE>, <A HREF="manual005.html#@default92">2.3</A> <BR> <BR> <LI><CODE>abs</CODE>, <A HREF="manual005.html#@default97">2.3</A> <LI><CODE>active_store</CODE>, <A HREF="manual005.html#@default111">2.4.1</A>, <A HREF="manual005.html#@default164">2.5</A> <LI><CODE>algo</CODE> type, <A HREF="manual005.html#@default125">2.4.3</A> <LI><CODE>argmin</CODE>, <A HREF="manual006.html#@default247">3.5.3</A> <LI>arithmetic expressions, <A HREF="manual004.html#@default5">1.1</A>, <A HREF="manual004.html#@default16">1.2</A>, <A HREF="manual005.html#@default79">2.3</A>, <A HREF="manual005.html#@default104">2.3</A> <UL><LI> access, <A HREF="manual005.html#@default81">2.3</A> <LI>creation, <A HREF="manual005.html#@default80">2.3</A> <LI>operators, <A HREF="manual005.html#@default90">2.3</A> </UL> <LI><CODE>array</CODE>, <A HREF="manual004.html#@default18">1.2</A>, <A HREF="manual005.html#@default47">2.2</A> <LI><CODE>atomic</CODE>, <A HREF="manual006.html#@default230">3.4.1</A> <BR> <BR> <LI><CODE>BASICFD</CODE>, <A HREF="manual005.html#@default170">2.7</A> <LI>BIR, <A HREF="manual006.html#@default236">3.5</A> <LI>backtrackable invariant reference, <A HREF="manual006.html#@default237">3.5</A> <LI><CODE>bb_mode</CODE> type, <A HREF="manual005.html#@default168">2.6</A> <LI><CODE>boolean</CODE> <UL><LI> <TT>Domain</TT>, <A HREF="manual005.html#@default27">2.1</A> <LI><TT>Reify</TT>, <A HREF="manual005.html#@default136">2.4.4</A> </UL> <BR> <BR> <LI><CODE>cardinal</CODE> <UL><LI> <CODE>Conjunto</CODE>, <A HREF="manual005.html#@default194">2.7.3</A> <LI><CODE>SetDomain.S</CODE>, <A HREF="manual005.html#@default193">2.7.3</A> </UL> <LI><CODE>choose</CODE>, <A HREF="manual005.html#@default160">2.5</A> <LI><CODE>choose_index</CODE>, <A HREF="manual006.html#@default205">3.1.2</A> <LI><CODE>compare</CODE>, <A HREF="manual005.html#@default75">2.2</A> <LI><CODE>concrete_fd</CODE> type, <A HREF="manual005.html#@default60">2.2</A> <LI><CODE>constant</CODE>, <A HREF="manual006.html#@default240">3.5.1</A> <LI>constraints, <A HREF="manual005.html#@default105">2.4</A>, <A HREF="manual005.html#@default150">2.4.4</A> <UL><LI> arithmetic, <A HREF="manual005.html#@default115">2.4.2</A> <UL><LI> overflow, <A HREF="manual005.html#@default122">2.4.2</A> </UL> <LI>control, <A HREF="manual006.html#@default208">3.2</A>, <A HREF="manual006.html#@default220">3.2.4</A> <LI>creation, <A HREF="manual005.html#@default106">2.4.1</A> <LI>events, <A HREF="manual005.html#@default112">2.4.1</A>, <A HREF="manual006.html#@default209">3.2.1</A>, <A HREF="manual006.html#@default217">3.2.3</A> <LI>global, <A HREF="manual005.html#@default123">2.4.3</A> <LI>post, <A HREF="manual004.html#@default8">1.1</A>, <A HREF="manual005.html#@default107">2.4.1</A> <LI>priority, <A HREF="manual006.html#@default216">3.2.3</A> <LI>reification, <A HREF="manual005.html#@default134">2.4.4</A> <LI>store, <A HREF="manual005.html#@default108">2.4.1</A>, <A HREF="manual006.html#@default219">3.2.4</A> <LI>user's defined, <A HREF="manual006.html#@default221">3.3</A>, <A HREF="manual006.html#@default228">3.3</A> </UL> <LI><CODE>constraints_number</CODE>, <A HREF="manual005.html#@default59">2.2</A> <LI><CODE>create</CODE>, <A HREF="manual006.html#@default215">3.2.2</A>, <A HREF="manual006.html#@default238">3.5.1</A> <UL><LI> <CODE>Invariant</CODE>, <A HREF="manual006.html#@default239">3.5.1</A> <LI><TT>Domain</TT>, <A HREF="manual004.html#@default4">1.1</A>, <A HREF="manual005.html#@default24">2.1</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual004.html#@default2">1.1</A>, <A HREF="manual005.html#@default45">2.2</A> </UL> <LI><CODE>cstr</CODE> <UL><LI> <TT>Alldiff</TT>, <A HREF="manual004.html#@default17">1.2</A>, <A HREF="manual005.html#@default124">2.4.3</A> <LI><TT>Gcc</TT>, <A HREF="manual005.html#@default132">2.4.3</A> <LI><TT>Sorting</TT>, <A HREF="manual005.html#@default133">2.4.3</A> </UL> <BR> <BR> <LI><CODE>delay</CODE>, <A HREF="manual006.html#@default211">3.2.2</A> <LI><CODE>difference</CODE> <UL><LI> <CODE>Domain</CODE>, <A HREF="manual005.html#@default36">2.1</A> </UL> <LI><CODE>disjoint</CODE> <UL><LI> <CODE>Conjunto</CODE>, <A HREF="manual005.html#@default196">2.7.3</A> </UL> <LI><CODE>dom</CODE>, <A HREF="manual005.html#@default56">2.2</A> <LI>domains, <A HREF="manual005.html#@default21">2.1</A>, <A HREF="manual005.html#@default41">2.1</A> <BR> <BR> <LI><TT>Easy</TT> module, <A HREF="manual007.html#@default249">4.1</A> <LI><CODE>e2fd</CODE>, <A HREF="manual005.html#@default89">2.3</A> <LI>element constraint, see <I><TT>get</TT></I> <LI><CODE>elt_of_list</CODE>, <A HREF="manual005.html#@default178">2.7.1</A>, <A HREF="manual005.html#@default190">2.7.3</A> <LI><CODE>elt_value</CODE>, <A HREF="manual004.html#@default20">1.2</A> <LI><CODE>elt_value</CODE>, <A HREF="manual005.html#@default77">2.2</A> <LI><CODE>empty</CODE>, <A HREF="manual005.html#@default23">2.1</A> <UL><LI> <CODE>SetDomain.S</CODE>, <A HREF="manual005.html#@default185">2.7.2</A>, <A HREF="manual005.html#@default192">2.7.3</A> </UL> <LI><CODE>equal</CODE>, <A HREF="manual005.html#@default76">2.2</A> <LI><CODE>eval</CODE>, <A HREF="manual005.html#@default83">2.3</A> <LI><CODE>event</CODE>, <A HREF="manual006.html#@default213">3.2.2</A> <LI>events, <A HREF="manual005.html#@default113">2.4.1</A>, <A HREF="manual006.html#@default210">3.2.1</A>, <A HREF="manual006.html#@default218">3.2.3</A> <BR> <BR> <LI><CODE>fail</CODE> <UL><LI> <TT>Goals</TT>, <A HREF="manual005.html#@default155">2.5</A> </UL> <LI><CODE>fd2e</CODE>, <A HREF="manual004.html#@default6">1.1</A>, <A HREF="manual005.html#@default86">2.3</A> <LI>floundering, <A HREF="manual005.html#@default165">2.5</A> <LI><CODE>forall</CODE> <UL><LI> <TT>Goals</TT>.<TT>Array</TT>, <A HREF="manual006.html#@default203">3.1.2</A> <LI><TT>Goals</TT>.<TT>List</TT>, <A HREF="manual006.html#@default206">3.1.2</A> </UL> <LI><CODE>fprint</CODE>, <A HREF="manual006.html#@default245">3.5.2</A> <UL><LI> <CODE>Domain</CODE>, <A HREF="manual005.html#@default28">2.1</A> <LI><CODE>Invariant</CODE>, <A HREF="manual006.html#@default246">3.5.2</A> <LI><CODE>SetDomain</CODE>, <A HREF="manual005.html#@default180">2.7.1</A> <LI><CODE>Var.SetFd</CODE>, <A HREF="manual005.html#@default182">2.7.2</A>, <A HREF="manual005.html#@default187">2.7.2</A>, <A HREF="manual005.html#@default199">2.7.4</A> <LI><TT>Arith</TT>, <A HREF="manual005.html#@default84">2.3</A> <LI><TT>Cstr</TT>, <A HREF="manual005.html#@default114">2.4.1</A> <LI><TT>Var</TT>.<TT>Attr</TT>, <A HREF="manual005.html#@default52">2.2</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual004.html#@default13">1.1</A>, <A HREF="manual005.html#@default49">2.2</A> </UL> <BR> <BR> <LI><CODE>get</CODE>, <A HREF="manual006.html#@default242">3.5.1</A> <UL><LI> <TT>FdArray</TT>, <A HREF="manual005.html#@default126">2.4.3</A> </UL> <LI><CODE>get_cstr</CODE>, <A HREF="manual005.html#@default130">2.4.3</A> <LI>glb, <A HREF="manual005.html#@default174">2.7.1</A> <LI>goals, <A HREF="manual005.html#@default152">2.5</A>, <A HREF="manual005.html#@default162">2.5</A> <UL><LI> user's defined, <A HREF="manual006.html#@default229">3.4</A>, <A HREF="manual006.html#@default234">3.4.3</A> <UL><LI> arbitrary, <A HREF="manual006.html#@default232">3.4.2</A> <LI>atomic, <A HREF="manual006.html#@default231">3.4.1</A> <LI>recursive, <A HREF="manual006.html#@default233">3.4.3</A> </UL> </UL> <BR> <BR> <LI><CODE>i2e</CODE>, <A HREF="manual004.html#@default7">1.1</A>, <A HREF="manual005.html#@default85">2.3</A> <LI><CODE>id</CODE> <UL><LI> <TT>Var</TT>.<TT>Attr</TT>, <A HREF="manual005.html#@default58">2.2</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default73">2.2</A> </UL> </UL></TD> <TD VALIGN=top ALIGN=left><UL><LI><CODE>indomain</CODE>, <A HREF="manual005.html#@default153">2.5</A> <UL><LI> <CODE>Goals.Conjunto</CODE>, <A HREF="manual005.html#@default200">2.7.4</A> </UL> <LI><CODE>inside</CODE> <UL><LI> <CODE>Conjunto</CODE>, <A HREF="manual005.html#@default186">2.7.2</A> </UL> <LI><CODE>instantiate</CODE>, <A HREF="manual005.html#@default159">2.5</A> <LI><CODE>int</CODE> <UL><LI> <TT>Domain</TT>, <A HREF="manual005.html#@default26">2.1</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default48">2.2</A> </UL> <LI><CODE>intersection</CODE> <UL><LI> <CODE>Domain</CODE>, <A HREF="manual005.html#@default34">2.1</A> </UL> <LI><CODE>interval</CODE> <UL><LI> <CODE>SetDomain</CODE>, <A HREF="manual005.html#@default179">2.7.1</A> <LI><CODE>Var.SetFd</CODE>, <A HREF="manual005.html#@default183">2.7.2</A>, <A HREF="manual005.html#@default191">2.7.3</A> <LI><TT>Domain</TT>, <A HREF="manual005.html#@default25">2.1</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual004.html#@default15">1.2</A>, <A HREF="manual005.html#@default46">2.2</A> </UL> <LI>invariants, <A HREF="manual006.html#@default235">3.5</A>, <A HREF="manual006.html#@default248">3.5.3</A> <LI><CODE>is_empty</CODE> <UL><LI> <CODE>Domain</CODE>, <A HREF="manual005.html#@default29">2.1</A> </UL> <LI><CODE>is_var</CODE>, <A HREF="manual005.html#@default62">2.2</A> <LI><CODE>iter</CODE> <UL><LI> <TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default71">2.2</A> </UL> <BR> <BR> <LI>labeling, <A HREF="manual004.html#@default10">1.1</A>, <A HREF="manual005.html#@default197">2.7.4</A>, <A HREF="manual006.html#@default202">3.1.2</A> <UL><LI> <TT>Goals</TT>.<TT>Array</TT>, <A HREF="manual004.html#@default19">1.2</A> <LI><TT>Goals</TT>.<TT>List</TT>, <A HREF="manual004.html#@default11">1.1</A> </UL> <LI><CODE>lds</CODE>, <A HREF="manual005.html#@default163">2.5</A> <LI>lub, <A HREF="manual005.html#@default176">2.7.1</A> <BR> <BR> <LI><CODE>max</CODE> <UL><LI> <CODE>Domain</CODE>, <A HREF="manual005.html#@default31">2.1</A> <LI><TT>FdArray</TT>, <A HREF="manual005.html#@default128">2.4.3</A> <LI><TT>Var</TT>.<TT>Attr</TT>, <A HREF="manual005.html#@default55">2.2</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default69">2.2</A> </UL> <LI><CODE>max_of_expr</CODE>, <A HREF="manual005.html#@default88">2.3</A> <LI><CODE>member</CODE> <UL><LI> <CODE>Domain</CODE>, <A HREF="manual005.html#@default32">2.1</A> <LI><TT>Var</TT>.<TT>Attr</TT>, <A HREF="manual005.html#@default57">2.2</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default72">2.2</A> </UL> <LI><CODE>min</CODE> <UL><LI> <CODE>Domain</CODE>, <A HREF="manual005.html#@default30">2.1</A> <LI><TT>FdArray</TT>, <A HREF="manual005.html#@default127">2.4.3</A> <LI><TT>Var</TT>.<TT>Attr</TT>, <A HREF="manual005.html#@default54">2.2</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default68">2.2</A> </UL> <LI><CODE>min_cstr</CODE>, <A HREF="manual005.html#@default131">2.4.3</A> <LI><CODE>min_of_expr</CODE>, <A HREF="manual005.html#@default87">2.3</A> <LI><CODE>minimize</CODE>, <A HREF="manual005.html#@default167">2.6</A> <BR> <BR> <LI><CODE>name</CODE> <UL><LI> <TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default74">2.2</A> </UL> <LI><CODE>nb_wakings</CODE>, <A HREF="manual006.html#@default223">3.3</A>, <A HREF="manual006.html#@default227">3.3</A> <LI><CODE>not</CODE>, <A HREF="manual005.html#@default141">2.4.4</A> <BR> <BR> <LI>optimization, <A HREF="manual005.html#@default166">2.6</A> <BR> <BR> <LI><CODE>post</CODE>, <A HREF="manual004.html#@default9">1.1</A>, <A HREF="manual005.html#@default110">2.4.1</A> <LI><CODE>prod</CODE>, <A HREF="manual005.html#@default100">2.3</A> <LI><CODE>prod_fd</CODE>, <A HREF="manual005.html#@default103">2.3</A> <BR> <BR> <LI><CODE>refine</CODE>, <A HREF="manual005.html#@default65">2.2</A> <LI>reification, <A HREF="manual005.html#@default135">2.4.4</A>, <A HREF="manual005.html#@default149">2.4.4</A>, <A HREF="manual006.html#@default222">3.3</A>, <A HREF="manual006.html#@default224">3.3</A> <LI><CODE>remove</CODE>, <A HREF="manual005.html#@default40">2.1</A> <LI><CODE>remove_closed_inter</CODE>, <A HREF="manual005.html#@default39">2.1</A> <LI><CODE>remove_low</CODE>, <A HREF="manual005.html#@default38">2.1</A> <LI><CODE>remove_up</CODE>, <A HREF="manual005.html#@default37">2.1</A> <BR> <BR> <LI><CODE>S</CODE>, <A HREF="manual005.html#@default172">2.7.1</A> <LI><CODE>SetDomain.S</CODE>, <A HREF="manual005.html#@default173">2.7.1</A> <LI><CODE>scalprod</CODE>, <A HREF="manual005.html#@default99">2.3</A> <LI><CODE>scalprod_fd</CODE>, <A HREF="manual005.html#@default102">2.3</A> <LI>search, <A HREF="manual005.html#@default151">2.5</A>, <A HREF="manual006.html#@default201">3.1</A> <LI><CODE>select</CODE> <UL><LI> <TT>Goals</TT>.<TT>Array</TT>, <A HREF="manual006.html#@default204">3.1.2</A> <LI><TT>Goals</TT>.<TT>List</TT>, <A HREF="manual006.html#@default207">3.1.2</A> </UL> <LI><CODE>set</CODE>, <A HREF="manual006.html#@default241">3.5.1</A> <LI>set variables, <A HREF="manual005.html#@default169">2.7</A>, <A HREF="manual005.html#@default181">2.7.2</A> <UL><LI> <CODE>Conjunto</CODE>, <A HREF="manual005.html#@default189">2.7.3</A> <LI>constraints, <A HREF="manual005.html#@default188">2.7.3</A> <LI>domains, <A HREF="manual005.html#@default171">2.7.1</A> <LI>labeling, <A HREF="manual005.html#@default198">2.7.4</A> </UL> <LI>glb, <A HREF="manual005.html#@default175">2.7.1</A> <LI>lub, <A HREF="manual005.html#@default177">2.7.1</A> <LI><CODE>size</CODE> <UL><LI> <TT>Var</TT>.<TT>Attr</TT>, <A HREF="manual005.html#@default53">2.2</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default67">2.2</A> </UL> <LI><CODE>solve</CODE>, <A HREF="manual004.html#@default12">1.1</A>, <A HREF="manual005.html#@default154">2.5</A> <LI><CODE>success</CODE>, <A HREF="manual005.html#@default158">2.5</A> <LI><CODE>sum</CODE>, <A HREF="manual005.html#@default98">2.3</A>, <A HREF="manual006.html#@default243">3.5.2</A> <LI><CODE>sum_fd</CODE>, <A HREF="manual005.html#@default101">2.3</A> <BR> <BR> <LI><CODE>t</CODE> type <UL><LI> <TT>Arith</TT>, <A HREF="manual005.html#@default82">2.3</A> <LI><TT>Cstr</TT>, <A HREF="manual005.html#@default109">2.4.1</A> <LI><TT>Domain</TT>, <A HREF="manual004.html#@default3">1.1</A>, <A HREF="manual005.html#@default22">2.1</A> <LI><TT>Var</TT>.<TT>Attr</TT>, <A HREF="manual005.html#@default51">2.2</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default44">2.2</A> </UL> <LI>toplevel, <A HREF="manual002.html#@default0">??</A> <BR> <BR> <LI><CODE>unary</CODE>, <A HREF="manual006.html#@default244">3.5.2</A> <LI><CODE>unify</CODE> <UL><LI> <CODE>Var.SetFd</CODE>, <A HREF="manual005.html#@default184">2.7.2</A> <LI><TT>Goals</TT>, <A HREF="manual005.html#@default161">2.5</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default64">2.2</A> </UL> <LI><CODE>union</CODE> <UL><LI> <CODE>Conjunto</CODE>, <A HREF="manual005.html#@default195">2.7.3</A> <LI><CODE>Domain</CODE>, <A HREF="manual005.html#@default35">2.1</A> </UL> <LI><CODE>update</CODE>, <A HREF="manual006.html#@default214">3.2.2</A> <BR> <BR> <LI><CODE>value</CODE>, <A HREF="manual005.html#@default61">2.2</A> <LI><CODE>values</CODE> <UL><LI> <CODE>Domain</CODE>, <A HREF="manual005.html#@default33">2.1</A> <LI><TT>Var</TT>.<TT>Fd</TT>, <A HREF="manual005.html#@default70">2.2</A> </UL> <LI>variables, <A HREF="manual004.html#@default1">1.1</A>, <A HREF="manual004.html#@default14">1.2</A>, <A HREF="manual005.html#@default42">2.2</A>, <A HREF="manual005.html#@default78">2.2</A> <UL><LI> access, <A HREF="manual005.html#@default66">2.2</A> <LI>attribute, <A HREF="manual005.html#@default50">2.2</A> <LI>creation, <A HREF="manual005.html#@default43">2.2</A> <LI>domain reduction, <A HREF="manual005.html#@default63">2.2</A> </UL> <BR> <BR> <LI>waking identity, <A HREF="manual006.html#@default212">3.2.2</A>, <A HREF="manual006.html#@default225">3.3</A> <LI><CODE>waking_id</CODE>, <A HREF="manual006.html#@default226">3.3</A> <BR> <BR> <LI><CODE>xor</CODE>, <A HREF="manual005.html#@default142">2.4.4</A> </UL></TD> </TR></TABLE> <UL><LI> <A HREF="libref/index_types.html">Index of types</A> <LI><A HREF="libref/index_exceptions.html">Index of exceptions</A> <LI><A HREF="libref/index_values.html">Index of values</A> <LI><A HREF="libref/index_modules.html">Index of modules</A> <LI><A HREF="libref/index_module_types.html">Index of module types</A> </UL> <HR> <A HREF="manual007.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A> <A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A> <A HREF="manual009.html"><IMG SRC ="next_motif.gif" ALT="Next"></A> </BODY> </HTML>