svf-tools 1.0.418 → 1.0.419

package/SVF-doxygen/html/html/classes.html

@@ -62,7 +62,7 @@ $(function() {
 <div class="title">Class Index</div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="qindex"><a class="qindex" href="#letter_a">a</a>&#160;|&#160;<a class="qindex" href="#letter_b">b</a>&#160;|&#160;<a class="qindex" href="#letter_c">c</a>&#160;|&#160;<a class="qindex" href="#letter_d">d</a>&#160;|&#160;<a class="qindex" href="#letter_e">e</a>&#160;|&#160;<a class="qindex" href="#letter_f">f</a>&#160;|&#160;<a class="qindex" href="#letter_g">g</a>&#160;|&#160;<a class="qindex" href="#letter_h">h</a>&#160;|&#160;<a class="qindex" href="#letter_i">i</a>&#160;|&#160;<a class="qindex" href="#letter_l">l</a>&#160;|&#160;<a class="qindex" href="#letter_m">m</a>&#160;|&#160;<a class="qindex" href="#letter_n">n</a>&#160;|&#160;<a class="qindex" href="#letter_o">o</a>&#160;|&#160;<a class="qindex" href="#letter_p">p</a>&#160;|&#160;<a class="qindex" href="#letter_r">r</a>&#160;|&#160;<a class="qindex" href="#letter_s">s</a>&#160;|&#160;<a class="qindex" href="#letter_t">t</a>&#160;|&#160;<a class="qindex" href="#letter_u">u</a>&#160;|&#160;<a class="qindex" href="#letter_v">v</a>&#160;|&#160;<a class="qindex" href="#letter_w">w</a></div>
+<div class="qindex"><a class="qindex" href="#letter_a">a</a>&#160;|&#160;<a class="qindex" href="#letter_b">b</a>&#160;|&#160;<a class="qindex" href="#letter_c">c</a>&#160;|&#160;<a class="qindex" href="#letter_d">d</a>&#160;|&#160;<a class="qindex" href="#letter_e">e</a>&#160;|&#160;<a class="qindex" href="#letter_f">f</a>&#160;|&#160;<a class="qindex" href="#letter_g">g</a>&#160;|&#160;<a class="qindex" href="#letter_h">h</a>&#160;|&#160;<a class="qindex" href="#letter_i">i</a>&#160;|&#160;<a class="qindex" href="#letter_l">l</a>&#160;|&#160;<a class="qindex" href="#letter_m">m</a>&#160;|&#160;<a class="qindex" href="#letter_n">n</a>&#160;|&#160;<a class="qindex" href="#letter_o">o</a>&#160;|&#160;<a class="qindex" href="#letter_p">p</a>&#160;|&#160;<a class="qindex" href="#letter_r">r</a>&#160;|&#160;<a class="qindex" href="#letter_s">s</a>&#160;|&#160;<a class="qindex" href="#letter_t">t</a>&#160;|&#160;<a class="qindex" href="#letter_u">u</a>&#160;|&#160;<a class="qindex" href="#letter_v">v</a>&#160;|&#160;<a class="qindex" href="#letter_w">w</a>&#160;|&#160;<a class="qindex" href="#letter_z">z</a></div>
 <table class="classindex">
 <tr><td rowspan="2" valign="bottom"><a name="letter_a"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;a&#160;&#160;</div></td></tr></table>
 </td><td valign="top"><a class="el" href="classSVF_1_1CxtStmt.html">CxtStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::CHNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html">isa_impl_cl&lt; To, const std::unique_ptr&lt; From &gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RaceValidator.html">RaceValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
@@ -95,11 +95,11 @@ $(function() {
 <tr><td rowspan="2" valign="bottom"><a name="letter_b"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;b&#160;&#160;</div></td></tr></table>
 </td><td valign="top"><a class="el" href="structDdManager.html">DdManager</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html">GraphTraits&lt; SVF::SVFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MemSSA.html">MemSSA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StInfo.html">StInfo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structDdNode.html">DdNode</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html">GraphTraits&lt; SVF::SVFVar * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MemSSADF.html">MemSSADF</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structDdQueueItem.html">DdQueueItem</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html">GraphTraits&lt; SVF::TCT * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MemSSAStat.html">MemSSAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StmtVFGNode.html">StmtVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1BinaryOPVFGNode.html">BinaryOPVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structDdSubtable.html">DdSubtable</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html">GraphTraits&lt; SVF::TCTNode * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MergeFunctionRets.html">MergeFunctionRets</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1BitVector.html">BitVector</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1cppUtil_1_1DemangledName.html">DemangledName</a> (<a class="el" href="namespaceSVF_1_1cppUtil.html">SVF::cppUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html">GraphTraits&lt; SVF::VFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MHP.html">MHP</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1BranchCondExpr.html">BranchCondExpr</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html">GraphTraits&lt; SVF::VFGNode * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MHPValidator.html">MHPValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1BranchCondManager.html">BranchCondManager</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_h"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;h&#160;&#160;</div></td></tr></table>
+<tr><td valign="top"><a class="el" href="classSVF_1_1BDDExpr.html">BDDExpr</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structDdQueueItem.html">DdQueueItem</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html">GraphTraits&lt; SVF::TCT * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MemSSAStat.html">MemSSAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StmtVFGNode.html">StmtVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1BDDManager.html">BDDManager</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structDdSubtable.html">DdSubtable</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html">GraphTraits&lt; SVF::TCTNode * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MergeFunctionRets.html">MergeFunctionRets</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1cppUtil_1_1DemangledName.html">DemangledName</a> (<a class="el" href="namespaceSVF_1_1cppUtil.html">SVF::cppUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html">GraphTraits&lt; SVF::VFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MHP.html">MHP</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StoreCHI.html">StoreCHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1BinaryOPVFGNode.html">BinaryOPVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html">GraphTraits&lt; SVF::VFGNode * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MHPValidator.html">MHPValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1BitVector.html">BitVector</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_h"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;h&#160;&#160;</div></td></tr></table>
 </td><td valign="top"><a class="el" href="structMove.html">Move</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1StoreVFGNode.html">StoreVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1BranchStmt.html">BranchStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DirectSVFGEdge.html">DirectSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MRGenerator.html">MRGenerator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1BranchVFGNode.html">BranchVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DistinctMRG.html">DistinctMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="unionhack.html">hack</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MRSVFGNode.html">MRSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
@@ -167,16 +167,17 @@ $(function() {
 <tr><td valign="top"><a class="el" href="classSVF_1_1CopyStmt.html">CopyStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepCGEdge.html">GepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IRGraph.html">IRGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTACallGraphEdge.html">PTACallGraphEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPAPass.html">WPAPass</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CopyVFGNode.html">CopyVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepObjVar.html">GepObjVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1is__simple__type.html">is_simple_type</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPASCCSolver.html">WPASCCSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl.html">isa_impl</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTACFInfoBuilder.html">PTACFInfoBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPASolver.html">WPASolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">CoreBitVector::CoreBitVectorIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepValVar.html">GepValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html">isa_impl&lt; To, From, typename std::enable_if&lt; std::is_base_of&lt; To, From &gt;::value &gt;::type &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTASCEV.html">PTASCEV</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CSC.html">CSC</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepVFGNode.html">GepVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTAStat.html">PTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
-<tr><td valign="top"><a class="el" href="structcuddPathPair.html">cuddPathPair</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GlobalICFGNode.html">GlobalICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">isa_impl_cl&lt; To, const From * &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTData.html">PTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">CoreBitVector::CoreBitVectorIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepValVar.html">GepValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html">isa_impl&lt; To, From, typename std::enable_if&lt; std::is_base_of&lt; To, From &gt;::value &gt;::type &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTASCEV.html">PTASCEV</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_z"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;z&#160;&#160;</div></td></tr></table>
+</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CSC.html">CSC</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepVFGNode.html">GepVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTAStat.html">PTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="structcuddPathPair.html">cuddPathPair</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GlobalICFGNode.html">GlobalICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">isa_impl_cl&lt; To, const From * &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTData.html">PTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1Z3Expr.html">Z3Expr</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CxtDPItem.html">CxtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html">SCCDetection::GNodeSCCInfo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html">isa_impl_cl&lt; To, const From *const &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_r"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;r&#160;&#160;</div></td></tr></table>
-</td><td></td></tr>
+</td><td valign="top"><a class="el" href="classSVF_1_1Z3Manager.html">Z3Manager</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CxtProc.html">CxtProc</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classllvm_1_1GraphPrinter.html">GraphPrinter</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html">isa_impl_cl&lt; To, const From &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td></td></tr>
 <tr><td></td><td></td><td></td><td valign="top"><a class="el" href="classSVF_1_1RaceResultValidator.html">RaceResultValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
 <tr><td></td><td></td><td></td><td></td><td></td></tr>
 </table>
-<div class="qindex"><a class="qindex" href="#letter_a">a</a>&#160;|&#160;<a class="qindex" href="#letter_b">b</a>&#160;|&#160;<a class="qindex" href="#letter_c">c</a>&#160;|&#160;<a class="qindex" href="#letter_d">d</a>&#160;|&#160;<a class="qindex" href="#letter_e">e</a>&#160;|&#160;<a class="qindex" href="#letter_f">f</a>&#160;|&#160;<a class="qindex" href="#letter_g">g</a>&#160;|&#160;<a class="qindex" href="#letter_h">h</a>&#160;|&#160;<a class="qindex" href="#letter_i">i</a>&#160;|&#160;<a class="qindex" href="#letter_l">l</a>&#160;|&#160;<a class="qindex" href="#letter_m">m</a>&#160;|&#160;<a class="qindex" href="#letter_n">n</a>&#160;|&#160;<a class="qindex" href="#letter_o">o</a>&#160;|&#160;<a class="qindex" href="#letter_p">p</a>&#160;|&#160;<a class="qindex" href="#letter_r">r</a>&#160;|&#160;<a class="qindex" href="#letter_s">s</a>&#160;|&#160;<a class="qindex" href="#letter_t">t</a>&#160;|&#160;<a class="qindex" href="#letter_u">u</a>&#160;|&#160;<a class="qindex" href="#letter_v">v</a>&#160;|&#160;<a class="qindex" href="#letter_w">w</a></div>
+<div class="qindex"><a class="qindex" href="#letter_a">a</a>&#160;|&#160;<a class="qindex" href="#letter_b">b</a>&#160;|&#160;<a class="qindex" href="#letter_c">c</a>&#160;|&#160;<a class="qindex" href="#letter_d">d</a>&#160;|&#160;<a class="qindex" href="#letter_e">e</a>&#160;|&#160;<a class="qindex" href="#letter_f">f</a>&#160;|&#160;<a class="qindex" href="#letter_g">g</a>&#160;|&#160;<a class="qindex" href="#letter_h">h</a>&#160;|&#160;<a class="qindex" href="#letter_i">i</a>&#160;|&#160;<a class="qindex" href="#letter_l">l</a>&#160;|&#160;<a class="qindex" href="#letter_m">m</a>&#160;|&#160;<a class="qindex" href="#letter_n">n</a>&#160;|&#160;<a class="qindex" href="#letter_o">o</a>&#160;|&#160;<a class="qindex" href="#letter_p">p</a>&#160;|&#160;<a class="qindex" href="#letter_r">r</a>&#160;|&#160;<a class="qindex" href="#letter_s">s</a>&#160;|&#160;<a class="qindex" href="#letter_t">t</a>&#160;|&#160;<a class="qindex" href="#letter_u">u</a>&#160;|&#160;<a class="qindex" href="#letter_v">v</a>&#160;|&#160;<a class="qindex" href="#letter_w">w</a>&#160;|&#160;<a class="qindex" href="#letter_z">z</a></div>
 </div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/functions_0x7e.html

@@ -79,8 +79,8 @@ $(function() {
 <li>~Annotator()
 : <a class="el" href="classSVF_1_1Annotator.html#a77ae10cccf9eeece8adf7dd00821e836">SVF::Annotator</a>
 </li>
-<li>~BranchCondManager()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a44bdc46bc43e657a545a5bedcfcae920">SVF::BranchCondManager</a>
+<li>~BDDManager()
+: <a class="el" href="classSVF_1_1BDDManager.html#aaede06df8ca879e9116a16ed690b2f8e">SVF::BDDManager</a>
 </li>
 <li>~BVDataPTAImpl()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a06f211184d3e75f0ca351a4b8092a478">SVF::BVDataPTAImpl</a>
@@ -107,7 +107,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondExpr.html#a034728ff201af843f9ae980bbb872086">SVF::CondExpr</a>
 </li>
 <li>~CondManager()
-: <a class="el" href="classSVF_1_1CondManager.html#a5677513376a78707de664c1cc85805aa">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1CondManager.html#ae17d57a0fdc02a5558120e65e11976d4">SVF::CondManager</a>
 </li>
 <li>~CondPTAImpl()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a01f64600bf6581403836019e4e5ae741">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -487,6 +487,12 @@ $(function() {
 <li>~WPASolver()
 : <a class="el" href="classSVF_1_1WPASolver.html#ac88ef07e88b453a1b35684b59a7dd04a">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>~Z3Expr()
+: <a class="el" href="classSVF_1_1Z3Expr.html#a2abc206f11015c52db2eb189114b0dfc">SVF::Z3Expr</a>
+</li>
+<li>~Z3Manager()
+: <a class="el" href="classSVF_1_1Z3Manager.html#ad3d9d77ee64d84bb204fa66c1a51a01a">SVF::Z3Manager</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_a.html

@@ -1061,9 +1061,6 @@ $(function() {
 <li>allocated
 : <a class="el" href="structDdManager.html#a3bc65a8323c85495c64877963eb34845">DdManager</a>
 </li>
-<li>allocatedConds
-: <a class="el" href="classSVF_1_1CondManager.html#a3621c17b2ff1beb7aa4e467ec357713b">SVF::CondManager</a>
-</li>
 <li>allocateForBB()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#af854f880e76738a13d6cb937a257828f">SVF::PathCondAllocator</a>
 </li>
@@ -1129,8 +1126,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4">SVF::CHGBuilder</a>
 </li>
 <li>AND()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a739f4206abf4f367dc796e9fd35d4d04">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#af8a4ede3ac4b89bb0ce7767ee4505aea">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#aedda2ed496d0009d92d44a82af2ce8ae">SVF::CondManager</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a540de948d9cc396341376e081d7e46aa">SVF::Z3Manager</a>
 </li>
 <li>ander
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d">SVF::FlowSensitive</a>
@@ -1281,7 +1279,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>

package/SVF-doxygen/html/html/functions_b.html

@@ -197,14 +197,39 @@ $(function() {
 <li>BBWorkList
 : <a class="el" href="classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d">SVF::PCG</a>
 </li>
+<li>bddCond
+: <a class="el" href="classSVF_1_1BDDExpr.html#ad4aabf0e3cd6004c71aa5528c8ca5731">SVF::BDDExpr</a>
+</li>
+<li>BDDCond
+: <a class="el" href="classSVF_1_1BDDExpr.html#a8b8ff2750644582e55ff8a5d39826f9f">SVF::BDDExpr</a>
+, <a class="el" href="classSVF_1_1BDDManager.html#a7a1692324d6b152588ef4d52013f8d00">SVF::BDDManager</a>
+</li>
+<li>BDDExpr()
+: <a class="el" href="classSVF_1_1BDDExpr.html#af82f0f6bc1567f2bd3bbb65b6d6473c1">SVF::BDDExpr</a>
+</li>
+<li>BDDK
+: <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6a0e68dccd136b7398316e1e931bef06bb">SVF::CondExpr</a>
+</li>
+<li>BDDManager()
+: <a class="el" href="classSVF_1_1BDDManager.html#a10be33f7829cb2da0ba1c3b2ddc22261">SVF::BDDManager</a>
+</li>
+<li>BDDMgrK
+: <a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa106b111c9871d823d33c83758d890a0d">SVF::CondManager</a>
+</li>
 <li>BddOne()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a581c73dc30070db0a278ffb3985519dc">SVF::BranchCondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a51e174fcf76d5adbf22717c0b95c0286">SVF::BDDManager</a>
 </li>
 <li>BddSupportStep()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a94f84201f91b7175907e72af2633f6f2">SVF::BranchCondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a1b7908b727c638d9cfd5e7347dd6b63d">SVF::BDDManager</a>
+</li>
+<li>BDDToBDDCondExpr
+: <a class="el" href="classSVF_1_1BDDManager.html#a54716dd8be2691e3e0dbffc14461c1e8">SVF::BDDManager</a>
+</li>
+<li>bddToBddCondExprMap
+: <a class="el" href="classSVF_1_1BDDManager.html#acb037c79511b40032e523494a804adb3">SVF::BDDManager</a>
 </li>
 <li>BddZero()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a414483307915f9201e203eae9a07d389">SVF::BranchCondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a22c04e2cf77af9c02755d1544b68e112">SVF::BDDManager</a>
 </li>
 <li>begin()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
@@ -227,7 +252,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">SVF::BinaryOPStmt</a>
 </li>
 <li>BinaryOPVFGNode()
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362">SVF::BinaryOPVFGNode</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#aa292ddc0ac6e43f20dcee8a9cb8f97e0">SVF::BinaryOPVFGNode</a>
 </li>
 <li>bindVar
 : <a class="el" href="structDdSubtable.html#a54a4f8f090e30084c77362e5de3ee591">DdSubtable</a>
@@ -246,7 +271,7 @@ $(function() {
 , <a class="el" href="unionhack.html#ac9f31214d556c4a179ba01f23036bc91">hack</a>
 </li>
 <li>BitVector()
-: <a class="el" href="classSVF_1_1BitVector.html#a79f32ec9f2644133b1df8b8e0e26da15">SVF::BitVector</a>
+: <a class="el" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">SVF::BitVector</a>
 </li>
 <li>BlackHole
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539">SVF::SymbolTableInfo</a>
@@ -273,40 +298,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01">SVF::VFGNode</a>
 </li>
-<li>branchCond
-: <a class="el" href="classSVF_1_1BranchCondExpr.html#a99b54ea1152131f8e0991374043ffced">SVF::BranchCondExpr</a>
-</li>
-<li>BranchCond
-: <a class="el" href="classSVF_1_1BranchCondExpr.html#ad90fb1713be8b6a064e2423da5dd98b3">SVF::BranchCondExpr</a>
-, <a class="el" href="classSVF_1_1BranchCondManager.html#a37bec50768d5df6317a4ba6c790c569d">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#afb6c29587f01bf5b80878bae0850d2f6">SVF::CondManager</a>
-</li>
-<li>BranchCondExpr()
-: <a class="el" href="classSVF_1_1BranchCondExpr.html#a4f34f370563761f8a1b6a3c1239d6979">SVF::BranchCondExpr</a>
-</li>
-<li>BranchCondManager()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#af1d01bd350869616c143bf586ef4097e">SVF::BranchCondManager</a>
-</li>
-<li>branchCondManager
-: <a class="el" href="classSVF_1_1CondManager.html#ac735eb27ed4328f97ced87494683f7f1">SVF::CondManager</a>
-</li>
-<li>branchCondToCondExpr
-: <a class="el" href="classSVF_1_1CondManager.html#afd01891f45e085e990c9dbba5cbf3914">SVF::CondManager</a>
-</li>
-<li>BranchCondToCondExprMap
-: <a class="el" href="classSVF_1_1CondManager.html#af2cf8e42c15d6a0640f13c55050f616f">SVF::CondManager</a>
-</li>
 <li>branchCondVal
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10">SVF::IntraCFGEdge</a>
 </li>
-<li>BranchK
-: <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6ab2a0481a51dd867e2d2f196556c24521">SVF::CondExpr</a>
-</li>
 <li>branchStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564">SVF::PTAStat</a>
 </li>
 <li>BranchStmt()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
 : <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
@@ -354,7 +353,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a7420a3a4858ebe861aaa47d76f49ab1f">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a51a07b2bd7cccf7c9ab24eb87db17216">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
@@ -410,7 +409,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFGOPT.html#af4d2c6d2e3b316b256f860801fe3b178">SVF::SVFGOPT</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTableInfo()
 : <a class="el" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_c.html

@@ -598,9 +598,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2">SVF::ArgumentVFGNode</a>
 , <a class="el" href="classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7">SVF::AssignStmt</a>
+, <a class="el" href="classSVF_1_1BDDExpr.html#a1ae5bb0cf2be182eaf38e1f2001f27e7">SVF::BDDExpr</a>
 , <a class="el" href="classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17">SVF::BinaryOPVFGNode</a>
-, <a class="el" href="classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e">SVF::BranchCondExpr</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
@@ -704,14 +704,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d">SVF::ThreadForkEdge</a>
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37">SVF::ThreadJoinEdge</a>
 , <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc">SVF::ThreadMHPIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3">SVF::TypeAnalysis</a>
+, <a class="el" href="classSVF_1_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f">SVF::TypeAnalysis</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8">SVF::VersionedFlowSensitive</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6">SVF::VersionedFlowSensitive</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a85fabec3de5b24f46fb8dd9e0e0eb0ca">SVF::Z3Expr</a>
 </li>
 <li>cleanConsCG()
 : <a class="el" href="classSVF_1_1AndersenBase.html#aebfe0c7238eb24f74f105b950b86cb5e">SVF::AndersenBase</a>
@@ -774,7 +775,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a78f2b0ee440ed5b358928ee775e95564">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -1027,7 +1028,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1080,7 +1081,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac8c209af1d177cbc8fbbfe4526fe8ce2">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>CondExpr()
-: <a class="el" href="classSVF_1_1CondExpr.html#af925a6e646b64db7aacf301b37b89b05">SVF::CondExpr</a>
+: <a class="el" href="classSVF_1_1CondExpr.html#aedb9a777dcea1cebf0266d11599cd14f">SVF::CondExpr</a>
 </li>
 <li>condExprK
 : <a class="el" href="classSVF_1_1CondExpr.html#aa7cbd249e276b768b22677f5efd83dd1">SVF::CondExpr</a>
@@ -1100,16 +1101,24 @@ $(function() {
 <li>condition
 : <a class="el" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt</a>
 </li>
+<li>ConditionType
+: <a class="el" href="classSVF_1_1Options.html#a87567aa3e6423fc96e0dfbaff00ed565">SVF::Options</a>
+</li>
 <li>conditionVar
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">SVF::IntraCFGEdge</a>
 </li>
-<li>CondManager()
-: <a class="el" href="classSVF_1_1CondManager.html#aa307bb05b92907ccf8859b4bac53b796">SVF::CondManager</a>
+<li>CondManager
+: <a class="el" href="classSVF_1_1BDDManager.html#a243595beea0081ef5ff38dec8c150651">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#a692a05088457ba5e4e1b7873c8da411d">SVF::CondManager</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a243595beea0081ef5ff38dec8c150651">SVF::Z3Manager</a>
 </li>
 <li>condMgr
 : <a class="el" href="classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd">SVF::PathCondAllocator</a>
 </li>
+<li>CondMgrKind
+: <a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74f">SVF::CondManager</a>
+</li>
 <li>condNeg()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ac1ed60a8f59a55811c97c83def3bb739">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#af90dd6f54db7bef80cd7e5c97e8dd193">SVF::ProgSlice</a>
@@ -1120,7 +1129,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">SVF::VFPathCond</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b">SVF::PathCondAllocator</a>
@@ -1147,7 +1156,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329">SVF::CondManager</a>
 </li>
 <li>CondToTermInstMap
-: <a class="el" href="classSVF_1_1CondManager.html#a3cd3149a0bb5b605e61f0935bd234f3b">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1CondManager.html#a01565ecb4f167283396be0e446b9df0a">SVF::CondManager</a>
 </li>
 <li>CondVar()
 : <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
@@ -1348,7 +1357,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1363,7 +1372,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
@@ -1404,10 +1413,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CPtSet
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -1443,7 +1452,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6ddf057415f641bd8ad15bded1415776">SVF::SymbolTableInfo</a>
 </li>
 <li>createCond()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a6c807df0d5627d3afda2359b658bc97c">SVF::BranchCondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a82748f6ae3ea640de7b0755a6eab96d1">SVF::BDDManager</a>
 </li>
 <li>createConstantObj()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ab5c9d593aa68c7150cd382db230eec3e">SVF::SymbolTableInfo</a>
@@ -1458,7 +1467,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a8e40c578ccdd3a108a10a191a309bd18">SVF::SymbolTableInfo</a>
 </li>
 <li>createFreshBranchCond()
-: <a class="el" href="classSVF_1_1CondManager.html#ae4ad2a90ac794163060290b6ac1f2949">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a5311c7dcff82a09077e640e20d9e68e9">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#abd330e858463fed92fb3df6e8529f790">SVF::CondManager</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a4ba99458553cfd7b586f0730b62e5b82">SVF::Z3Manager</a>
 </li>
 <li>createFSMPTA()
 : <a class="el" href="classSVF_1_1FSMPTA.html#a8a2d1c846f8b6aead8d9426e1effa426">SVF::FSMPTA</a>
@@ -1642,10 +1653,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#af71b4ec9844701582d997466c2e4d94f">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>cxt
-: <a class="el" href="classSVF_1_1CondManager.html#a087773d6ae6ed6af009a356dd7b61e11">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">SVF::CxtProc</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">SVF::CxtThread</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#ac5968fcdba98bd405509b8abd1997cbc">SVF::Z3Manager</a>
 </li>
 <li>Cxt_DDA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8">SVF::PointerAnalysis</a>
@@ -1657,7 +1668,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1677,12 +1688,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
-</li>
 <li>cxtLockset
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1692,14 +1703,14 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockToSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
-</li>
 <li>cxtLocktoSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockToSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxts
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">SVF::LLVMModuleSet</a>
@@ -1708,10 +1719,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>cxtStmtList
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis</a>
@@ -1721,12 +1732,12 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>CxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
-</li>
 <li>cxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
 </li>
+<li>CxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
@@ -1763,7 +1774,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_d.html

@@ -131,7 +131,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>ddClearFlag()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a513a9865b87af136edf1abb1932716dd">SVF::BranchCondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a9aaa963fedb93d98f62f64bed1fd173f">SVF::BDDManager</a>
 </li>
 <li>dead
 : <a class="el" href="structDdManager.html#a170c1cfcbbd9b83bb479fc85c177c52e">DdManager</a>
@@ -471,7 +471,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">SVF::VFGNode</a>
 </li>
 <li>dump()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a3c3812a3c945488bb7c5d1351a6d3415">SVF::BranchCondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a933749fc805c4147722bb847f3e427b8">SVF::BDDManager</a>
 , <a class="el" href="classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f">SVF::CHGraph</a>
@@ -597,10 +597,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a1a7b51e7d959795c00383721b013834d">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>dumpStr()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a930ece842bcdab283fb27e2a053bc8de">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a907afafc19d8faa7a200bf4f1e07bb4f">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#add075de17c153605c2d5eb7b5d87dbfb">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#a19c63783d5d20f363be3641941263a78">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#abcd2c01ec21e30caa91dba06386912cb">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a163ced4f232f18a0d2c0066fc72745e1">SVF::Z3Manager</a>
 </li>
 <li>DumpSUPts
 : <a class="el" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">SVF::Options</a>