<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Result (libabsolute.Libabsolute__.Result)</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; Result</nav><h1>Module <code>Libabsolute__.Result</code></h1></header><aside><p>This module defines solution of the abstract solver as covers</p></aside><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> <span>'a t</span></code><code> = </code><code>{</code><table class="record"><tr id="type-t.sure" class="anchored"><td class="def field"><a href="#type-t.sure" class="anchor"></a><code>sure : <span><span class="type-var">'a</span> list</span>;</code></td><td class="doc"><p>elements that satisfy the constraints</p></td></tr><tr id="type-t.unsure" class="anchored"><td class="def field"><a href="#type-t.unsure" class="anchor"></a><code>unsure : <span><span class="type-var">'a</span> list</span>;</code></td><td class="doc"><p>elements that MAY satisfy the constraints</p></td></tr><tr id="type-t.nb_sure" class="anchored"><td class="def field"><a href="#type-t.nb_sure" class="anchor"></a><code>nb_sure : int;</code></td><td class="doc"><p>size of sure list</p></td></tr><tr id="type-t.nb_unsure" class="anchored"><td class="def field"><a href="#type-t.nb_unsure" class="anchor"></a><code>nb_unsure : int;</code></td><td class="doc"><p>size of unsure list</p></td></tr><tr id="type-t.vol_sure" class="anchored"><td class="def field"><a href="#type-t.vol_sure" class="anchor"></a><code>vol_sure : float;</code></td><td class="doc"><p>volume of the elements in the sure list</p></td></tr><tr id="type-t.vol_unsure" class="anchored"><td class="def field"><a href="#type-t.vol_unsure" class="anchor"></a><code>vol_unsure : float;</code></td><td class="doc"><p>volume of the elements in the unsure list</p></td></tr><tr id="type-t.nb_steps" class="anchored"><td class="def field"><a href="#type-t.nb_steps" class="anchor"></a><code>nb_steps : int;</code></td><td class="doc"><p>number of steps of the solving process</p></td></tr><tr id="type-t.best_value" class="anchored"><td class="def field"><a href="#type-t.best_value" class="anchor"></a><code>best_value : <a href="../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a>;</code></td><td class="doc"><p>best value found during the optimization</p></td></tr></table><code>}</code></dt><dd><p>The type of cover where sure is an under-approximation of the solution set and the union of sure and unsure is an over-approximaton of the solution set</p></dd></dl><dl><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val</span> empty : <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span></code></dt><dd><p>empty result</p></dd></dl><dl><dt class="spec value" id="val-inner_ratio"><a href="#val-inner_ratio" class="anchor"></a><code><span class="keyword">val</span> inner_ratio : <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> float</code></dt><dd><p>computes the inner ratio (between 0 and 1) of a solution</p></dd></dl><dl><dt class="spec value" id="val-add_inner"><a href="#val-add_inner" class="anchor"></a><code><span class="keyword">val</span> add_inner : <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span></code></dt><dd><p>adds an inner element to a result</p></dd></dl><dl><dt class="spec value" id="val-add_outer"><a href="#val-add_outer" class="anchor"></a><code><span class="keyword">val</span> add_outer : <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span></code></dt><dd><p>adds an outer element to a result</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> <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> unit</code></dt><dd><p>printer</p></dd></dl></div></body></html>