Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 5ee7712a65135f0dd95d1c92938a0193 > files > 96

ocaml-facile-doc-1.1-2mdv2010.0.i586.rpm

<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Fcl_genesis" rel="Chapter" href="Fcl_genesis.html">
<link title="Fcl_debug" rel="Chapter" href="Fcl_debug.html">
<link title="Fcl_misc" rel="Chapter" href="Fcl_misc.html">
<link title="Fcl_float" rel="Chapter" href="Fcl_float.html">
<link title="Fcl_stak" rel="Chapter" href="Fcl_stak.html">
<link title="Fcl_domain" rel="Chapter" href="Fcl_domain.html">
<link title="Fcl_setDomain" rel="Chapter" href="Fcl_setDomain.html">
<link title="Fcl_data" rel="Chapter" href="Fcl_data.html">
<link title="Fcl_cstr" rel="Chapter" href="Fcl_cstr.html">
<link title="Fcl_var" rel="Chapter" href="Fcl_var.html">
<link title="Fcl_reify" rel="Chapter" href="Fcl_reify.html">
<link title="Fcl_invariant" rel="Chapter" href="Fcl_invariant.html">
<link title="Fcl_boolean" rel="Chapter" href="Fcl_boolean.html">
<link title="Fcl_alldiff" rel="Chapter" href="Fcl_alldiff.html">
<link title="Fcl_linear" rel="Chapter" href="Fcl_linear.html">
<link title="Fcl_nonlinear" rel="Chapter" href="Fcl_nonlinear.html">
<link title="Fcl_expr" rel="Chapter" href="Fcl_expr.html">
<link title="Fcl_arith" rel="Chapter" href="Fcl_arith.html">
<link title="Fcl_interval" rel="Chapter" href="Fcl_interval.html">
<link title="Fcl_gcc" rel="Chapter" href="Fcl_gcc.html">
<link title="Fcl_fdArray" rel="Chapter" href="Fcl_fdArray.html">
<link title="Fcl_conjunto" rel="Chapter" href="Fcl_conjunto.html">
<link title="Fcl_sorting" rel="Chapter" href="Fcl_sorting.html">
<link title="Fcl_goals" rel="Chapter" href="Fcl_goals.html">
<link title="Fcl_opti" rel="Chapter" href="Fcl_opti.html">
<link title="Facile" rel="Chapter" href="Facile.html"><title>Index of values</title>
</head>
<body>
<center><h1>Index of values</h1></center>
<table>
<tr><td align="left"><br></td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VAL( * )">( * )</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL( **~ )">( **~ )</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL( **~ )">( **~ )</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL( **~ )">( **~ )</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
Exponentiation of an expression to an integer value.
</div>
</td></tr>
<tr><td><a href="Facile.Easy.html#VAL( *~ )">( *~ )</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL( *~ )">( *~ )</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL( *~ )">( *~ )</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
Addition, substraction, multiplication on expressions.
</div>
</td></tr>
<tr><td><a href="Facile.Easy.html#VAL(%~)">(%~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(%~)">(%~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(%~)">(%~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
Division and modulo on expressions.
</div>
</td></tr>
<tr><td><a href="Facile.Easy.html#VAL(&&~)">(&amp;&amp;~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VAL(&&~)">(&amp;&amp;~)</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VAL(&&~)">(&amp;&amp;~)</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(&&~~)">(&amp;&amp;~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Reify.html#VAL(&&~~)">(&amp;&amp;~~)</a> [<a href="Facile.Reify.html">Facile.Reify</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_reify.html#VAL(&&~~)">(&amp;&amp;~~)</a> [<a href="Fcl_reify.html">Fcl_reify</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VAL(+)">(+)</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(+~)">(+~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(+~)">(+~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(+~)">(+~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VAL(-)">(-)</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(-~)">(-~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(-~)">(-~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(-~)">(-~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VAL(/+)">(/+)</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VAL(/-)">(/-)</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(/~)">(/~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(/~)">(/~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(/~)">(/~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(<=>~~)">(&lt;=&gt;~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Reify.html#VAL(<=>~~)">(&lt;=&gt;~~)</a> [<a href="Facile.Reify.html">Facile.Reify</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_reify.html#VAL(<=>~~)">(&lt;=&gt;~~)</a> [<a href="Fcl_reify.html">Fcl_reify</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(<=~)">(&lt;=~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(<=~)">(&lt;=~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(<=~)">(&lt;=~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(<=~~)">(&lt;=~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(<=~~)">(&lt;=~~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(<=~~)">(&lt;=~~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(<>~)">(&lt;&gt;~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(<>~)">(&lt;&gt;~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(<>~)">(&lt;&gt;~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
Strictly less, less or equal, equal, greater or equal,
   strictly greater and different constraints on expressions.
</div>
</td></tr>
<tr><td><a href="Facile.Easy.html#VAL(<>~~)">(&lt;&gt;~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(<>~~)">(&lt;&gt;~~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(<>~~)">(&lt;&gt;~~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
Reified strictly less, less or equal, equal, greater or equal,
   strictly greater and different.
</div>
</td></tr>
<tr><td><a href="Facile.Easy.html#VAL(<~)">(&lt;~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(<~)">(&lt;~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(<~)">(&lt;~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(<~~)">(&lt;~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(<~~)">(&lt;~~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(<~~)">(&lt;~~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">e1 op~~ e2</code> is equivalent to <code class="code">fd2e (Reify.boolean (e1 op~ e2))</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VAL(=+)">(=+)</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VAL(=+.)">(=+.)</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(=>~~)">(=&gt;~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Reify.html#VAL(=>~~)">(=&gt;~~)</a> [<a href="Facile.Reify.html">Facile.Reify</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_reify.html#VAL(=>~~)">(=&gt;~~)</a> [<a href="Fcl_reify.html">Fcl_reify</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(=~)">(=~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(=~)">(=~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(=~)">(=~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(=~~)">(=~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(=~~)">(=~~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(=~~)">(=~~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(>=~)">(&gt;=~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(>=~)">(&gt;=~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(>=~)">(&gt;=~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(>=~~)">(&gt;=~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(>=~~)">(&gt;=~~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(>=~~)">(&gt;=~~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(>~)">(&gt;~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(>~)">(&gt;~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(>~)">(&gt;~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(>~~)">(&gt;~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VAL(>~~)">(&gt;~~)</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VAL(>~~)">(&gt;~~)</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VAL(||~)">(||~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VAL(||~)">(||~)</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VAL(||~)">(||~)</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
Conjunction and disjunction over goals.
</div>
</td></tr>
<tr><td><a href="Facile.Easy.html#VAL(||~~)">(||~~)</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Reify.html#VAL(||~~)">(||~~)</a> [<a href="Facile.Reify.html">Facile.Reify</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_reify.html#VAL(||~~)">(||~~)</a> [<a href="Fcl_reify.html">Fcl_reify</a>]</td>
<td></td></tr>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="Facile.Arith.html#VALabs">abs</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALabs">abs</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
Absolute value on expressions.
</div>
</td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALabsolute">absolute</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALabsolute_aux">absolute_aux</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Cstr.html#VALactive_store">active_store</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALactive_store">active_store</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">active_store ()</code> returns the list of all active constraints, i.e.
</div>
</td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALadd">add</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALadd">add</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALadd">add</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALadd">add</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALadd">add</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALadd">add</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">add n d</code> returns <code class="code">d</code>  <code class="code">{n}</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Conjunto.html#VALall_disjoint">all_disjoint</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALall_disjoint">all_disjoint</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">all_disjoint vars</code> ensures that all the set variables of array <code class="code">vars</code>
   are pairwise disjoint.
</div>
</td></tr>
<tr><td><a href="Fcl_misc.html#VALarg_max_array">arg_max_array</a> [<a href="Fcl_misc.html">Fcl_misc</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_misc.html#VALarg_min_array">arg_min_array</a> [<a href="Fcl_misc.html">Fcl_misc</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.Array.html#VALargmin">argmin</a> [<a href="Facile.Invariant.Array.html">Facile.Invariant.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.Array.html#VALargmin">argmin</a> [<a href="Fcl_invariant.Array.html">Fcl_invariant.Array</a>]</td>
<td><div class="info">
<code class="code">argmin a c</code> returns the BIR index of the minimum BIR value of <code class="code">a</code> for
   criterion <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALarray">array</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALarray">array</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">array n inf sup</code> returns an array of <code class="code">n</code> new variables with domain
   <code class="code">[inf..sup]</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Conjunto.html#VALatmost1">atmost1</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALatomic">atomic</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALatomic">atomic</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">atomic ~name:"atomic" f</code> returns a goal calling function <code class="code">f</code>.
</div>
</td></tr>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="Facile.Invariant.html#VALbinary">binary</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.html#VALbinary">binary</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">binary ~name:"Invariant.binary" f</code> wraps the binary function <code class="code">f</code>
   into an operator on BIRs.
</div>
</td></tr>
<tr><td><a href="Facile.Reify.html#VALboolean">boolean</a> [<a href="Facile.Reify.html">Facile.Reify</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALboolean">boolean</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_reify.html#VALboolean">boolean</a> [<a href="Fcl_reify.html">Fcl_reify</a>]</td>
<td><div class="info">
<code class="code">boolean ~delay_on_negation:true c</code> returns a boolean (0..1)
   variable associated to the constraint <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALboolean">boolean</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
The domain containing <code class="code">0</code> and <code class="code">1</code>.
</div>
</td></tr>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="Fcl_debug.html#VALcall">call</a> [<a href="Fcl_debug.html">Fcl_debug</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALcardinal">cardinal</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALcardinal">cardinal</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALcardinal">cardinal</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">cardinal v</code> returns the cardinal (an integer variable) of the set <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALcardinal">cardinal</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALchoose">choose</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALchoose">choose</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALchoose">choose</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALchoose">choose</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">choose ord d</code> returns the mininum value of <code class="code">d</code> for order <code class="code">ord</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.GlArray.html#VALchoose_index">choose_index</a> [<a href="Facile.Goals.GlArray.html">Facile.Goals.GlArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.Array.html#VALchoose_index">choose_index</a> [<a href="Facile.Goals.Array.html">Facile.Goals.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.Array.html#VALchoose_index">choose_index</a> [<a href="Fcl_goals.Array.html">Fcl_goals.Array</a>]</td>
<td><div class="info">
<code class="code">choose_index order fds</code> returns the index of the best (minimun)
     free (not instantiated) variable in the array <code class="code">fds</code> for the criterion
     <code class="code">order</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALcompare">compare</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALcompare">compare</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALcompare">compare</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALcompare">compare</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
Compares two variables.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALcompare">compare</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALcompare">compare</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">compare d1 d2</code> is a comparison function working first on the cardinal,
     then (if <code class="code">d1</code> and <code class="code">d2</code> have the same size) on the lexicographic order
     of the domains (expressed in extension).
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALcompare_elt">compare_elt</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALcompare_elt">compare_elt</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">compare_elt e1 e2</code> is a comparison function on elements of domains.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALcompare_elt">compare_elt</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_expr.html#VALcompare_expr">compare_expr</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_expr.html#VALcompare_intexpr">compare_intexpr</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.html#VALconstant">constant</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.html#VALconstant">constant</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">constant ~name:"" cst</code> returns an unsetable BIR with initial
   content <code class="code">cst</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_expr.html#VALconstrain">constrain</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td><div class="info">
<code class="code">constrain e op</code> returns the constraint <code class="code">e op = 0</code> and post
    intermediate constraints.
</div>
</td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALconstraints_number">constraints_number</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALconstraints_number">constraints_number</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
<code class="code">constraints_number a</code> returns the number of different constraints
   attached to <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Invariant.html#VALcreate">create</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALcreate">create</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALcreate">create</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Cstr.html#VALcreate">create</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALcreate">create</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALcreate">create</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALcreate">create</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">create ~name:"create" f a</code> returns a goal calling <code class="code">f a</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_invariant.html#VALcreate">create</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">create ~name:"" v</code> returns a setable BIR with initial content <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALcreate">create</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">create ?name d</code> returns a new variable with domain <code class="code">d</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_cstr.html#VALcreate">create</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">create ?name ?nb_wakings ?fprint ?priority ?init ?check ?not update delay</code>
   builds a new constraint:  <code class="code">name</code> is a describing string for the constraint. Default value
   is <code class="code">"anonymous"</code>.,  <code class="code">nb_wakings</code> is the number of calls to <code class="code">Var.delay</code> with distinct
   "<code class="code">waking_id</code>" arguments  within the
   constraint own <code class="code">delay</code> function (see below). Default value is <code class="code">1</code>.
   Beware that if <code class="code">nb_wakings</code> is greater than 1 and the optional <code class="code">init</code>
   argument is not provided, <code class="code">init</code> default behaviour is to do nothing
   (i.e. the <code class="code">update</code> function will not be called).,  <code class="code">fprint</code> should print the constraint on an output channel taken as
   its only argument. Default value is to print the <code class="code">name</code> string.,  <code class="code">priority</code> is either <code class="code">immediate</code>, <code class="code">normal</code> or <code class="code">later</code>. Time costly
   constraints should be waken after quick ones. Default value is <code class="code">normal</code>.,  <code class="code">init</code> is useful to perform initialization of auxiliary data
   structures needed and maintained by the <code class="code">update</code> function.
   <code class="code">init ()</code> is called as soon as the constraint is posted. Default
   value is to call <code class="code">(update 0)</code> if <code class="code">nb_wakings</code> is equal to 1 to
   perform an initial propagation; if <code class="code">nb_wakings</code> is greater than 1,
   default value is <code class="code">fun () -&gt; ()</code>, i.e. it does nothing. Hence, an
   <code class="code">init</code> argument must be provided if this is not the desired
   behaviour.,  <code class="code">check</code> must be specified if the constraint is to be reifiable
   (as well as the <code class="code">not</code> function). When the constraint is reified,
   <code class="code">check ()</code> is called to verify whether the constraint is satisfied
   or violated, i.e. the constraint itself or its negation is entailed
   by the constraint store. It should return <code class="code">true</code> if the constraint
   is satisfied, <code class="code">false</code> if it is violated and raise <code class="code">DontKnow</code> when
   it is not known. <code class="code">check</code> <b>must not</b> change the domains of the
   variables involved in the constraint.
   Default: <code class="code">Failure</code> exception is raised.,  <code class="code">not</code> must be specified if the constraint is reifiable (as well
   as <code class="code">check</code>). <code class="code">not ()</code> should return a constraint which is the
   negation of the constraint being defined. When the constraint is
   reified, it is called to post the negation of the constraint whenever
   <code class="code">check ()</code> return <code class="code">false</code>, i.e. the negation is entailed by the
   constraint store. Default: <code class="code">Failure</code> exception is raised.,  <code class="code">update</code> is a mandatory argument which propagates the constraint,
   i.e. filters domains and checks consistency. This function takes an
   integer as its unique parameter, according to the optional
   <code class="code">waking_id</code> argument given to the <code class="code">Var.delay</code> calls featured in the
   constraint own <code class="code">delay</code> function (see below). When a waking event
   occurs, this function is called with the corresponding integer
   "<code class="code">waking_id</code>", and must return <code class="code">true</code> when the constraint is
   (partially) satisfied <em>for this event</em>, <code class="code">false</code> if further
   propagations have to be performed, and raise <code class="code">Stak.Fail</code>
   whenever an inconsistency is detected. The whole
   constraint is solved when <code class="code">update 0</code>, ..., <code class="code">update (nb_wakings-1)</code>
   have all returned <code class="code">true</code>. E.g. a global constraint on an array
   of variables can be aware of which variable has triggered the
   awakening by providing the integer index of the variable as its
   "<code class="code">waking_id</code>" to the <code class="code">Var.delay</code> function. <code class="code">update</code> is called with
   <code class="code">0</code> by default when the <code class="code">nb_wakings</code> argument has been omitted; in
   this case, the constraint is solved as soon as <code class="code">update</code> returns <code class="code">true</code>.,  <code class="code">delay</code> schedules the awakening of the constraint <code class="code">ct</code> (which is
   taken as its unique argument), i.e. the execution of its <code class="code">update</code>
   function. If <code class="code">update id</code> should be called (because it may propagates)
   when one of the events contained in the events
    list <code class="code">es</code> occurred
   on variable <code class="code">v</code>, then <code class="code">Var.delay es v ~waking_id:id ct</code> should be called
   within the body of the <code class="code">delay</code> function. Beware that
   <b>all the "<code class="code">waking_id</code>s" must be contiguous integers ranging from</b>
   <code class="code">0</code> <b>to</b> <code class="code">nb_wakings-1</code>, otherwise the behaviour is unspecified.
   <code class="code">delay</code> is a mandatory argument.
</div>
</td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALcreate">create</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALcreate">create</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">create l</code> builds a new domain containing the values of <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.html#VALcreate_rec">create_rec</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALcreate_rec">create_rec</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">create_rec ~name:"create_rec" f</code> returns a goal calling <code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Gcc.html#VALcstr">cstr</a> [<a href="Facile.Gcc.html">Facile.Gcc</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Interval.html#VALcstr">cstr</a> [<a href="Facile.Interval.html">Facile.Interval</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Boolean.html#VALcstr">cstr</a> [<a href="Facile.Boolean.html">Facile.Boolean</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Sorting.html#VALcstr">cstr</a> [<a href="Facile.Sorting.html">Facile.Sorting</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Alldiff.html#VALcstr">cstr</a> [<a href="Facile.Alldiff.html">Facile.Alldiff</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Reify.html#VALcstr">cstr</a> [<a href="Facile.Reify.html">Facile.Reify</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_sorting.html#VALcstr">cstr</a> [<a href="Fcl_sorting.html">Fcl_sorting</a>]</td>
<td><div class="info">
<code class="code">cstr a (?perm:None) sorted</code> returns the constraint ensuring that
   <code class="code">sorted</code> is the result of sorting array <code class="code">a</code> according to the
   permutation <code class="code">perm</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_gcc.html#VALcstr">cstr</a> [<a href="Fcl_gcc.html">Fcl_gcc</a>]</td>
<td><div class="info">
<code class="code">cstr (?level:High) vars distribution</code> returns a constraint ensuring
   that for each pair <code class="code">(c,v)</code> of cardinal variable <code class="code">c</code> and integer
   value <code class="code">v</code> in the list <code class="code">distribution</code>, <code class="code">c</code> variables in the array
   <code class="code">vars</code> will be instantiated to <code class="code">v</code>, i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_interval.html#VALcstr">cstr</a> [<a href="Fcl_interval.html">Fcl_interval</a>]</td>
<td><div class="info">
<code class="code">cstr v inf sup b</code> returns a constraint ensuring that the boolean
     variable <code class="code">b</code> is instantiated to <code class="code">1</code> if <code class="code">v</code> is in <code class="code">inf..sup</code> and to
     <code class="code">0</code> otherwise.
</div>
</td></tr>
<tr><td><a href="Fcl_linear.html#VALcstr">cstr</a> [<a href="Fcl_linear.html">Fcl_linear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_alldiff.html#VALcstr">cstr</a> [<a href="Fcl_alldiff.html">Fcl_alldiff</a>]</td>
<td><div class="info">
<code class="code">alldiff (?algo:Lazy) vars</code> States that the variables of <code class="code">vars</code>
   are different from each other.
</div>
</td></tr>
<tr><td><a href="Fcl_boolean.html#VALcstr">cstr</a> [<a href="Fcl_boolean.html">Fcl_boolean</a>]</td>
<td><div class="info">
<code class="code">cstr bools sum</code> returns a constraint ensuring that <code class="code">sum</code> is equal
    to the sum of the boolean variables of the array <code class="code">bools</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_reify.html#VALcstr">cstr</a> [<a href="Fcl_reify.html">Fcl_reify</a>]</td>
<td><div class="info">
<code class="code">cstr ~delay_on_negation:true c b</code> is equivalent to the
    constraint <code class="code">boolean ?delay_on_negation c =~ b</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Stak.html#VALcut">cut</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALcut">cut</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
<code class="code">cut l</code> cuts the choice points left on the stack until level <code class="code">l</code>.
</div>
</td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALdelay">delay</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.html#VALdelay">delay</a> [<a href="Facile.Var.html">Facile.Var</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALdelay">delay</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">delay event_list v ~waking_id:id c</code> suspends constraint <code class="code">c</code> on all
   the events in <code class="code">event_list</code> occurring on <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Stak.html#VALdepth">depth</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALdepth">depth</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
Depth of the stack, i.e.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.html#VALdichotomic">dichotomic</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALdichotomic">dichotomic</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
Non-deterministic instantiation of a variable, by dichotomic recursive
   exploration of its domain.
</div>
</td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALdiff">diff</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALdiff">diff</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALdiff">diff</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALdiff">diff</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">diff d1 d2</code> returns <code class="code">d1</code>  <code class="code">d2</code>, i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALdiffeqsign">diffeqsign</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALdifference">difference</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALdifference">difference</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">difference big small</code> returns <code class="code">big</code>  <code class="code">small</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALdiffsign">diffsign</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALdisjoint">disjoint</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALdisjoint">disjoint</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALdisjoint">disjoint</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">disjoint v1 v2</code> defined by <code class="code">all_disjoint [|v1; v2|]</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALdisjoint">disjoint</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">disjoint d1 d2</code> tests whether <code class="code">d1</code> and <code class="code">d2</code> are disjoint.
</div>
</td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALdivision">division</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALdivision_aux">division_aux</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALdom">dom</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALdom">dom</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
<code class="code">dom a</code> returns the integer domain of an attribute.
</div>
</td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Facile.Arith.html#VALe2fd">e2fd</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALe2fd">e2fd</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">e2fd e</code> creates and returns a new variable <code class="code">v</code> and posts the constraint
    <code class="code">fd2e v =~ e</code>.
</div>
</td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALelements">elements</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALelements">elements</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALelt">elt</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALelt">elt</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">int n</code> returns a new variable instantiated to integer value <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Facile.SetDomain.html#VALelt_of_list">elt_of_list</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.html#VALelt_of_list">elt_of_list</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
Creates a set from a list of integers.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALelt_value">elt_value</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALelt_value">elt_value</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">int_value v</code> returns the value of <code class="code">v</code> if it is instantiated and raises
   a <code class="code">Failure</code> exception otherwise.
</div>
</td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALempty">empty</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALempty">empty</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALempty">empty</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALempty">empty</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
The empty domain.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALepsilon">epsilon</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALequal">equal</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALequal">equal</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALequal">equal</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
Tests if two variables are equal with respect to <code class="code">compare</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALequal">equal</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALeval">eval</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Expr.html#VALeval">eval</a> [<a href="Facile.Expr.html">Facile.Expr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALeval">eval</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">eval e</code> returns the integer numerical value of a fully instantiated
   expression <code class="code">e</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_expr.html#VALeval">eval</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td><div class="info">
<code class="code">eval e</code> returns the integer numerical value of a fully instantiated
   expression <code class="code">e</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.List.html#VALexists">exists</a> [<a href="Facile.Goals.List.html">Facile.Goals.List</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.Array.html#VALexists">exists</a> [<a href="Facile.Goals.Array.html">Facile.Goals.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.List.html#VALexists">exists</a> [<a href="Fcl_goals.List.html">Fcl_goals.List</a>]</td>
<td><div class="info">
<code class="code">exists ?select g [x1;x2;...;xn]</code> is <code class="code">g x1 ||~ g x2 ||~ ... ||~ g xn</code>,
     i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_goals.Array.html#VALexists">exists</a> [<a href="Fcl_goals.Array.html">Fcl_goals.Array</a>]</td>
<td><div class="info">
<code class="code">exists ?select g a</code> defined by <code class="code">existsi ?select (fun _i x -&gt; g x) a</code>,
     i.e.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.Array.html#VALexistsi">existsi</a> [<a href="Facile.Goals.Array.html">Facile.Goals.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.Array.html#VALexistsi">existsi</a> [<a href="Fcl_goals.Array.html">Fcl_goals.Array</a>]</td>
<td><div class="info">
<code class="code">existsi ?select g a</code> returns the disjunctive iteration
     of the application of goal <code class="code">g</code> on the elements of array <code class="code">a</code>
     and on their indices.
</div>
</td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALexpn">expn</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALexpn_aux">expn_aux</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALexpn_int">expn_int</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td align="left"><br>F</td></tr>
<tr><td><a href="Facile.Goals.html#VALfail">fail</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Stak.html#VALfail">fail</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALfail">fail</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALfail">fail</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
<code class="code">fail x</code> equivalent to <code class="code">raise (Fail x)</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_debug.html#VALfatal_error">fatal_error</a> [<a href="Fcl_debug.html">Fcl_debug</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Easy.html#VALfd2e">fd2e</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALfd2e">fd2e</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALfd2e">fd2e</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">fd2e v</code> returns an expression which evaluates to <code class="code">n</code> if the
    variable <code class="code">v</code> is instantiated to <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALfind">find</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALfind">find</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALfold">fold</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALfold">fold</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.List.html#VALforall">forall</a> [<a href="Facile.Goals.List.html">Facile.Goals.List</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.Array.html#VALforall">forall</a> [<a href="Facile.Goals.Array.html">Facile.Goals.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.List.html#VALforall">forall</a> [<a href="Fcl_goals.List.html">Fcl_goals.List</a>]</td>
<td><div class="info">
<code class="code">forall ?select g [x1;x2;...;xn]</code> is <code class="code">g x1 &amp;&amp;~ g x2 &amp;&amp;~ ... &amp;&amp;~ g xn</code>,
     i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_goals.Array.html#VALforall">forall</a> [<a href="Fcl_goals.Array.html">Fcl_goals.Array</a>]</td>
<td><div class="info">
<code class="code">forall ?select g a</code> defined by <code class="code">foralli ?select (fun _i x -&gt; g x) a</code>,
     i.e.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.Array.html#VALforalli">foralli</a> [<a href="Facile.Goals.Array.html">Facile.Goals.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.Array.html#VALforalli">foralli</a> [<a href="Fcl_goals.Array.html">Fcl_goals.Array</a>]</td>
<td><div class="info">
<code class="code">foralli ?select g a</code> returns the conjunctive iteration
     of the application of goal <code class="code">g</code> on the elements of array <code class="code">a</code>
     and on their indices.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.html#VALfordownto">fordownto</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALfordownto">fordownto</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">forto min max g</code> (resp.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.html#VALforto">forto</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALforto">forto</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.html#VALfprint">fprint</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALfprint">fprint</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Expr.html#VALfprint">fprint</a> [<a href="Facile.Expr.html">Facile.Expr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALfprint">fprint</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALfprint">fprint</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALfprint">fprint</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Cstr.html#VALfprint">fprint</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALfprint">fprint</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALfprint">fprint</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALfprint">fprint</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">fprint chan g</code> prints the name of goal <code class="code">g</code> on channel <code class="code">chan</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_arith.html#VALfprint">fprint</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">fprint chan e</code> prints expression <code class="code">e</code> on channel <code class="code">chan</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_expr.html#VALfprint">fprint</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td><div class="info">
<code class="code">fprint chan e</code> prints expression <code class="code">e</code> on channel <code class="code">chan</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_invariant.html#VALfprint">fprint</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">fprint c ~printer:(fun _ _ -&gt; ()) r</code> prints BIR <code class="code">r</code> on channel <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALfprint">fprint</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">fprint chan v</code> prints variable <code class="code">v</code> on channel <code class="code">chan</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALfprint">fprint</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
<code class="code">fprint chan a</code> prints attribute <code class="code">a</code> on channel <code class="code">chan</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_cstr.html#VALfprint">fprint</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">fprint chan c</code> prints the constraint <code class="code">c</code> on channel <code class="code">chan</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.html#VALfprint">fprint</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
Pretty printing of elements and domains.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALfprint">fprint</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
Pretty printing of elements and domains.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALfprint">fprint</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALfprint_array">fprint_array</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALfprint_array">fprint_array</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">fprint_array chan vs</code> prints array of variables <code class="code">vs</code> on channel <code class="code">chan</code>.
</div>
</td></tr>
<tr><td><a href="Facile.SetDomain.html#VALfprint_elt">fprint_elt</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALfprint_elt">fprint_elt</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.html#VALfprint_elt">fprint_elt</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALfprint_elt">fprint_elt</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_float.html#VALfprint_elt">fprint_elt</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td align="left"><br>G</td></tr>
<tr><td><a href="Fcl_misc.html#VALgen_int_fun">gen_int_fun</a> [<a href="Fcl_misc.html">Fcl_misc</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.FdArray.html#VALget">get</a> [<a href="Facile.FdArray.html">Facile.FdArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.Array.html#VALget">get</a> [<a href="Facile.Invariant.Array.html">Facile.Invariant.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.html#VALget">get</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALget">get</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Stak.html#VALget">get</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_fdArray.html#VALget">get</a> [<a href="Fcl_fdArray.html">Fcl_fdArray</a>]</td>
<td><div class="info">
<code class="code">get vars index</code> returns a variable constrained to be equal to
   <code class="code">vars.(index)</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_invariant.Array.html#VALget">get</a> [<a href="Fcl_invariant.Array.html">Fcl_invariant.Array</a>]</td>
<td><div class="info">
<code class="code">get a i</code> returns the BIR element number <code class="code">i</code> of array <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_invariant.html#VALget">get</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
Access to the content of a BIR.
</div>
</td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALget">get</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALget">get</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
Dereference.
</div>
</td></tr>
<tr><td><a href="Facile.Arith.html#VALget_boolsum_threshold">get_boolsum_threshold</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALget_boolsum_threshold">get_boolsum_threshold</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
Returns the minimum size for boolean sums optimization.
</div>
</td></tr>
<tr><td><a href="Fcl_linear.html#VALget_boolsum_threshold">get_boolsum_threshold</a> [<a href="Fcl_linear.html">Fcl_linear</a>]</td>
<td><div class="info">
Returns the minimum size for boolean sums optimization.
</div>
</td></tr>
<tr><td><a href="Facile.FdArray.html#VALget_cstr">get_cstr</a> [<a href="Facile.FdArray.html">Facile.FdArray</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_fdArray.html#VALget_cstr">get_cstr</a> [<a href="Fcl_fdArray.html">Fcl_fdArray</a>]</td>
<td><div class="info">
<code class="code">get_cstr vars index v</code> returns the constraint
   <code class="code">fd2e vars.(index) =~ fd2e v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_misc.html#VALgoedel">goedel</a> [<a href="Fcl_misc.html">Fcl_misc</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALgreatest_leq">greatest_leq</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALgreatest_leq">greatest_leq</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">smallest_geq dom val</code> (resp.
</div>
</td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="Facile.Easy.html#VALi2e">i2e</a> [<a href="Facile.Easy.html">Facile.Easy</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALi2e">i2e</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALi2e">i2e</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">i2e n</code> returns an expression which evaluates to <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Invariant.html#VALid">id</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALid">id</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALid">id</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Cstr.html#VALid">id</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.html#VALid">id</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">id r</code> returns a unique integer associated to BIR <code class="code">r</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALid">id</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">id v</code> returns a unique integer identifying the attribute associated
   with <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALid">id</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
<code class="code">id a</code> returns a unique integer identifying the attribute <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_cstr.html#VALid">id</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">id c</code> returns a unique integer identifying the constraint <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Cstr.html#VALimmediate">immediate</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALimmediate">immediate</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALincluded">included</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALincluded">included</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.html#VALincluded">included</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
<code class="code">included d1 d2</code> tests whether the domain <code class="code">d1</code> is included in <code class="code">d2</code>,
   i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALincluded">included</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">included d1 d2</code> tests whether domain <code class="code">d1</code> is included in domain <code class="code">d2</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALincluded">included</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.Conjunto.html#VALindomain">indomain</a> [<a href="Facile.Goals.Conjunto.html">Facile.Goals.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALindomain">indomain</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.Conjunto.html#VALindomain">indomain</a> [<a href="Fcl_goals.Conjunto.html">Fcl_goals.Conjunto</a>]</td>
<td><div class="info">
Non-deterministic instantiation of set variables (<code class="code">refine</code> of Gervet's
     Conjunto).
</div>
</td></tr>
<tr><td><a href="Fcl_goals.html#VALindomain">indomain</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
Non-deterministic instantiation of a variable, by labeling its domain
   (in increasing order).
</div>
</td></tr>
<tr><td><a href="Facile.Conjunto.html#VALinf_min">inf_min</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALinf_min">inf_min</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">inf_min v1 v2</code> ensures that the minimal element
   of <code class="code">v1</code> is less than or equal to the minimal element of <code class="code">v2</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Cstr.html#VALinit">init</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALinside">inside</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALinside">inside</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALinstantiate">instantiate</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALinstantiate">instantiate</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">instantiate choose var</code> Non-deterministic instantiation of a variable,
   by labeling its domain using the value returned by the <code class="code">choose</code> function.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALint">int</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALint">int</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALint">int</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
The largest representable domain.
</div>
</td></tr>
<tr><td><a href="Fcl_misc.html#VALint_overflow">int_overflow</a> [<a href="Fcl_misc.html">Fcl_misc</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALint_value">int_value</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALint_value">int_value</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALinter">inter</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALinter">inter</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALinter">inter</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
Operations on sets.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALinter">inter</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_debug.html#VALinternal_error">internal_error</a> [<a href="Fcl_debug.html">Fcl_debug</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALintersection">intersection</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALintersection">intersection</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALinterval">interval</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALinterval">interval</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALinterval">interval</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALinterval">interval</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">interval ?name inf sup</code> returns a new variable with domain <code class="code">[inf..sup]</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.html#VALinterval">interval</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
<code class="code">interval glb lub</code> builds the domain of sets greater than <code class="code">glb</code> and
smaller than <code class="code">lub</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALinterval">interval</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">interval inf sup</code> returns the domain of all integers in the closed
     interval <code class="code">[inf..sup]</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALinterval">interval</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALinterval_iter">interval_iter</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALinterval_iter">interval_iter</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">interval_iter f d</code> successively applies function <code class="code">f</code> to the bounds
     of all the disjoint intervals of <code class="code">d</code> in increasing order.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALis_bound">is_bound</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALis_bound">is_bound</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">is_bound v</code> returns <code class="code">true</code> if <code class="code">v</code> is instantiated and <code class="code">false</code>
   otherwise.
</div>
</td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALis_empty">is_empty</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALis_empty">is_empty</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALis_empty">is_empty</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALis_empty">is_empty</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">is_empty d</code> tests whether the domain <code class="code">d</code> is empty or not.
</div>
</td></tr>
<tr><td><a href="Facile.Interval.html#VALis_member">is_member</a> [<a href="Facile.Interval.html">Facile.Interval</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_interval.html#VALis_member">is_member</a> [<a href="Fcl_interval.html">Fcl_interval</a>]</td>
<td><div class="info">
<code class="code">is_member v inf sup</code> returns a boolean variable which will
     be instantiated to <code class="code">1</code> if <code class="code">v</code> is in <code class="code">inf..sup</code> and to <code class="code">0</code> otherwise.
</div>
</td></tr>
<tr><td><a href="Facile.Cstr.html#VALis_solved">is_solved</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALis_solved">is_solved</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">is_solved c</code> returns <code class="code">true</code> if <code class="code">c</code> is satisfied and <code class="code">false</code> otherwise.
</div>
</td></tr>
<tr><td><a href="Facile.Invariant.FD.html#VALis_var">is_var</a> [<a href="Facile.Invariant.FD.html">Facile.Invariant.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALis_var">is_var</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.FD.html#VALis_var">is_var</a> [<a href="Fcl_invariant.FD.html">Fcl_invariant.FD</a>]</td>
<td><div class="info">
BIR variants of <code class="code">Fd.Var</code> access functions.
</div>
</td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALis_var">is_var</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">is_var v</code> returns <code class="code">true</code> if <code class="code">v</code> is not instantiated and <code class="code">false</code>
   otherwise.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.GlList.html#VALiter">iter</a> [<a href="Facile.Goals.GlList.html">Facile.Goals.GlList</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.GlArray.html#VALiter">iter</a> [<a href="Facile.Goals.GlArray.html">Facile.Goals.GlArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.FD.html#VALiter">iter</a> [<a href="Facile.Var.FD.html">Facile.Var.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALiter">iter</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALiter">iter</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALiter">iter</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALiter">iter</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.FD.html#VALiter">iter</a> [<a href="Fcl_var.FD.html">Fcl_var.FD</a>]</td>
<td><div class="info">
<code class="code">iter f v</code> iterates f on each integer in the domain of <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALiter">iter</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALiter">iter</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.html#VALiter">iter</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
Iteration on values of the domain.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALiter">iter</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">iter f d</code> successively applies function <code class="code">f</code> to all element of <code class="code">d</code> in
  increasing order.
</div>
</td></tr>
<tr><td><a href="Fcl_misc.html#VALiter">iter</a> [<a href="Fcl_misc.html">Fcl_misc</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.GlArray.html#VALiter2">iter2</a> [<a href="Facile.Goals.GlArray.html">Facile.Goals.GlArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.GlList.html#VALiter_h">iter_h</a> [<a href="Facile.Goals.GlList.html">Facile.Goals.GlList</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.GlArray.html#VALiter_h">iter_h</a> [<a href="Facile.Goals.GlArray.html">Facile.Goals.GlArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.GlArray.html#VALiter_hi">iter_hi</a> [<a href="Facile.Goals.GlArray.html">Facile.Goals.GlArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.GlArray.html#VALiteri">iteri</a> [<a href="Facile.Goals.GlArray.html">Facile.Goals.GlArray</a>]</td>
<td></td></tr>
<tr><td align="left"><br>L</td></tr>
<tr><td><a href="Facile.Goals.GlList.html#VALlabeling">labeling</a> [<a href="Facile.Goals.GlList.html">Facile.Goals.GlList</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.List.html#VALlabeling">labeling</a> [<a href="Facile.Goals.List.html">Facile.Goals.List</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.GlArray.html#VALlabeling">labeling</a> [<a href="Facile.Goals.GlArray.html">Facile.Goals.GlArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.Array.html#VALlabeling">labeling</a> [<a href="Facile.Goals.Array.html">Facile.Goals.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.List.html#VALlabeling">labeling</a> [<a href="Fcl_goals.List.html">Fcl_goals.List</a>]</td>
<td><div class="info">
Standard labeling, i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_goals.Array.html#VALlabeling">labeling</a> [<a href="Fcl_goals.Array.html">Fcl_goals.Array</a>]</td>
<td><div class="info">
Standard labeling, i.e.
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALlargest_hole_around">largest_hole_around</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALlargest_hole_around">largest_hole_around</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">largest_hole_around dom val</code> returns the largest hole (interval)
      in <code class="code">dom</code> centred around <code class="code">val</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_misc.html#VALlast_and_length">last_and_length</a> [<a href="Fcl_misc.html">Fcl_misc</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Cstr.html#VALlater">later</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALlater">later</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
Available priorities: immediate: as soon as possible, for quick updates;, normal: standard priority;, later: for time consuming constraints (e.g. <code class="code">Gcc.cstr</code>, <code class="code">Alldiff.cstr</code>...).
</div>
</td></tr>
<tr><td><a href="Facile.Goals.html#VALlds">lds</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALlds">lds</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">lds ~step:1 g</code> returns a goal which will iteratively search <code class="code">g</code> with
     increasing limited discrepancy (see ) by
     increment <code class="code">step</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Stak.html#VALlevel">level</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALlevel">level</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
Returns the current level.
</div>
</td></tr>
<tr><td><a href="Fcl_debug.html#VALlevel">level</a> [<a href="Fcl_debug.html">Fcl_debug</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Stak.html#VALlevels">levels</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALlevels">levels</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
Returns the current active levels.
</div>
</td></tr>
<tr><td><a href="Fcl_linear.html#VALlinear_aux">linear_aux</a> [<a href="Fcl_linear.html">Fcl_linear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_debug.html#VALlog">log</a> [<a href="Fcl_debug.html">Fcl_debug</a>]</td>
<td></td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="Facile.FdArray.html#VALmax">max</a> [<a href="Facile.FdArray.html">Facile.FdArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.FD.html#VALmax">max</a> [<a href="Facile.Invariant.FD.html">Facile.Invariant.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALmax">max</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALmax">max</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALmax">max</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALmax">max</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_fdArray.html#VALmax">max</a> [<a href="Fcl_fdArray.html">Fcl_fdArray</a>]</td>
<td><div class="info">
<code class="code">min vars</code> (resp.
</div>
</td></tr>
<tr><td><a href="Fcl_invariant.FD.html#VALmax">max</a> [<a href="Fcl_invariant.FD.html">Fcl_invariant.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALmax">max</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">max v</code> returns the upper bound of <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALmax">max</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
<code class="code">min a</code> (resp.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.html#VALmax">max</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALmax">max</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">min d</code> (resp.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALmax">max</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VALmax">max</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.FdArray.html#VALmax_cstr">max_cstr</a> [<a href="Facile.FdArray.html">Facile.FdArray</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_fdArray.html#VALmax_cstr">max_cstr</a> [<a href="Fcl_fdArray.html">Fcl_fdArray</a>]</td>
<td><div class="info">
<code class="code">min_cstr vars mini</code> (resp.
</div>
</td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALmax_elt">max_elt</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALmax_elt">max_elt</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmax_of_absmod_inter">max_of_absmod_inter</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALmax_of_expr">max_of_expr</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Expr.html#VALmax_of_expr">max_of_expr</a> [<a href="Facile.Expr.html">Facile.Expr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALmax_of_expr">max_of_expr</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">min_of_expr e</code> (resp.
</div>
</td></tr>
<tr><td><a href="Fcl_expr.html#VALmax_of_expr">max_of_expr</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td><div class="info">
<code class="code">min_of_expr e</code> (resp.
</div>
</td></tr>
<tr><td><a href="Facile.Conjunto.html#VALmem">mem</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALmem">mem</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALmem">mem</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALmem">mem</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALmem">mem</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">mem x v</code> states that <code class="code">x</code> belongs to <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALmem">mem</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALmem">mem</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.html#VALmem">mem</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
<code class="code">mem x d</code> tests whether <code class="code">x</code> belongs to the domain <code class="code">d</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALmem">mem</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_float.html#VALmem">mem</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALmember">member</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.GlList.html#VALmember">member</a> [<a href="Facile.Goals.GlList.html">Facile.Goals.GlList</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.List.html#VALmember">member</a> [<a href="Facile.Goals.List.html">Facile.Goals.List</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALmember">member</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALmember">member</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALmember">member</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.List.html#VALmember">member</a> [<a href="Fcl_goals.List.html">Fcl_goals.List</a>]</td>
<td><div class="info">
<code class="code">member v l</code> returns the disjunctive iteration of the instantiation of
   the variable <code class="code">v</code> to the values in the integer list <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_conjunto.html#VALmember">member</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">member v l</code> ensures that <code class="code">v</code> will have a value in <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALmember">member</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">member v n</code> returns <code class="code">true</code> if <code class="code">n</code> belongs to the domain of <code class="code">v</code> and
   <code class="code">false</code> otherwise.
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALmember">member</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
<code class="code">member a n</code> tests if <code class="code">n</code> belongs to <code class="code">dom a</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALmember">member</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">member n d</code> tests if <code class="code">n</code> belongs to <code class="code">d</code>.
</div>
</td></tr>
<tr><td><a href="Facile.FdArray.html#VALmin">min</a> [<a href="Facile.FdArray.html">Facile.FdArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.FD.html#VALmin">min</a> [<a href="Facile.Invariant.FD.html">Facile.Invariant.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.Array.html#VALmin">min</a> [<a href="Facile.Invariant.Array.html">Facile.Invariant.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALmin">min</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALmin">min</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALmin">min</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALmin">min</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_fdArray.html#VALmin">min</a> [<a href="Fcl_fdArray.html">Fcl_fdArray</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.FD.html#VALmin">min</a> [<a href="Fcl_invariant.FD.html">Fcl_invariant.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.Array.html#VALmin">min</a> [<a href="Fcl_invariant.Array.html">Fcl_invariant.Array</a>]</td>
<td><div class="info">
<code class="code">min a c</code> returns the minimum BIR value of <code class="code">a</code> for criterion <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALmin">min</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">min v</code> returns the lower bound of <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALmin">min</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.html#VALmin">min</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALmin">min</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_float.html#VALmin">min</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VALmin">min</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.FdArray.html#VALmin_cstr">min_cstr</a> [<a href="Facile.FdArray.html">Facile.FdArray</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_fdArray.html#VALmin_cstr">min_cstr</a> [<a href="Fcl_fdArray.html">Fcl_fdArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALmin_elt">min_elt</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALmin_elt">min_elt</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALmin_max">min_max</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALmin_max">min_max</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALmin_max">min_max</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALmin_max">min_max</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">min_max v</code> returns both the lower and upper bounds of <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.html#VALmin_max">min_max</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
Access to glb and lub.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALmin_max">min_max</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">min_max d</code> returns both the lower and upper bound of <code class="code">d</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALmin_max">min_max</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmin_max_abs_inter">min_max_abs_inter</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmin_max_div_inter">min_max_div_inter</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmin_max_expn_inter">min_max_expn_inter</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_linear.html#VALmin_max_minus_inter">min_max_minus_inter</a> [<a href="Fcl_linear.html">Fcl_linear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmin_max_mod_inter">min_max_mod_inter</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmin_max_mult_inter">min_max_mult_inter</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALmin_max_of_expr">min_max_of_expr</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Expr.html#VALmin_max_of_expr">min_max_of_expr</a> [<a href="Facile.Expr.html">Facile.Expr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALmin_max_of_expr">min_max_of_expr</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">min_max_of_expr e</code> is equivalent to <code class="code">(min_of_expr e, max_of_expr e)</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_expr.html#VALmin_max_of_expr">min_max_of_expr</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td><div class="info">
<code class="code">min_max_of_expr e</code> is equivalent to <code class="code">(min_of_expr e, max_of_expr e)</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_linear.html#VALmin_max_plus_inter">min_max_plus_inter</a> [<a href="Fcl_linear.html">Fcl_linear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmin_of_absmod_inter">min_of_absmod_inter</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALmin_of_expr">min_of_expr</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Expr.html#VALmin_of_expr">min_of_expr</a> [<a href="Facile.Expr.html">Facile.Expr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALmin_of_expr">min_of_expr</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_expr.html#VALmin_of_expr">min_of_expr</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Opti.html#VALminimize">minimize</a> [<a href="Facile.Opti.html">Facile.Opti</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALminimize">minimize</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_opti.html#VALminimize">minimize</a> [<a href="Fcl_opti.html">Fcl_opti</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALminimize">minimize</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">minimize ~step:1 ~mode:Continue goal cost solution</code> runs a Branch
    and Bound algorithm on <code class="code">goal</code> for bound <code class="code">cost</code>, with an improvement
    of at least <code class="code">step</code> between each solution found.
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALminus">minus</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALminus">minus</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">minus d</code> returns the domain of opposite values of <code class="code">d</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmodulo">modulo</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmodulo_aux">modulo_aux</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmonome">monome</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALmonome_aux">monome_aux</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td align="left"><br>N</td></tr>
<tr><td><a href="Facile.Invariant.html#VALname">name</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALname">name</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALname">name</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Cstr.html#VALname">name</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALname">name</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">name g</code> returns the name of the goal <code class="code">g</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_invariant.html#VALname">name</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">name r</code> returns the name (specified or generated) of BIR <code class="code">r</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALname">name</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">name v</code> returns the name of variable <code class="code">v</code> (the empty string if
   it was not provided while created).
</div>
</td></tr>
<tr><td><a href="Fcl_cstr.html#VALname">name</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">name c</code> returns the name of the constraint <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Stak.html#VALnb_choice_points">nb_choice_points</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALnb_choice_points">nb_choice_points</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
Access to a global counter incremented at each choice point.
</div>
</td></tr>
<tr><td><a href="Facile.Cstr.html#VALnormal">normal</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALnormal">normal</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Reify.html#VALnot">not</a> [<a href="Facile.Reify.html">Facile.Reify</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_reify.html#VALnot">not</a> [<a href="Fcl_reify.html">Fcl_reify</a>]</td>
<td><div class="info">
Logical reification operators on constraints, namely
   and, or, implies, equivalent, exclusive or, not.
</div>
</td></tr>
<tr><td><a href="Fcl_cstr.html#VALnot">not</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">not c</code> returns the negation of <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.GlArray.html#VALnot_instantiated_fd">not_instantiated_fd</a> [<a href="Facile.Goals.GlArray.html">Facile.Goals.GlArray</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.Array.html#VALnot_instantiated_fd">not_instantiated_fd</a> [<a href="Facile.Goals.Array.html">Facile.Goals.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.Array.html#VALnot_instantiated_fd">not_instantiated_fd</a> [<a href="Fcl_goals.Array.html">Fcl_goals.Array</a>]</td>
<td><div class="info">
<code class="code">not_instantiated_fd fds</code> returns the index of one element in <code class="code">fds</code>
     which is not instantiated.
</div>
</td></tr>
<tr><td align="left"><br>O</td></tr>
<tr><td><a href="Facile.Stak.html#VALolder">older</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALolder">older</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
<code class="code">older l1 l2</code> true if level <code class="code">l1</code> precedes <code class="code">l2</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALon_max">on_max</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALon_max">on_max</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALon_max">on_max</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
Event occuring when the lower (resp.
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALon_max">on_max</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
Event occuring when the lower (resp.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALon_min">on_min</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALon_min">on_min</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALon_min">on_min</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALon_min">on_min</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALon_refine">on_refine</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALon_refine">on_refine</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALon_refine">on_refine</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
Event occuring when a variable is changed, i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALon_refine">on_refine</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
Event occuring when a variable is changed, i.e.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALon_subst">on_subst</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALon_subst">on_subst</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALon_subst">on_subst</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
Event occuring when a variable is instantiated.
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALon_subst">on_subst</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
Event occuring when a variable is instantiated.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.html#VALonce">once</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALonce">once</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">once g</code> cuts choice points left on goal <code class="code">g</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Cstr.html#VALone">one</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALone">one</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALorder">order</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALorder">order</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">order v1 v2</code> ensures that <code class="code">v1</code> is less than or equal to <code class="code">v2</code>
   according to <code class="code">Domain.compare</code> .
</div>
</td></tr>
<tr><td><a href="Facile.Conjunto.html#VALorder_with_card">order_with_card</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALorder_with_card">order_with_card</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">order_with_card v1 card1 v2 card2</code> is equivalent to <code class="code">order</code> but the cardinals
   of the variables must be provided too.
</div>
</td></tr>
<tr><td><a href="Facile.Conjunto.html#VALoutside">outside</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALoutside">outside</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
Basic refinements for labeling.
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Facile.Domain.html#VALplus">plus</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALplus">plus</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">plus d n</code> translates a domain by <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Cstr.html#VALpost">post</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALpost">post</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">post c</code> posts the constraint <code class="code">c</code> to the constraint store.
</div>
</td></tr>
<tr><td><a href="Fcl_debug.html#VALprint_in_assert">print_in_assert</a> [<a href="Fcl_debug.html">Fcl_debug</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Cstr.html#VALpriority">priority</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALpriority">priority</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
<code class="code">priority c</code> returns the priority of the constraint <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Invariant.html#VALprod">prod</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALprod">prod</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALprod">prod</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.html#VALprod">prod</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">sum a</code> returns a BIR equal to the product of elements of <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Arith.html#VALprod_fd">prod_fd</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALprod_fd">prod_fd</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">prod exps</code> (resp.
</div>
</td></tr>
<tr><td><a href="Fcl_misc.html#VALprotect">protect</a> [<a href="Fcl_misc.html">Fcl_misc</a>]</td>
<td></td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="Fcl_expr.html#VALreduce">reduce</a> [<a href="Fcl_expr.html">Fcl_expr</a>]</td>
<td><div class="info">
<code class="code">reduce e</code> normalizes expression <code class="code">e</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Stak.html#VALref">ref</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_stak.html#VALref">ref</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
Returns a reference whose modifications will be trailed during the
   solving of a goal.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALrefine">refine</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALrefine">refine</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">refine v d</code> reduces the domain of <code class="code">v</code> with domain <code class="code">d</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALrefine_low">refine_low</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALrefine_low">refine_low</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">refine_low v inf</code> reduces the domain of <code class="code">v</code> by cutting all values
    strictly less than <code class="code">inf</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALrefine_low_up">refine_low_up</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALrefine_low_up">refine_low_up</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">refine_low_up v inf sup</code> reduces the domain of <code class="code">v</code> by cutting all values
    strictly less than <code class="code">inf</code> and greater than <code class="code">sup</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALrefine_up">refine_up</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALrefine_up">refine_up</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">refine_up v sup</code> reduces the domain of <code class="code">v</code> by cutting all values
    strictly greater than <code class="code">sup</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.FD.html#VALremove">remove</a> [<a href="Facile.Var.FD.html">Facile.Var.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALremove">remove</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALremove">remove</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALremove">remove</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.FD.html#VALremove">remove</a> [<a href="Fcl_var.FD.html">Fcl_var.FD</a>]</td>
<td><div class="info">
<code class="code">remove v a</code> removes <code class="code">a</code> from the domain of <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALremove">remove</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALremove">remove</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALremove">remove</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">remove n d</code> returns <code class="code">d</code>  <code class="code">{n}</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALremove_closed_inter">remove_closed_inter</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALremove_closed_inter">remove_closed_inter</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">remove_closed_inter inf sup d</code> returns
      <code class="code">d</code>  <code class="code">[inf..sup]</code>, i.e.
</div>
</td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALremove_low">remove_low</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALremove_low">remove_low</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALremove_low">remove_low</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALremove_low">remove_low</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">remove_up n d</code> (resp.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALremove_low">remove_low</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALremove_low_up">remove_low_up</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALremove_low_up">remove_low_up</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">remove_low_up low up d</code> is a shortcut for
   <code class="code">remove_up up (remove_low low d)</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALremove_max">remove_max</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">remove_min d</code> (resp.
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALremove_min">remove_min</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALremove_min">remove_min</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALremove_up">remove_up</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALremove_up">remove_up</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALremove_up">remove_up</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALremove_up">remove_up</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_float.html#VALremove_up">remove_up</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Data.Hashtbl.html#VALreplace">replace</a> [<a href="Facile.Data.Hashtbl.html">Facile.Data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_data.Hashtbl.html#VALreplace">replace</a> [<a href="Fcl_data.Hashtbl.html">Fcl_data.Hashtbl</a>]</td>
<td></td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Facile.Arith.html#VALscalprod">scalprod</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALscalprod">scalprod</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALscalprod_fd">scalprod_fd</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALscalprod_fd">scalprod_fd</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">scalprod coeffs exps</code> (resp.
</div>
</td></tr>
<tr><td><a href="Facile.Invariant.html#VALset">set</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Data.Array.html#VALset">set</a> [<a href="Facile.Data.Array.html">Facile.Data.Array</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Stak.html#VALset">set</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.html#VALset">set</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
Assignment of a setable BIR.
</div>
</td></tr>
<tr><td><a href="Fcl_data.Array.html#VALset">set</a> [<a href="Fcl_data.Array.html">Fcl_data.Array</a>]</td>
<td><div class="info">
<code class="code">set t i x</code> Bactrackable assignment of <code class="code">t.(i)</code> with <code class="code">x</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_stak.html#VALset">set</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
Sets a backtrackable reference.
</div>
</td></tr>
<tr><td><a href="Facile.Arith.html#VALset_boolsum_threshold">set_boolsum_threshold</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALset_boolsum_threshold">set_boolsum_threshold</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
Set the minimum size for boolean sums optimization.
</div>
</td></tr>
<tr><td><a href="Fcl_linear.html#VALset_boolsum_threshold">set_boolsum_threshold</a> [<a href="Fcl_linear.html">Fcl_linear</a>]</td>
<td><div class="info">
Set the minimum size for boolean sums optimization.
</div>
</td></tr>
<tr><td><a href="Facile.Arith.html#VALshift">shift</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALshift">shift</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">shift x d</code> returns a finite domain variable constrained to be
   equal to <code class="code">x+d</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_linear.html#VALshift_cstr">shift_cstr</a> [<a href="Fcl_linear.html">Fcl_linear</a>]</td>
<td><div class="info">
<code class="code">shift_cstr y x d</code> returns the constraint <code class="code">y = x+d</code>
</div>
</td></tr>
<tr><td><a href="Facile.Goals.html#VALsigma">sigma</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALsigma">sigma</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">sigma ~domain:Domain.int fgoal</code> creates the goal <code class="code">(fgoal v)</code>
   where <code class="code">v</code> is a new
   variable of domain <code class="code">domain</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_misc.Operators.html#VALsign">sign</a> [<a href="Fcl_misc.Operators.html">Fcl_misc.Operators</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALsingleton">singleton</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALsingleton">singleton</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.FD.html#VALsize">size</a> [<a href="Facile.Invariant.FD.html">Facile.Invariant.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALsize">size</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.ATTR.html#VALsize">size</a> [<a href="Facile.Var.ATTR.html">Facile.Var.ATTR</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Stak.html#VALsize">size</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALsize">size</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.FD.html#VALsize">size</a> [<a href="Fcl_invariant.FD.html">Fcl_invariant.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALsize">size</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">size v</code> returns the number of integer values in the domain of <code class="code">v</code>
   (<code class="code">1</code> if <code class="code">v</code> is instantiated).
</div>
</td></tr>
<tr><td><a href="Fcl_var.ATTR.html#VALsize">size</a> [<a href="Fcl_var.ATTR.html">Fcl_var.ATTR</a>]</td>
<td><div class="info">
<code class="code">size a</code> returns the number of integer values in the domain of <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.html#VALsize">size</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
<code class="code">size d</code> returns |glb(d)|-|lub(d)|+1, i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALsize">size</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">size d</code> returns the number of integers in <code class="code">d</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_stak.html#VALsize">size</a> [<a href="Fcl_stak.html">Fcl_stak</a>]</td>
<td><div class="info">
Size of the stack, i.e.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALsize">size</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALsmallest">smallest</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALsmallest">smallest</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">smallest v</code> returns the smallest element (an integer variable) of <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALsmallest_geq">smallest_geq</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALsmallest_geq">smallest_geq</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALsolve">solve</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALsolve">solve</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">solve ~control:(fun _ -&gt; ()) g</code> solves the goal <code class="code">g</code> and returns
     a success (<code class="code">true</code>) or a
     failure (<code class="code">false</code>).
</div>
</td></tr>
<tr><td><a href="Facile.Sorting.html#VALsort">sort</a> [<a href="Facile.Sorting.html">Facile.Sorting</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_sorting.html#VALsort">sort</a> [<a href="Fcl_sorting.html">Fcl_sorting</a>]</td>
<td><div class="info">
<code class="code">sort a</code> returns an array of variables constrained to be the variables
     in <code class="code">a</code> sorted in increasing order.
</div>
</td></tr>
<tr><td><a href="Facile.Sorting.html#VALsortp">sortp</a> [<a href="Facile.Sorting.html">Facile.Sorting</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_sorting.html#VALsortp">sortp</a> [<a href="Fcl_sorting.html">Fcl_sorting</a>]</td>
<td><div class="info">
<code class="code">sortp a</code> same as <code class="code">sort</code> but returns a couple <code class="code">(sorted, perm)</code>
     where <code class="code">sorted</code> is the array of sorted variables and <code class="code">perm</code> is an
     array of variables constrained to be the permutation between <code class="code">a</code> and
     <code class="code">sorted</code>, i.e.
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALsprint">sprint</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALsprint">sprint</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">sprint d</code> returns a string representation of <code class="code">d</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALstrictly_inf">strictly_inf</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALsubset">subset</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALsubset">subset</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALsubset">subset</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">subset v1 v2</code> ensures that <code class="code">v1</code> is a subset of <code class="code">v2</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALsubset">subset</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALsubst">subst</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Goals.html#VALsuccess">success</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALsuccess">success</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
Failure (resp.
</div>
</td></tr>
<tr><td><a href="Facile.Invariant.html#VALsum">sum</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Arith.html#VALsum">sum</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Boolean.html#VALsum">sum</a> [<a href="Facile.Boolean.html">Facile.Boolean</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALsum">sum</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_boolean.html#VALsum">sum</a> [<a href="Fcl_boolean.html">Fcl_boolean</a>]</td>
<td><div class="info">
<code class="code">sum bools</code> returns the sum (a new variable) and posts the preceding
    constraint.
</div>
</td></tr>
<tr><td><a href="Fcl_invariant.html#VALsum">sum</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">sum a</code> returns a BIR equal to the sum of elements of <code class="code">a</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Arith.html#VALsum_fd">sum_fd</a> [<a href="Facile.Arith.html">Facile.Arith</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_arith.html#VALsum_fd">sum_fd</a> [<a href="Fcl_arith.html">Fcl_arith</a>]</td>
<td><div class="info">
<code class="code">sum exps</code> (resp.
</div>
</td></tr>
<tr><td><a href="Facile.Conjunto.html#VALsum_weight">sum_weight</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALsum_weight">sum_weight</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td><div class="info">
<code class="code">sum_weight v weights</code> returns an integer variable equal to the sum
   of the weights associated with the value in <code class="code">v</code>.
</div>
</td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="Facile.Invariant.html#VALternary">ternary</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.html#VALternary">ternary</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">ternary ~name:"Invariant.ternary" f</code> wraps the ternary function <code class="code">f</code>
   into an operator on BIRs.
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALtimes">times</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALtimes">times</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">times d k</code> expands a domain by factor <code class="code">k</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Stak.html#VALtrail">trail</a> [<a href="Facile.Stak.html">Facile.Stak</a>]</td>
<td></td></tr>
<tr><td align="left"><br>U</td></tr>
<tr><td><a href="Fcl_nonlinear.html#VALudiffsign">udiffsign</a> [<a href="Fcl_nonlinear.html">Fcl_nonlinear</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.FD.html#VALunary">unary</a> [<a href="Facile.Invariant.FD.html">Facile.Invariant.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Invariant.html#VALunary">unary</a> [<a href="Facile.Invariant.html">Facile.Invariant</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_invariant.FD.html#VALunary">unary</a> [<a href="Fcl_invariant.FD.html">Fcl_invariant.FD</a>]</td>
<td><div class="info">
<code class="code">unary ~name:"Invariant.XxxFd.unary" f v</code> Wrapper of any access
     function over <code class="code">fd</code> type.
</div>
</td></tr>
<tr><td><a href="Fcl_invariant.html#VALunary">unary</a> [<a href="Fcl_invariant.html">Fcl_invariant</a>]</td>
<td><div class="info">
<code class="code">unary ~name:"Invariant.unary" f</code> wraps the unary function <code class="code">f</code> into
   an operator on BIRs.
</div>
</td></tr>
<tr><td><a href="Facile.Goals.html#VALunify">unify</a> [<a href="Facile.Goals.html">Facile.Goals</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALunify">unify</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_goals.html#VALunify">unify</a> [<a href="Fcl_goals.html">Fcl_goals</a>]</td>
<td><div class="info">
<code class="code">unify var x</code> instantiates variable <code class="code">var</code> to <code class="code">x</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALunify">unify</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">unify v n</code> instantiates variable <code class="code">v</code> with integer value <code class="code">n</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALunify_cstr">unify_cstr</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Conjunto.html#VALunion">union</a> [<a href="Facile.Conjunto.html">Facile.Conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.S.html#VALunion">union</a> [<a href="Facile.SetDomain.S.html">Facile.SetDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALunion">union</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_conjunto.html#VALunion">union</a> [<a href="Fcl_conjunto.html">Fcl_conjunto</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_setDomain.S.html#VALunion">union</a> [<a href="Fcl_setDomain.S.html">Fcl_setDomain.S</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALunion">union</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
Intersection (resp.
</div>
</td></tr>
<tr><td><a href="Facile.Domain.html#VALunsafe_create">unsafe_create</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_domain.html#VALunsafe_create">unsafe_create</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">unsafe_create l</code> builds a new domain containing the values of <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_genesis.html#VALurbcsp">urbcsp</a> [<a href="Fcl_genesis.html">Fcl_genesis</a>]</td>
<td></td></tr>
<tr><td align="left"><br>V</td></tr>
<tr><td><a href="Facile.Var.BASICFD.html#VALvalue">value</a> [<a href="Facile.Var.BASICFD.html">Facile.Var.BASICFD</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.BASICFD.html#VALvalue">value</a> [<a href="Fcl_var.BASICFD.html">Fcl_var.BASICFD</a>]</td>
<td><div class="info">
<code class="code">value v</code> returns <code class="code">Val n</code> if <code class="code">v</code> is instantiated to <code class="code">n</code>, <code class="code">Unk a</code> otherwise
   where <code class="code">a</code> is the attribute of <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Facile.Var.FD.html#VALvalues">values</a> [<a href="Facile.Var.FD.html">Facile.Var.FD</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.SetDomain.html#VALvalues">values</a> [<a href="Facile.SetDomain.html">Facile.SetDomain</a>]</td>
<td></td></tr>
<tr><td><a href="Facile.Domain.html#VALvalues">values</a> [<a href="Facile.Domain.html">Facile.Domain</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_var.FD.html#VALvalues">values</a> [<a href="Fcl_var.FD.html">Fcl_var.FD</a>]</td>
<td><div class="info">
<code class="code">values v</code> returns the list of all integers in the domain of <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Fcl_setDomain.html#VALvalues">values</a> [<a href="Fcl_setDomain.html">Fcl_setDomain</a>]</td>
<td><div class="info">
Returns values of a domain.
</div>
</td></tr>
<tr><td><a href="Fcl_domain.html#VALvalues">values</a> [<a href="Fcl_domain.html">Fcl_domain</a>]</td>
<td><div class="info">
<code class="code">value d</code> returns the list of values of the domain <code class="code">d</code>
</div>
</td></tr>
<tr><td align="left"><br>X</td></tr>
<tr><td><a href="Facile.Reify.html#VALxor">xor</a> [<a href="Facile.Reify.html">Facile.Reify</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_reify.html#VALxor">xor</a> [<a href="Fcl_reify.html">Fcl_reify</a>]</td>
<td></td></tr>
<tr><td align="left"><br>Z</td></tr>
<tr><td><a href="Facile.Cstr.html#VALzero">zero</a> [<a href="Facile.Cstr.html">Facile.Cstr</a>]</td>
<td></td></tr>
<tr><td><a href="Fcl_cstr.html#VALzero">zero</a> [<a href="Fcl_cstr.html">Fcl_cstr</a>]</td>
<td><div class="info">
The constraint which succeeds (resp.
</div>
</td></tr>
<tr><td><a href="Fcl_float.html#VALzero">zero</a> [<a href="Fcl_float.html">Fcl_float</a>]</td>
<td></td></tr>
</table><br>
</body>
</html>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional