<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>1-I (libabsolute.Libabsolute__.Filter.Make.1-I)</title><link rel="stylesheet" href="../../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> â€“ <a href="../../../../index.html">libabsolute</a> &#x00BB; <a href="../../../index.html">Libabsolute__</a> &#x00BB; <a href="../../index.html">Filter</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; 1-I</nav><h1>Parameter <code>Make.1-I</code></h1><nav class="toc"><ul><li><a href="#set-theoretic">SET-THEORETIC</a></li></ul></nav></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><dt class="spec value" id="val-top_int"><a href="#val-top_int" class="anchor"></a><code><span class="keyword">val</span> top_int : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-top_real"><a href="#val-top_real" class="anchor"></a><code><span class="keyword">val</span> top_real : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_ints"><a href="#val-of_ints" class="anchor"></a><code><span class="keyword">val</span> of_ints : int <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>constructors</p></dd></dl><dl><dt class="spec value" id="val-of_rats"><a href="#val-of_rats" class="anchor"></a><code><span class="keyword">val</span> of_rats : <a href="../../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a> <span>&#45;&gt;</span> <a href="../../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_floats"><a href="#val-of_floats" class="anchor"></a><code><span class="keyword">val</span> of_floats : float <span>&#45;&gt;</span> float <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_int"><a href="#val-of_int" class="anchor"></a><code><span class="keyword">val</span> of_int : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>singletons</p></dd></dl><dl><dt class="spec value" id="val-of_rat"><a href="#val-of_rat" class="anchor"></a><code><span class="keyword">val</span> of_rat : <a href="../../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_float"><a href="#val-of_float" class="anchor"></a><code><span class="keyword">val</span> of_float : float <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-to_float_range"><a href="#val-to_float_range" class="anchor"></a><code><span class="keyword">val</span> to_float_range : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float * float</code></dt><dd><h2 id="printing-and-conversions"><a href="#printing-and-conversions" class="anchor"></a>PRINTING and CONVERSIONS</h2></dd></dl><dl><dt class="spec value" id="val-to_rational_range"><a href="#val-to_rational_range" class="anchor"></a><code><span class="keyword">val</span> to_rational_range : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a> * <a href="../../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a></code></dt><dt class="spec value" id="val-to_annot"><a href="#val-to_annot" class="anchor"></a><code><span class="keyword">val</span> to_annot : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../../Libabsolute/Csp/index.html#type-typ">Libabsolute.Csp.typ</a></code></dt><dd><p>returns the type annotation of the represented values</p></dd></dl><dl><dt class="spec value" id="val-print"><a href="#val-print" class="anchor"></a><code><span class="keyword">val</span> print : Stdlib.Format.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-to_constraint"><a href="#val-to_constraint" class="anchor"></a><code><span class="keyword">val</span> to_constraint : string <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../../Libabsolute/Constraint/index.html#type-t">Libabsolute.Constraint.t</a></code></dt><dd><p>converts the interval to a boolean constraint</p></dd></dl><dl><dt class="spec value" id="val-float_size"><a href="#val-float_size" class="anchor"></a><code><span class="keyword">val</span> float_size : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float</code></dt><dd><p>measure</p></dd></dl><dl><dt class="spec value" id="val-score"><a href="#val-score" class="anchor"></a><code><span class="keyword">val</span> score : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float</code></dt></dl><section><header><h2 id="set-theoretic"><a href="#set-theoretic" class="anchor"></a>SET-THEORETIC</h2></header><dl><dt class="spec value" id="val-join"><a href="#val-join" class="anchor"></a><code><span class="keyword">val</span> join : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>operations</p></dd></dl><dl><dt class="spec value" id="val-meet"><a href="#val-meet" class="anchor"></a><code><span class="keyword">val</span> meet : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-meet_opt"><a href="#val-meet_opt" class="anchor"></a><code><span class="keyword">val</span> meet_opt : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dd><p>same as meet but returns an option instead of raising Exit</p></dd></dl><dl><dt class="spec value" id="val-split"><a href="#val-split" class="anchor"></a><code><span class="keyword">val</span> split : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> list</span></code></dt><dt class="spec value" id="val-prune"><a href="#val-prune" class="anchor"></a><code><span class="keyword">val</span> prune : <span><span>(<a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> list</span>)</span> option</span></code></dt><dt class="spec value" id="val-contains_float"><a href="#val-contains_float" class="anchor"></a><code><span class="keyword">val</span> contains_float : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float <span>&#45;&gt;</span> bool</code></dt><dd><p>predicates</p></dd></dl><dl><dt class="spec value" id="val-is_positive"><a href="#val-is_positive" class="anchor"></a><code><span class="keyword">val</span> is_positive : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_negative"><a href="#val-is_negative" class="anchor"></a><code><span class="keyword">val</span> is_negative : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_singleton"><a href="#val-is_singleton" class="anchor"></a><code><span class="keyword">val</span> is_singleton : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-neg"><a href="#val-neg" class="anchor"></a><code><span class="keyword">val</span> neg : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><h2 id="interval-arithmetics-(forward-evaluation)"><a href="#interval-arithmetics-(forward-evaluation)" class="anchor"></a>INTERVAL ARITHMETICS (FORWARD EVALUATION)</h2></dd></dl><dl><dt class="spec value" id="val-abs"><a href="#val-abs" class="anchor"></a><code><span class="keyword">val</span> abs : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-add"><a href="#val-add" class="anchor"></a><code><span class="keyword">val</span> add : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-sub"><a href="#val-sub" class="anchor"></a><code><span class="keyword">val</span> sub : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-mul"><a href="#val-mul" class="anchor"></a><code><span class="keyword">val</span> mul : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-div"><a href="#val-div" class="anchor"></a><code><span class="keyword">val</span> div : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dd><p>return valid values (possibly Bot, if dividend is nul)</p></dd></dl><dl><dt class="spec value" id="val-min"><a href="#val-min" class="anchor"></a><code><span class="keyword">val</span> min : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>min and max over intervals</p></dd></dl><dl><dt class="spec value" id="val-max"><a href="#val-max" class="anchor"></a><code><span class="keyword">val</span> max : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-pow"><a href="#val-pow" class="anchor"></a><code><span class="keyword">val</span> pow : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>returns valid value when the exponant is a singleton positive integer. fails otherwise</p></dd></dl><dl><dt class="spec value" id="val-n_root"><a href="#val-n_root" class="anchor"></a><code><span class="keyword">val</span> n_root : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dt class="spec value" id="val-exp"><a href="#val-exp" class="anchor"></a><code><span class="keyword">val</span> exp : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-ln"><a href="#val-ln" class="anchor"></a><code><span class="keyword">val</span> ln : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dt class="spec value" id="val-log"><a href="#val-log" class="anchor"></a><code><span class="keyword">val</span> log : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dt class="spec value" id="val-eval_fun"><a href="#val-eval_fun" class="anchor"></a><code><span class="keyword">val</span> eval_fun : string <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> list</span> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dd><p>function calls (sqrt, exp, ln ...) are handled here : given a function name and and a list of argument, it returns a possibly bottom result</p></dd></dl><dl><dt class="spec value" id="val-spawn"><a href="#val-spawn" class="anchor"></a><code><span class="keyword">val</span> spawn : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float</code></dt><dd><p>generate a random float within the given interval</p></dd></dl></section></div></body></html>