svf-tools 1.0.450 → 1.0.451

package/SVF-doxygen/html/html/classSVF_1_1BDDExprManager.html

@@ -520,7 +520,7 @@ Static Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="BDDExpr_8cpp_source.html#l00064">64</a> of file <a class="el" href="BDDExpr_8cpp_source.html">BDDExpr.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;{</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> condCountIdx = <a class="code" href="classSVF_1_1BDDExprManager.html#a8d034c572bed854582c391674a5b4f18">totalCondNum</a>++;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <a class="code" href="classSVF_1_1BDDExprManager.html#a90e685c420e4ac20104498883dbed9ea">BDDExpr</a> *bddCond = <a class="code" href="classSVF_1_1BDDExprManager.html#a1c8d1eba6a33b2c2f9925cbdffe1e64a">createCond</a>(condCountIdx);</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classSVF_1_1BDDExprManager.html#afc1d4301a3453c920f9b92ac53101bfe">setCondInst</a>(bddCond, inst);</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <span class="keyword">auto</span> *negCond = <a class="code" href="classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81">NEG</a>(bddCond);</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="classSVF_1_1BDDExprManager.html#afc1d4301a3453c920f9b92ac53101bfe">setCondInst</a>(negCond, inst);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordflow">return</span> bddCond;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;}</div><div class="ttc" id="classSVF_1_1BDDExprManager_html_a8d034c572bed854582c391674a5b4f18"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a8d034c572bed854582c391674a5b4f18">SVF::BDDExprManager::totalCondNum</a></div><div class="ttdeci">static u32_t totalCondNum</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00067">BDDExpr.h:67</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#l00084">SVFBasicTypes.h:84</a></div></div>
 <div class="ttc" id="classSVF_1_1BDDExprManager_html_ace340608e136c33867b3e1a986d65c81"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81">SVF::BDDExprManager::NEG</a></div><div class="ttdeci">virtual BDDExpr * NEG(BDDExpr *lhs)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00130">BDDExpr.cpp:130</a></div></div>
 <div class="ttc" id="classSVF_1_1BDDExprManager_html_afc1d4301a3453c920f9b92ac53101bfe"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#afc1d4301a3453c920f9b92ac53101bfe">SVF::BDDExprManager::setCondInst</a></div><div class="ttdeci">void setCondInst(const BDDExpr *cond, const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00158">BDDExpr.h:158</a></div></div>
 <div class="ttc" id="classSVF_1_1BDDExprManager_html_a1c8d1eba6a33b2c2f9925cbdffe1e64a"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a1c8d1eba6a33b2c2f9925cbdffe1e64a">SVF::BDDExprManager::createCond</a></div><div class="ttdeci">BDDExpr * createCond(u32_t i)</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00082">BDDExpr.h:82</a></div></div>
@@ -585,7 +585,7 @@ Static Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="BDDExpr_8cpp_source.html#l00189">189</a> of file <a class="el" href="BDDExpr_8cpp_source.html">BDDExpr.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;{</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    <span class="keywordflow">if</span> (lhs == <a class="code" href="classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01">getTrueCond</a>())</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;T&quot;</span>;</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    {</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;        <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> support;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        <a class="code" href="classSVF_1_1BDDExprManager.html#a5bbd80a97aa794da9568716e456cf40c">extractSubConds</a>(lhs, support);</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;        <span class="keywordflow">for</span> (NodeBS::iterator iter = support.begin(); iter != support.end();</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;                ++iter)</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        {</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;            <span class="keywordtype">unsigned</span> rid = *iter;</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;            O &lt;&lt; rid &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        }</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    }</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;}</div><div class="ttc" id="classSVF_1_1BDDExprManager_html_a5bbd80a97aa794da9568716e456cf40c"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a5bbd80a97aa794da9568716e456cf40c">SVF::BDDExprManager::extractSubConds</a></div><div class="ttdeci">void extractSubConds(const BDDExpr *f, NodeBS &amp;support) const</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00180">BDDExpr.cpp:180</a></div></div>
 <div class="ttc" id="classSVF_1_1BDDExprManager_html_a765d97ba6065a96a61209c59fdbb4b01"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01">SVF::BDDExprManager::getTrueCond</a></div><div class="ttdeci">BDDExpr * getTrueCond() const</div><div class="ttdoc">Return the unique true condition. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00101">BDDExpr.h:101</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -609,7 +609,7 @@ Static Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="BDDExpr_8cpp_source.html#l00210">210</a> of file <a class="el" href="BDDExpr_8cpp_source.html">BDDExpr.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;{</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;    std::string str;</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    <span class="keywordflow">if</span> (e == <a class="code" href="classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01">getTrueCond</a>())</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;        str += <span class="stringliteral">&quot;T&quot;</span>;</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    {</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;        <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> support;</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;        <a class="code" href="classSVF_1_1BDDExprManager.html#a5bbd80a97aa794da9568716e456cf40c">extractSubConds</a>(e, support);</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <span class="keywordflow">for</span> (NodeBS::iterator iter = support.begin(); iter != support.end();</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;                ++iter)</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        {</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;            <span class="keywordtype">unsigned</span> rid = *iter;</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;            <span class="keywordtype">char</span> int2str[16];</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;            sprintf(int2str, <span class="stringliteral">&quot;%d&quot;</span>, rid);</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;            str += int2str;</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;            str += <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;        }</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    }</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    <span class="keywordflow">return</span> str;</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;}</div><div class="ttc" id="classSVF_1_1BDDExprManager_html_a5bbd80a97aa794da9568716e456cf40c"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a5bbd80a97aa794da9568716e456cf40c">SVF::BDDExprManager::extractSubConds</a></div><div class="ttdeci">void extractSubConds(const BDDExpr *f, NodeBS &amp;support) const</div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8cpp_source.html#l00180">BDDExpr.cpp:180</a></div></div>
 <div class="ttc" id="classSVF_1_1BDDExprManager_html_a765d97ba6065a96a61209c59fdbb4b01"><div class="ttname"><a href="classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01">SVF::BDDExprManager::getTrueCond</a></div><div class="ttdeci">BDDExpr * getTrueCond() const</div><div class="ttdoc">Return the unique true condition. </div><div class="ttdef"><b>Definition:</b> <a href="BDDExpr_8h_source.html#l00101">BDDExpr.h:101</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>