<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> <div class="navbar"> <a class="up" href="index.html" title="Index">Up</a> </div> <h1>Index of values</h1> <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(&&~)">(&&~)</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></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><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(<=>~~)">(<=>~~)</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><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(<>~)">(<>~)</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"> 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(<>~~)">(<>~~)</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"> 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(<~)">(<~)</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><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(=>~~)">(=>~~)</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><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(>=~)">(>=~)</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(>~)">(>~)</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(||~)">(||~)</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 () -> ()</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 -> 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 &&~ g x2 &&~ ... &&~ 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 -> 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 _ _ -> ()) 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 _ -> ()) 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> </body> </html>