svf-tools 1.0.587 → 1.0.589

package/SVF-doxygen/html/html/ConditionalPT_8h_source.html

@@ -73,7 +73,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeb570e9267fd7b189bd1bc877896d7ab"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab">SVF::SVFUtil::dumpSet</a></div><div class="ttdeci">void dumpSet(NodeBS To, OutStream &amp;O=SVFUtil::outs())</div><div class="ttdoc">Dump sparse bitvector set. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00147">SVFUtil.cpp:147</a></div></div>
 <div class="ttc" id="classSVF_1_1CondVar_html_a5d64fa2be89051cd03301e3b07bffd6a"><div class="ttname"><a href="classSVF_1_1CondVar.html#a5d64fa2be89051cd03301e3b07bffd6a">SVF::CondVar::get_id</a></div><div class="ttdeci">NodeID get_id() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00103">ConditionalPT.h:103</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_a93c232ef7e5dea652622da7f994e1dc3"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3">SVF::CondStdSet::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00195">ConditionalPT.h:195</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00113">SVFBasicTypes.h:113</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_ac29ac1adefca6b34cd8e83fe3f0b4450"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#ac29ac1adefca6b34cd8e83fe3f0b4450">SVF::CondPointsToSet::test_and_set</a></div><div class="ttdeci">bool test_and_set(const SingleCondVar &amp;var)</div><div class="ttdoc">Test and set. </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00679">ConditionalPT.h:679</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_aa19e82905537f3ae41f64fce070ee555"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00177">ConditionalPT.h:177</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_a07267b0a4f7cfeaa6d1f7d722932c4d5"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5">SVF::CondStdSet::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00273">ConditionalPT.h:273</a></div></div>
@@ -86,7 +86,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a82068bca4dfc43402625638dcd1b9775"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a82068bca4dfc43402625638dcd1b9775">SVF::CondPointsToSet::CondPtsSetIterator::operator!=</a></div><div class="ttdeci">bool operator!=(const CondPtsSetIterator &amp;RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00769">ConditionalPT.h:769</a></div></div>
 <div class="ttc" id="classSVF_1_1CondVar_html_af84e7bfcff909009be5e109c600c63fe"><div class="ttname"><a href="classSVF_1_1CondVar.html#af84e7bfcff909009be5e109c600c63fe">SVF::CondVar::get_cond</a></div><div class="ttdeci">const Cond &amp; get_cond() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00099">ConditionalPT.h:99</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a3ccbb22634968d2fca0f6aba7b57971e"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e">SVF::CondPointsToSet::CondPtsSetIterator::cond</a></div><div class="ttdeci">Cond cond(void)</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00800">ConditionalPT.h:800</a></div></div>
-<div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00056">SVFBasicTypes.h:56</a></div></div>
+<div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00052">SVFBasicTypes.h:52</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_1_1PointsToIterator_html"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html">SVF::PointsTo::PointsToIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00181">PointsTo.h:181</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ad22614f30570619802e23715d1d5eaf0"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet::CondPtsSetIterator::atEnd</a></div><div class="ttdeci">bool atEnd</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00810">ConditionalPT.h:810</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_a90e4c4ead1cbdca01c0be801a68b005b"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet::operator|=</a></div><div class="ttdeci">bool operator|=(const CondStdSet&lt; Element &gt; &amp;rhs)</div><div class="ttdoc">Overload operators. </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00211">ConditionalPT.h:211</a></div></div>
@@ -100,13 +100,13 @@ $(function() {
 <div class="ttc" id="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4_html_ac9b6dd9b7dd77c0303c1f4f5877d87db"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db">std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::CondVar&lt; Cond &gt; &amp;cv) const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00858">ConditionalPT.h:858</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_abcd2c01ec21e30caa91dba06386912cb"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#abcd2c01ec21e30caa91dba06386912cb">SVF::CondPointsToSet::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00722">ConditionalPT.h:722</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_a3521ec3be48cc03d9d3f562cb088a9ad"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad">SVF::CondPointsToSet::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00817">ConditionalPT.h:817</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00110">SVFBasicTypes.h:110</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_a9fa868a473993d0244431d640799ce98"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98">SVF::CondStdSet::operator=</a></div><div class="ttdeci">CondStdSet&lt; Element &gt; &amp; operator=(const CondStdSet&lt; Element &gt; &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00243">ConditionalPT.h:243</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_a7217769c21c50c44f139006ec44d3a6f"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet::CondPointsToSet</a></div><div class="ttdeci">CondPointsToSet(const Cond &amp;cond, const PointsTo &amp;pts)</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00316">ConditionalPT.h:316</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_ad0e1a70889a7bf2cb1b201a129128c52"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52">SVF::CondPointsToSet::_condPts</a></div><div class="ttdeci">CondPts _condPts</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00839">ConditionalPT.h:839</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a9d6c986a34096a3552a6385ccbb724e4"><div class="ttname"><a href="namespaceSVF.html#a9d6c986a34096a3552a6385ccbb724e4">SVF::operator&amp;=</a></div><div class="ttdeci">bool operator&amp;=(SparseBitVector&lt; ElementSize &gt; *LHS, const SparseBitVector&lt; ElementSize &gt; &amp;RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01142">SparseBitVector.h:1142</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a9d6c986a34096a3552a6385ccbb724e4"><div class="ttname"><a href="namespaceSVF.html#a9d6c986a34096a3552a6385ccbb724e4">SVF::operator&amp;=</a></div><div class="ttdeci">bool operator&amp;=(SparseBitVector&lt; ElementSize &gt; *LHS, const SparseBitVector&lt; ElementSize &gt; &amp;RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01144">SparseBitVector.h:1144</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_a0ef73bd2c1b42439ee6f265e07f17514"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SVF::CondPointsToSet::SingleCondVar</a></div><div class="ttdeci">CondVar&lt; Cond &gt; SingleCondVar</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00309">ConditionalPT.h:309</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_af61271fefa574c39f405fdfee59a8b3f"><div class="ttname"><a href="classSVF_1_1PointsTo.html#af61271fefa574c39f405fdfee59a8b3f">SVF::PointsTo::test</a></div><div class="ttdeci">bool test(u32_t n) const</div><div class="ttdoc">Returns true if n is in this set. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00127">PointsTo.cpp:127</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_ad9e4dea4b65d5f4a903a3cf89a421077"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077">SVF::CondPointsToSet::CondPtsIter</a></div><div class="ttdeci">CondPts::iterator CondPtsIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00307">ConditionalPT.h:307</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a24ccc2dba1da8e241a595c84dde840ab"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a24ccc2dba1da8e241a595c84dde840ab">SVF::CondPointsToSet::CondPtsSetIterator::~CondPtsSetIterator</a></div><div class="ttdeci">~CondPtsSetIterator()</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00754">ConditionalPT.h:754</a></div></div>
@@ -127,7 +127,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CondVar_html_a50321e5ead24c8a9d6c58998072634f0"><div class="ttname"><a href="classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0">SVF::CondVar::operator!=</a></div><div class="ttdeci">bool operator!=(const CondVar &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00070">ConditionalPT.h:70</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_ac4688413177b49b37dbbfd3ed188d59b"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ac4688413177b49b37dbbfd3ed188d59b">SVF::PointsTo::empty</a></div><div class="ttdeci">bool empty(void) const</div><div class="ttdoc">Returns true if set is empty. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00094">PointsTo.cpp:94</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_accc5305781696701c00245ed1e8a25a3"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3">SVF::CondStdSet::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00203">ConditionalPT.h:203</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_a537890d918d23abeea39bc73198f7365"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365">SVF::CondPointsToSet::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00832">ConditionalPT.h:832</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_ae5fe9ff25c62386cbdd97d30b64b6972"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972">SVF::CondPointsToSet::CondPtsSetIterator::_ptEndIter</a></div><div class="ttdeci">PointsTo::iterator _ptEndIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00809">ConditionalPT.h:809</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_a89d24257bd1436286dcbb025dd405b52"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a89d24257bd1436286dcbb025dd405b52">SVF::CondPointsToSet::intersects</a></div><div class="ttdeci">bool intersects(const CondPointsToSet&lt; Cond &gt; *rhs) const</div><div class="ttdoc">Return TRUE if this and RHS share any common element. </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00483">ConditionalPT.h:483</a></div></div>
@@ -144,7 +144,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CondStdSet_html_a1f3e8aa09ca8e7f252525e35c4886c5b"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet::CondStdSet</a></div><div class="ttdeci">CondStdSet()</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00138">ConditionalPT.h:138</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_ac422c3fb8bce1378d69c234e6b11fdb1"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#ac422c3fb8bce1378d69c234e6b11fdb1">SVF::CondStdSet::intersects</a></div><div class="ttdeci">bool intersects(const CondStdSet&lt; Element &gt; &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00260">ConditionalPT.h:260</a></div></div>
 <div class="ttc" id="classSVF_1_1CondStdSet_html_a3fcc7079d72b0b392731ae7bf1ef2939"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939">SVF::CondStdSet::ElementSet</a></div><div class="ttdeci">OrderedSet&lt; Element &gt; ElementSet</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00132">ConditionalPT.h:132</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a97ff28f5dfd5c31e6ef351de3cdad85d"><div class="ttname"><a href="namespaceSVF.html#a97ff28f5dfd5c31e6ef351de3cdad85d">SVF::operator|=</a></div><div class="ttdeci">bool operator|=(SparseBitVector&lt; ElementSize &gt; &amp;LHS, const SparseBitVector&lt; ElementSize &gt; *RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01128">SparseBitVector.h:1128</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a97ff28f5dfd5c31e6ef351de3cdad85d"><div class="ttname"><a href="namespaceSVF.html#a97ff28f5dfd5c31e6ef351de3cdad85d">SVF::operator|=</a></div><div class="ttdeci">bool operator|=(SparseBitVector&lt; ElementSize &gt; &amp;LHS, const SparseBitVector&lt; ElementSize &gt; *RHS)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01130">SparseBitVector.h:1130</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_aca84f0f9e09686d9f30f309d36267aff"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff">SVF::CondPointsToSet::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdoc">Return true if no element in the set. </div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00397">ConditionalPT.h:397</a></div></div>
 <div class="ttc" id="classSVF_1_1CondVar_html_aad76f894d96617fb153cff0c875899a6"><div class="ttname"><a href="classSVF_1_1CondVar.html#aad76f894d96617fb153cff0c875899a6">SVF::CondVar::~CondVar</a></div><div class="ttdeci">~CondVar()</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00059">ConditionalPT.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_ab196d86cfb48d1c5d27a0c03c7497afa"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">SVF::PointsTo::set</a></div><div class="ttdeci">void set(u32_t n)</div><div class="ttdoc">Inserts n in the set. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00153">PointsTo.cpp:153</a></div></div>
@@ -178,7 +178,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_a20026db57cfef6bf6a978140b2372cea"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet::cptsEnd</a></div><div class="ttdeci">CondPtsIter cptsEnd()</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00361">ConditionalPT.h:361</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
 <div class="ttc" id="classSVF_1_1CondPointsToSet_html_a76d4c06b04161738351a813ae406aa83"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet::iterator</a></div><div class="ttdeci">CondPtsSetIterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00814">ConditionalPT.h:814</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00083">SVFBasicTypes.h:83</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00079">SVFBasicTypes.h:79</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1CondVar_html_a7faf827845c5e820f1b63ce6523bc2a9"><div class="ttname"><a href="classSVF_1_1CondVar.html#a7faf827845c5e820f1b63ce6523bc2a9">SVF::CondVar::operator==</a></div><div class="ttdeci">bool operator==(const CondVar &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00065">ConditionalPT.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a8f741cdffbf3c5fe0f602cdca677dee6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo::end</a></div><div class="ttdeci">const_iterator end(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00132">PointsTo.h:132</a></div></div>

package/SVF-doxygen/html/html/ConsGEdge_8h_source.html

@@ -85,7 +85,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1StoreCGEdge_html_a7fdb88d66ee7489f2e2de5e91ed5f25b"><div class="ttname"><a href="classSVF_1_1StoreCGEdge.html#a7fdb88d66ee7489f2e2de5e91ed5f25b">SVF::StoreCGEdge::classof</a></div><div class="ttdeci">static bool classof(const StoreCGEdge *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00167">ConsGEdge.h:167</a></div></div>
 <div class="ttc" id="classSVF_1_1LoadCGEdge_html_ab7d9fa1d9ed23f3f7579ba26dad46032"><div class="ttname"><a href="classSVF_1_1LoadCGEdge.html#ab7d9fa1d9ed23f3f7579ba26dad46032">SVF::LoadCGEdge::classof</a></div><div class="ttdeci">static bool classof(const ConstraintEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00205">ConsGEdge.h:205</a></div></div>
 <div class="ttc" id="classSVF_1_1GepCGEdge_html"><div class="ttname"><a href="classSVF_1_1GepCGEdge.html">SVF::GepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00225">ConsGEdge.h:225</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00082">SVFBasicTypes.h:82</a></div></div>
 <div class="ttc" id="classSVF_1_1VariantGepCGEdge_html"><div class="ttname"><a href="classSVF_1_1VariantGepCGEdge.html">SVF::VariantGepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00317">ConsGEdge.h:317</a></div></div>
 <div class="ttc" id="classSVF_1_1StoreCGEdge_html_a2cc6943983c51fac45e312741404e8e9"><div class="ttname"><a href="classSVF_1_1StoreCGEdge.html#a2cc6943983c51fac45e312741404e8e9">SVF::StoreCGEdge::classof</a></div><div class="ttdeci">static bool classof(const ConstraintEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00171">ConsGEdge.h:171</a></div></div>
 <div class="ttc" id="SVFIR_8h_html"><div class="ttname"><a href="SVFIR_8h.html">SVFIR.h</a></div></div>
@@ -116,7 +116,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CopyCGEdge_html_aee721f02965d46fcd1f8acc4a98df108"><div class="ttname"><a href="classSVF_1_1CopyCGEdge.html#aee721f02965d46fcd1f8acc4a98df108">SVF::CopyCGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericConsEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00141">ConsGEdge.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a6eebfb3d2ff4f4fafc433b25d3762160"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a6eebfb3d2ff4f4fafc433b25d3762160">SVF::ConstraintEdge::~ConstraintEdge</a></div><div class="ttdeci">~ConstraintEdge()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00066">ConsGEdge.h:66</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge::Store</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00091">SVFBasicTypes.h:91</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a1d2b00b4b0ab475899488fc89b2bfe66"><div class="ttname"><a href="namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66">SVF::GenericConsEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; ConstraintNode &gt; GenericConsEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00042">ConsGEdge.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1StoreCGEdge_html_afdba4e02b1ccdc19fdc18bbe43363e79"><div class="ttname"><a href="classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79">SVF::StoreCGEdge::StoreCGEdge</a></div><div class="ttdeci">StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)</div><div class="ttdoc">constructor </div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00182">ConsGEdge.h:182</a></div></div>
 <div class="ttc" id="namespaceSVF_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="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>