<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dom (infer.InferModules.Dom)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><meta name="generator" content="doc-ock-html v1.0.0-1-g1fc9bf0"/></head><body><nav id="top"><a href="../index.html">Up</a> — <span class="package">package <a href="../../index.html">infer</a></span></nav><header><h1><span class="keyword">Module</span> <span class="module-path">InferModules.Dom</span></h1></header><p>Join and Meet Operators</p><h3>Join Operators</h3><div class="spec val" id="val-pathset_join"><a href="#val-pathset_join" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>pathset_join : <a href="../../../InferIR/InferIR/Typ/Procname/index.html#type-t">InferIR.Typ.Procname.t</a> <span class="keyword">‑></span> <a href="../../../InferIR/InferIR/Tenv/index.html#type-t">InferIR.Tenv.t</a> <span class="keyword">‑></span> <a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a> <span class="keyword">‑></span> <a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a> <span class="keyword">‑></span> <a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a><span class="keyword"> * </span><a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a></code></div><div class="doc"><p>Join two pathsets</p></div></div><div class="spec val" id="val-proplist_collapse_pre"><a href="#val-proplist_collapse_pre" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>proplist_collapse_pre : <a href="../../../InferIR/InferIR/Tenv/index.html#type-t">InferIR.Tenv.t</a> <span class="keyword">‑></span> <a href="../Prop/index.html#type-normal">Prop.normal</a> <a href="../Prop/index.html#type-t">Prop.t</a> list <span class="keyword">‑></span> <a href="../Prop/index.html#type-normal">Prop.normal</a> <a href="../BiabductionSummary/Jprop/index.html#type-t">BiabductionSummary.Jprop.t</a> list</code></div><div class="doc"></div></div><div class="spec val" id="val-pathset_collapse"><a href="#val-pathset_collapse" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>pathset_collapse : <a href="../../../InferIR/InferIR/Tenv/index.html#type-t">InferIR.Tenv.t</a> <span class="keyword">‑></span> <a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a> <span class="keyword">‑></span> <a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a></code></div><div class="doc"></div></div><div class="spec val" id="val-pathset_collapse_impl"><a href="#val-pathset_collapse_impl" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>pathset_collapse_impl : <a href="../../../InferIR/InferIR/Typ/Procname/index.html#type-t">InferIR.Typ.Procname.t</a> <span class="keyword">‑></span> <a href="../../../InferIR/InferIR/Tenv/index.html#type-t">InferIR.Tenv.t</a> <span class="keyword">‑></span> <a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a> <span class="keyword">‑></span> <a href="../Paths/PathSet/index.html#type-t">Paths.PathSet.t</a></code></div><div class="doc"><p>reduce the pathset only based on implication checking.</p></div></div><h3>Meet Operators</h3><div class="spec val" id="val-propset_meet_generate_pre"><a href="#val-propset_meet_generate_pre" class="anchor"></a><div class="def val"><code><span class="keyword">val </span>propset_meet_generate_pre : <a href="../../../InferIR/InferIR/Tenv/index.html#type-t">InferIR.Tenv.t</a> <span class="keyword">‑></span> <a href="../Propset/index.html#type-t">Propset.t</a> <span class="keyword">‑></span> <a href="../Prop/index.html#type-normal">Prop.normal</a> <a href="../Prop/index.html#type-t">Prop.t</a> list</code></div><div class="doc"><p><code class="code">propset_meet_generate_pre</code> generates new symbolic heaps (i.e., props) by applying the partial meet operator, adds the generated heaps to the argument propset, and returns the resulting propset. This function is tuned for combining preconditions.</p></div></div></body></html>