<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Constraint (geoml.Geoml.Constraint)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../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">geoml</a> &#x00BB; <a href="../index.html">Geoml</a> &#x00BB; Constraint</nav><header class="odoc-preamble"><h1>Module <code><span>Geoml.Constraint</span></code></h1><p>Strict and large linear constraints mmanipulation</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type" id="type-comp" class="anchored"><a href="#type-comp" class="anchor"></a><code><span><span class="keyword">type</span> comp</span><span> = </span></code><table><tr id="type-comp.Lt" class="anchored"><td class="def variant constructor"><a href="#type-comp.Lt" class="anchor"></a><code><span>| </span><span><span class="constructor">Lt</span></span></code></td></tr><tr id="type-comp.Gt" class="anchored"><td class="def variant constructor"><a href="#type-comp.Gt" class="anchor"></a><code><span>| </span><span><span class="constructor">Gt</span></span></code></td></tr><tr id="type-comp.Leq" class="anchored"><td class="def variant constructor"><a href="#type-comp.Leq" class="anchor"></a><code><span>| </span><span><span class="constructor">Leq</span></span></code></td></tr><tr id="type-comp.Geq" class="anchored"><td class="def variant constructor"><a href="#type-comp.Geq" class="anchor"></a><code><span>| </span><span><span class="constructor">Geq</span></span></code></td></tr></table></div></div><div class="odoc-spec"><div class="spec value" id="val-neg" class="anchored"><a href="#val-neg" class="anchor"></a><code><span><span class="keyword">val</span> neg : <span><a href="#type-comp">comp</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-comp">comp</a></span></code></div></div><div class="odoc-spec"><div class="spec type" id="type-t" class="anchored"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span class="keyword">private</span> <a href="../Line/index.html#type-t">Line.t</a> * <a href="#type-comp">comp</a></span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-make" class="anchored"><a href="#val-make" class="anchor"></a><code><span><span class="keyword">val</span> make : <span><a href="../Line/index.html#type-t">Line.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-comp">comp</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-get_comp" class="anchored"><a href="#val-get_comp" class="anchor"></a><code><span><span class="keyword">val</span> get_comp : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-comp">comp</a></span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-get_border" class="anchored"><a href="#val-get_border" class="anchor"></a><code><span><span class="keyword">val</span> get_border : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../Line/index.html#type-t">Line.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-contains" class="anchored"><a href="#val-contains" class="anchor"></a><code><span><span class="keyword">val</span> contains : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Point/index.html#type-t">Point.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p>contains c p returns true if the point p is in the half-space defined by c</p></div></div><div class="odoc-spec"><div class="spec value" id="val-complementary" class="anchored"><a href="#val-complementary" class="anchor"></a><code><span><span class="keyword">val</span> complementary : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>returns the complementary constraint of a constraint</p></div></div><div class="odoc-spec"><div class="spec value" id="val-translate" class="anchored"><a href="#val-translate" class="anchor"></a><code><span><span class="keyword">val</span> translate : <span>float <span class="arrow">&#45;&gt;</span></span> <span>float <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-intersects" class="anchored"><a href="#val-intersects" class="anchor"></a><code><span><span class="keyword">val</span> intersects : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-print" class="anchored"><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><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div></div></body></html>