<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Result (libabsolute.Libabsolute.Result)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> â€“ <a href="../../index.html">libabsolute</a> &#x00BB; <a href="../index.html">Libabsolute</a> &#x00BB; Result</nav><header class="odoc-preamble"><h1>Module <code><span>Libabsolute.Result</span></code></h1><p>This module defines solution of the abstract solver as covers</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a t</span></span><span> = </span><span>{</span></code><ol><li id="type-t.sure" class="def record field anchored"><a href="#type-t.sure" class="anchor"></a><code><span>sure : <span><span class="type-var">'a</span> list</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>elements that satisfy the constraints</p><span class="comment-delim">*)</span></div></li><li id="type-t.unsure" class="def record field anchored"><a href="#type-t.unsure" class="anchor"></a><code><span>unsure : <span><span class="type-var">'a</span> list</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>elements that MAY satisfy the constraints</p><span class="comment-delim">*)</span></div></li><li id="type-t.nb_sure" class="def record field anchored"><a href="#type-t.nb_sure" class="anchor"></a><code><span>nb_sure : int;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>size of sure list</p><span class="comment-delim">*)</span></div></li><li id="type-t.nb_unsure" class="def record field anchored"><a href="#type-t.nb_unsure" class="anchor"></a><code><span>nb_unsure : int;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>size of unsure list</p><span class="comment-delim">*)</span></div></li><li id="type-t.nb_steps" class="def record field anchored"><a href="#type-t.nb_steps" class="anchor"></a><code><span>nb_steps : int;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>number of steps of the solving process</p><span class="comment-delim">*)</span></div></li><li id="type-t.best_value" class="def record field anchored"><a href="#type-t.best_value" class="anchor"></a><code><span>best_value : <a href="../Q/index.html#type-t">Q.t</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>best value found during the optimization</p><span class="comment-delim">*)</span></div></li></ol><code><span>}</span></code></div><div class="spec-doc"><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></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span><span class="keyword">val</span> empty : <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>empty result</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-add_inner"><a href="#val-add_inner" class="anchor"></a><code><span><span class="keyword">val</span> add_inner : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'c</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>adds an inner element to a result</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-add_outer"><a href="#val-add_outer" class="anchor"></a><code><span><span class="keyword">val</span> add_outer : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'c</span> <a href="#type-t">t</a></span></span></code></div><div class="spec-doc"><p>adds an outer element to a result</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print"><a href="#val-print" class="anchor"></a><code><span><span class="keyword">val</span> print : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p>printer</p></div></div></div></body></html>
