infer_clone/website/static/odoc/next/infer/Biabduction__Dom/index.html

<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Biabduction__Dom (infer.Biabduction__Dom)</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">infer</a> &#x00BB; Biabduction__Dom</nav><h1>Module <code>Biabduction__Dom</code></h1><nav class="toc"><ul><li><a href="#join-operators">Join Operators</a></li><li><a href="#meet-operators">Meet Operators</a></li></ul></nav></header><aside><p>Join and Meet Operators</p></aside><section><header><h3 id="join-operators"><a href="#join-operators" class="anchor"></a>Join Operators</h3></header><dl><dt class="spec value" id="val-pathset_join"><a href="#val-pathset_join" class="anchor"></a><code><span class="keyword">val</span> pathset_join : <span><a href="../Biabduction/BiabductionSummary/index.html#type-t">Biabduction.BiabductionSummary.t</a> <a href="../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <a href="../Biabduction/Paths/PathSet/index.html#type-t">Biabduction.Paths.PathSet.t</a> <span>&#45;&gt;</span> <a href="../Biabduction/Paths/PathSet/index.html#type-t">Biabduction.Paths.PathSet.t</a> <span>&#45;&gt;</span> <a href="../Biabduction/Paths/PathSet/index.html#type-t">Biabduction.Paths.PathSet.t</a> * <a href="../Biabduction/Paths/PathSet/index.html#type-t">Biabduction.Paths.PathSet.t</a></code></dt><dd><p>Join two pathsets</p></dd></dl><dl><dt class="spec value" id="val-proplist_collapse_pre"><a href="#val-proplist_collapse_pre" class="anchor"></a><code><span class="keyword">val</span> proplist_collapse_pre : <a href="../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> <span><span><a href="../Biabduction/Prop/index.html#type-normal">Biabduction.Prop.normal</a> <a href="../Biabduction/Prop/index.html#type-t">Biabduction.Prop.t</a></span> list</span> <span>&#45;&gt;</span> <span><span><a href="../Biabduction/Prop/index.html#type-normal">Biabduction.Prop.normal</a> <a href="../Biabduction/BiabductionSummary/Jprop/index.html#type-t">Biabduction.BiabductionSummary.Jprop.t</a></span> list</span></code></dt></dl></section><section><header><h3 id="meet-operators"><a href="#meet-operators" class="anchor"></a>Meet Operators</h3></header><dl><dt class="spec value" id="val-propset_meet_generate_pre"><a href="#val-propset_meet_generate_pre" class="anchor"></a><code><span class="keyword">val</span> propset_meet_generate_pre : <a href="../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> <a href="../Biabduction/Propset/index.html#type-t">Biabduction.Propset.t</a> <span>&#45;&gt;</span> <span><span><a href="../Biabduction/Prop/index.html#type-normal">Biabduction.Prop.normal</a> <a href="../Biabduction/Prop/index.html#type-t">Biabduction.Prop.t</a></span> list</span></code></dt><dd><p><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></dd></dl></section></div></body></html>
[website] docs for current master Summary: Run `make doc-publish` and adjust links in website/docs/04-internal-API.md to point to odoc/next/infer/infer.html as the starting point of the docs has changed (was: odoc/index.html but now this also contains dead links to sledge and ppx_trace... also infer.mld is a me-written exposé of the various libraries and index.mld is an auto-generated list of all the modules now). Reviewed By: ngorogiannis Differential Revision: D21552864 fbshipit-source-id: c3977f645 5 years ago				`<!DOCTYPE html>`
make new-website-version Summary: Update documentation and add a version for v1.0.0. Reviewed By: martintrojer Differential Revision: D24191031 fbshipit-source-id: 0a57c693e 4 years ago				<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Biabduction__Dom (infer.Biabduction__Dom)</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">infer</a> » Biabduction__Dom</nav><h1>Module <code>Biabduction__Dom</code></h1><nav class="toc"><ul><li><a href="#join-operators">Join Operators</a></li><li><a href="#meet-operators">Meet Operators</a></li></ul></nav></header><aside><p>Join and Meet Operators</p></aside><section><header><h3 id="join-operators"><a href="#join-operators" class="anchor"></a>Join Operators</h3></header><dl><dt class="spec value" id="val-pathset_join"><a href="#val-pathset_join" class="anchor"></a><code><span class="keyword">val</span> pathset_join : <span><a href="../Biabduction/BiabductionSummary/index.html#type-t">Biabduction.BiabductionSummary.t</a> <a href="../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>-></span> <a href="../Biabduction/Paths/PathSet/index.html#type-t">Biabduction.Paths.PathSet.t</a> <span>-></span> <a href="../Biabduction/Paths/PathSet/index.html#type-t">Biabduction.Paths.PathSet.t</a> <span>-></span> <a href="../Biabduction/Paths/PathSet/index.html#type-t">Biabduction.Paths.PathSet.t</a> * <a href="../Biabduction/Paths/PathSet/index.html#type-t">Biabduction.Paths.PathSet.t</a></code></dt><dd><p>Join two pathsets</p></dd></dl><dl><dt class="spec value" id="val-proplist_collapse_pre"><a href="#val-proplist_collapse_pre" class="anchor"></a><code><span class="keyword">val</span> proplist_collapse_pre : <a href="../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>-></span> <span><span><a href="../Biabduction/Prop/index.html#type-normal">Biabduction.Prop.normal</a> <a href="../Biabduction/Prop/index.html#type-t">Biabduction.Prop.t</a></span> list</span> <span>-></span> <span><span><a href="../Biabduction/Prop/index.html#type-normal">Biabduction.Prop.normal</a> <a href="../Biabduction/BiabductionSummary/Jprop/index.html#type-t">Biabduction.BiabductionSummary.Jprop.t</a></span> list</span></code></dt></dl></section><section><header><h3 id="meet-operators"><a href="#meet-operators" class="anchor"></a>Meet Operators</h3></header><dl><dt class="spec value" id="val-propset_meet_generate_pre"><a href="#val-propset_meet_generate_pre" class="anchor"></a><code><span class="keyword">val</span> propset_meet_generate_pre : <a href="../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>-></span> <a href="../Biabduction/Propset/index.html#type-t">Biabduction.Propset.t</a> <span>-></span> <span><span><a href="../Biabduction/Prop/index.html#type-normal">Biabduction.Prop.normal</a> <a href="../Biabduction/Prop/index.html#type-t">Biabduction.Prop.t</a></span> list</span></code></dt><dd><p><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></dd></dl></section></div></body></html>