svf-tools 1.0.752 → 1.0.753

package/SVF-doxygen/html/html/BoundedZ3Expr_8cpp_source.html

@@ -136,12 +136,12 @@ $(function() {
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00108">BoundedZ3Expr.h:108</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00109">BoundedZ3Expr.h:109</a></div></div>
 <div class="ttc" id="aBoundedZ3Expr_8h_html"><div class="ttname"><a href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html"><div class="ttname"><a href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00038">Z3Expr.h:38</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a950c44fafa34b36a16e5913b6a9ea51d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a950c44fafa34b36a16e5913b6a9ea51d">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00355">BoundedZ3Expr.h:355</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aaea0231e6991c9463efab58fa802e342"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342">SVF::BoundedZ3Expr::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00083">BoundedZ3Expr.h:83</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a950c44fafa34b36a16e5913b6a9ea51d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a950c44fafa34b36a16e5913b6a9ea51d">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00350">BoundedZ3Expr.h:350</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aaea0231e6991c9463efab58fa802e342"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342">SVF::BoundedZ3Expr::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00084">BoundedZ3Expr.h:84</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ad933b3a56e3004f13eca9b67a80d8ee8"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ad933b3a56e3004f13eca9b67a80d8ee8">SVF::BoundedZ3Expr::bvLen</a></div><div class="ttdeci">int64_t bvLen() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8cpp_source.html#l00034">BoundedZ3Expr.cpp:34</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ab5c21e9cce17bc0887ed5f3678810b34"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34">SVF::BoundedZ3Expr::BoundedZ3Expr</a></div><div class="ttdeci">BoundedZ3Expr()=default</div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a71461051f5fe6b4cc33103746525b23f"><div class="ttname"><a href="classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f">SVF::Options::MaxBVLen</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxBVLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00227">Options.h:227</a></div></div>

package/SVF-doxygen/html/html/BoundedZ3Expr_8h.html

@@ -67,7 +67,8 @@ $(function() {
 <div class="header">
   <div class="summary">
 <a href="#nested-classes">Classes</a> &#124;
-<a href="#namespaces">Namespaces</a>  </div>
+<a href="#namespaces">Namespaces</a> &#124;
+<a href="#define-members">Macros</a>  </div>
   <div class="headertitle">
 <div class="title">BoundedZ3Expr.h File Reference</div>  </div>
 </div><!--header-->
@@ -89,7 +90,29 @@ Namespaces</h2></td></tr>
 <tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
 <tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="define-members"></a>
+Macros</h2></td></tr>
+<tr class="memitem:adf05e95ec112057aa9e9abf8616e40c7"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7">MaxBvLen</a>&#160;&#160;&#160;64</td></tr>
+<tr class="separator:adf05e95ec112057aa9e9abf8616e40c7"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
+<h2 class="groupheader">Macro Definition Documentation</h2>
+<a id="adf05e95ec112057aa9e9abf8616e40c7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adf05e95ec112057aa9e9abf8616e40c7">&#9670;&nbsp;</a></span>MaxBvLen</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">#define MaxBvLen&#160;&#160;&#160;64</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="BoundedZ3Expr_8h_source.html#l00032">32</a> of file <a class="el" href="BoundedZ3Expr_8h_source.html">BoundedZ3Expr.h</a>.</p>
+
+</div>
+</div>
 </div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>