svf-tools 1.0.772 → 1.0.774

package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr-members.html

@@ -78,11 +78,11 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd">BoundedZ3Expr</a>(const Z3Expr &amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248">BoundedZ3Expr</a>(const z3::expr &amp;e)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680">BoundedZ3Expr</a>(s32_t i)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a3ebb7be1d777e058d1dc30ca86f06434">BoundedZ3Expr</a>(int64_t i)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb">BoundedZ3Expr</a>(s64_t i)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa">BoundedZ3Expr</a>(const BoundedZ3Expr &amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3">BoundedZ3Expr</a>(BoundedZ3Expr &amp;&amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">bv2int</a>(const BoundedZ3Expr &amp;e, bool isSigned)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ad933b3a56e3004f13eca9b67a80d8ee8">bvLen</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7">bvLen</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5">ctx</a></td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a56ba65487cc91248259e29d3ebb5bdb0">dumpStr</a>(const Z3Expr &amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">e</a></td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
@@ -96,7 +96,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">getExpr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a7cf1481ad29951ca46c1d4418f28c91e">getExprSize</a>(const Z3Expr &amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#af541505af93ccebf57543793658cf495">getFalseCond</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a950c44fafa34b36a16e5913b6a9ea51d">getNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">getNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681">getSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#aaa0c9122f34208235a2d830432665752">getTrueCond</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">hash</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>