svf-tools 1.0.477 → 1.0.480

package/SVF-doxygen/html/html/cuddInt_8h.html

@@ -2850,7 +2850,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="cuddInt_8c_html_a15905d5750b5f2f948329ce0f67a0fc8"><div class="ttname"><a href="cuddInt_8c.html#a15905d5750b5f2f948329ce0f67a0fc8">Cudd_IterDerefBdd</a></div><div class="ttdeci">void Cudd_IterDerefBdd(DdManager *table, DdNode *n)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l14090">cuddInt.c:14090</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_ab4f89447f0f0892337a1d6ff4c533933"><div class="ttname"><a href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddCacheLookup2</a></div><div class="ttdeci">DdNode * cuddCacheLookup2(DdManager *table, DD_CTFP op, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04537">cuddInt.c:4537</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_aaef03f10591d8e28bb5fecd2aa7c93ff"><div class="ttname"><a href="cuddInt_8h.html#aaef03f10591d8e28bb5fecd2aa7c93ff">cuddE</a></div><div class="ttdeci">#define cuddE(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00642">cuddInt.h:642</a></div></div>
@@ -2973,7 +2973,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="cuddInt_8c_html_a15905d5750b5f2f948329ce0f67a0fc8"><div class="ttname"><a href="cuddInt_8c.html#a15905d5750b5f2f948329ce0f67a0fc8">Cudd_IterDerefBdd</a></div><div class="ttdeci">void Cudd_IterDerefBdd(DdManager *table, DdNode *n)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l14090">cuddInt.c:14090</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_ab4f89447f0f0892337a1d6ff4c533933"><div class="ttname"><a href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddCacheLookup2</a></div><div class="ttdeci">DdNode * cuddCacheLookup2(DdManager *table, DD_CTFP op, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04537">cuddInt.c:4537</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a38ddb1590403cc2c2d6c382b68835269"><div class="ttname"><a href="cuddInt_8c.html#a38ddb1590403cc2c2d6c382b68835269">Cudd_bddExistAbstract</a></div><div class="ttdeci">DdNode * Cudd_bddExistAbstract(DdManager *manager, DdNode *f, DdNode *cube)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l02331">cuddInt.c:2331</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="structDdManager_html_a70f75f877a9e8f1b7a1c219cd4675ce1"><div class="ttname"><a href="structDdManager.html#a70f75f877a9e8f1b7a1c219cd4675ce1">DdManager::vars</a></div><div class="ttdeci">DdNode ** vars</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00387">cuddInt.h:387</a></div></div>
@@ -3038,7 +3038,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="cuddInt_8c_html_ab4f89447f0f0892337a1d6ff4c533933"><div class="ttname"><a href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddCacheLookup2</a></div><div class="ttdeci">DdNode * cuddCacheLookup2(DdManager *table, DD_CTFP op, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04537">cuddInt.c:4537</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_aa43deef9cc0de026d2b4917aef1b4d62"><div class="ttname"><a href="cuddInt_8c.html#aa43deef9cc0de026d2b4917aef1b4d62">cuddBddIntersectRecur</a></div><div class="ttdeci">DdNode * cuddBddIntersectRecur(DdManager *dd, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l03518">cuddInt.c:3518</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_aaef03f10591d8e28bb5fecd2aa7c93ff"><div class="ttname"><a href="cuddInt_8h.html#aaef03f10591d8e28bb5fecd2aa7c93ff">cuddE</a></div><div class="ttdeci">#define cuddE(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00642">cuddInt.h:642</a></div></div>
@@ -3303,7 +3303,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="cuddInt_8h_html_a3413858dc69ab98261e7cefa2fabdead"><div class="ttname"><a href="cuddInt_8h.html#a3413858dc69ab98261e7cefa2fabdead">DD_BDD_XOR_EXIST_ABSTRACT_TAG</a></div><div class="ttdeci">#define DD_BDD_XOR_EXIST_ABSTRACT_TAG</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00175">cuddInt.h:175</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a2ca9cfb1642557eefc559198c4801092"><div class="ttname"><a href="cuddInt_8h.html#a2ca9cfb1642557eefc559198c4801092">ddMin</a></div><div class="ttdeci">#define ddMin(x, y)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00788">cuddInt.h:788</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_ac766e39390bf4d3c975d4a6bd34653dc"><div class="ttname"><a href="cuddInt_8c.html#ac766e39390bf4d3c975d4a6bd34653dc">cuddCacheInsert</a></div><div class="ttdeci">void cuddCacheInsert(DdManager *table, ptruint op, DdNode *f, DdNode *g, DdNode *h, DdNode *data)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04283">cuddInt.c:4283</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
@@ -4008,7 +4008,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="cuddInt_8c_html_ab4f89447f0f0892337a1d6ff4c533933"><div class="ttname"><a href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddCacheLookup2</a></div><div class="ttdeci">DdNode * cuddCacheLookup2(DdManager *table, DD_CTFP op, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04537">cuddInt.c:4537</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_aa5cad999b2a4a3dbbfe5c1da1d8bc028"><div class="ttname"><a href="cuddInt_8h.html#aa5cad999b2a4a3dbbfe5c1da1d8bc028">cuddIsConstant</a></div><div class="ttdeci">#define cuddIsConstant(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00610">cuddInt.h:610</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_aaef03f10591d8e28bb5fecd2aa7c93ff"><div class="ttname"><a href="cuddInt_8h.html#aaef03f10591d8e28bb5fecd2aa7c93ff">cuddE</a></div><div class="ttdeci">#define cuddE(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00642">cuddInt.h:642</a></div></div>

package/SVF-doxygen/html/html/cudd_8h.html

@@ -329,7 +329,7 @@ Functions</h2></td></tr>
 <tr class="separator:a5722a5bf76d99cd30783ad87ba03bf96"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a66a70b011fca8b95fbc3953e8b1be1fe"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structDdNode.html">DdNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cudd_8h.html#a66a70b011fca8b95fbc3953e8b1be1fe">Cudd_Decreasing</a> (<a class="el" href="structDdManager.html">DdManager</a> *dd, <a class="el" href="structDdNode.html">DdNode</a> *f, int i)</td></tr>
 <tr class="separator:a66a70b011fca8b95fbc3953e8b1be1fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3e078600dd9087c623e1bdfea00d599d"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cudd_8h.html#a3e078600dd9087c623e1bdfea00d599d">Cudd_EquivDC</a> (<a class="el" href="structDdManager.html">DdManager</a> *dd, <a class="el" href="structDdNode.html">DdNode</a> *<a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a>, <a class="el" href="structDdNode.html">DdNode</a> *G, <a class="el" href="structDdNode.html">DdNode</a> *D)</td></tr>
+<tr class="memitem:a3e078600dd9087c623e1bdfea00d599d"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cudd_8h.html#a3e078600dd9087c623e1bdfea00d599d">Cudd_EquivDC</a> (<a class="el" href="structDdManager.html">DdManager</a> *dd, <a class="el" href="structDdNode.html">DdNode</a> *<a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>, <a class="el" href="structDdNode.html">DdNode</a> *G, <a class="el" href="structDdNode.html">DdNode</a> *D)</td></tr>
 <tr class="separator:a3e078600dd9087c623e1bdfea00d599d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5dcbf450b32f6937bc6dba252474638d"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cudd_8h.html#a5dcbf450b32f6937bc6dba252474638d">Cudd_bddLeqUnless</a> (<a class="el" href="structDdManager.html">DdManager</a> *dd, <a class="el" href="structDdNode.html">DdNode</a> *f, <a class="el" href="structDdNode.html">DdNode</a> *g, <a class="el" href="structDdNode.html">DdNode</a> *D)</td></tr>
 <tr class="separator:a5dcbf450b32f6937bc6dba252474638d"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -2202,7 +2202,7 @@ To link with mis, define DD_MIS. </li>
 <div class="ttc" id="cuddInt_8c_html_ab4f89447f0f0892337a1d6ff4c533933"><div class="ttname"><a href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddCacheLookup2</a></div><div class="ttdeci">DdNode * cuddCacheLookup2(DdManager *table, DD_CTFP op, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04537">cuddInt.c:4537</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a89a46089e8572876a1521cdee6cb31a2"><div class="ttname"><a href="cuddInt_8c.html#a89a46089e8572876a1521cdee6cb31a2">Cudd_bddLeq</a></div><div class="ttdeci">int Cudd_bddLeq(DdManager *dd, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l03283">cuddInt.c:3283</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_aaef03f10591d8e28bb5fecd2aa7c93ff"><div class="ttname"><a href="cuddInt_8h.html#aaef03f10591d8e28bb5fecd2aa7c93ff">cuddE</a></div><div class="ttdeci">#define cuddE(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00642">cuddInt.h:642</a></div></div>
@@ -2269,7 +2269,7 @@ To link with mis, define DD_MIS. </li>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_ae51310f4dbc382140288e235e21840f3"><div class="ttname"><a href="cuddInt_8h.html#ae51310f4dbc382140288e235e21840f3">DD_BDD_LEQ_UNLESS_TAG</a></div><div class="ttdeci">#define DD_BDD_LEQ_UNLESS_TAG</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00189">cuddInt.h:189</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a89a46089e8572876a1521cdee6cb31a2"><div class="ttname"><a href="cuddInt_8c.html#a89a46089e8572876a1521cdee6cb31a2">Cudd_bddLeq</a></div><div class="ttdeci">int Cudd_bddLeq(DdManager *dd, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l03283">cuddInt.c:3283</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_ac766e39390bf4d3c975d4a6bd34653dc"><div class="ttname"><a href="cuddInt_8c.html#ac766e39390bf4d3c975d4a6bd34653dc">cuddCacheInsert</a></div><div class="ttdeci">void cuddCacheInsert(DdManager *table, ptruint op, DdNode *f, DdNode *g, DdNode *h, DdNode *data)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04283">cuddInt.c:4283</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a5dcbf450b32f6937bc6dba252474638d"><div class="ttname"><a href="cuddInt_8c.html#a5dcbf450b32f6937bc6dba252474638d">Cudd_bddLeqUnless</a></div><div class="ttdeci">int Cudd_bddLeqUnless(DdManager *dd, DdNode *f, DdNode *g, DdNode *D)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l16870">cuddInt.c:16870</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
@@ -2522,7 +2522,7 @@ To link with mis, define DD_MIS. </li>
 <div class="ttc" id="cuddInt_8c_html_ab4f89447f0f0892337a1d6ff4c533933"><div class="ttname"><a href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddCacheLookup2</a></div><div class="ttdeci">DdNode * cuddCacheLookup2(DdManager *table, DD_CTFP op, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04537">cuddInt.c:4537</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a89a46089e8572876a1521cdee6cb31a2"><div class="ttname"><a href="cuddInt_8c.html#a89a46089e8572876a1521cdee6cb31a2">Cudd_bddLeq</a></div><div class="ttdeci">int Cudd_bddLeq(DdManager *dd, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l03283">cuddInt.c:3283</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_aaef03f10591d8e28bb5fecd2aa7c93ff"><div class="ttname"><a href="cuddInt_8h.html#aaef03f10591d8e28bb5fecd2aa7c93ff">cuddE</a></div><div class="ttdeci">#define cuddE(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00642">cuddInt.h:642</a></div></div>
@@ -2805,12 +2805,11 @@ Wrong number of total dead found </li>
 <p>SeeAlso [Cudd_PrintDebug Cudd_CountPath] </p>
 
 <p class="definition">Definition at line <a class="el" href="cuddInt_8c_source.html#l22209">22209</a> of file <a class="el" href="cuddInt_8c_source.html">cuddInt.c</a>.</p>
-<div class="fragment"><div class="line"><a name="l22213"></a><span class="lineno">22213</span>&#160;{</div><div class="line"><a name="l22214"></a><span class="lineno">22214</span>&#160;<span class="keywordtype">double</span>  max;</div><div class="line"><a name="l22215"></a><span class="lineno">22215</span>&#160;<a class="code" href="structDdHashTable.html">DdHashTable</a> *table;</div><div class="line"><a name="l22216"></a><span class="lineno">22216</span>&#160;<span class="keywordtype">double</span>  res;</div><div class="line"><a name="l22217"></a><span class="lineno">22217</span>&#160;<a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> <a class="code" href="CFLGrammar_8txt.html#ac2933a97eaa2fb70d499347016ae1636">epsilon</a>;</div><div class="line"><a name="l22218"></a><span class="lineno">22218</span>&#160;</div><div class="line"><a name="l22219"></a><span class="lineno">22219</span>&#160;<a class="code" href="cuddInt_8c.html#aaf93dea94cfd93476e9c11d890891aff">background</a> = manager-&gt;<a class="code" href="structDdManager.html#af901aff58575a7fea75f7de35b4684b6">background</a>;</div><div class="line"><a name="l22220"></a><span class="lineno">22220</span>&#160;<a class="code" href="cuddInt_8c.html#ad9d1aaa6ee837cb65ffcf74932161586">zero</a> = <a class="code" href="cudd_8h.html#a352ef8d39e760eaabae6d58d9a5ddbfc">Cudd_Not</a>(manager-&gt;<a class="code" href="structDdManager.html#a239bd99ee654742adc79b8299c2bc92e">one</a>);</div><div class="line"><a name="l22221"></a><span class="lineno">22221</span>&#160;</div><div class="line"><a name="l22222"></a><span class="lineno">22222</span>&#160;max = pow(2.0,(<span class="keywordtype">double</span>)nvars);</div><div class="line"><a name="l22223"></a><span class="lineno">22223</span>&#160;table = <a class="code" href="cuddInt_8c.html#ae76427554fe01c4d539d7de58a9722be">cuddHashTableInit</a>(manager,1,2);</div><div class="line"><a name="l22224"></a><span class="lineno">22224</span>&#160;<span class="keywordflow">if</span> (table == <a class="code" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>) {</div><div class="line"><a name="l22225"></a><span class="lineno">22225</span>&#160;<span class="keywordflow">return</span>((<span class="keywordtype">double</span>)<a class="code" href="cudd_8h.html#aea3f40d6c6354b5b1475537cd2431ab4">CUDD_OUT_OF_MEM</a>);</div><div class="line"><a name="l22226"></a><span class="lineno">22226</span>&#160;}</div><div class="line"><a name="l22227"></a><span class="lineno">22227</span>&#160;epsilon = <a class="code" href="cuddInt_8c.html#ac711d8ce9d243e16246b83e3c1f04199">Cudd_ReadEpsilon</a>(manager);</div><div class="line"><a name="l22228"></a><span class="lineno">22228</span>&#160;<a class="code" href="cuddInt_8c.html#a30ef132c1f56bdb0e26efc81fa695cf3">Cudd_SetEpsilon</a>(manager,(<a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a>)0.0);</div><div class="line"><a name="l22229"></a><span class="lineno">22229</span>&#160;res = <a class="code" href="cuddInt_8c.html#aa62490abed02f3cc4cddf2e3a52d01e7">ddCountMintermAux</a>(node,max,table);</div><div class="line"><a name="l22230"></a><span class="lineno">22230</span>&#160;<a class="code" href="cuddInt_8c.html#ac48511fd185191433d7f180850e71e0f">cuddHashTableQuit</a>(table);</div><div class="line"><a name="l22231"></a><span class="lineno">22231</span>&#160;<a class="code" href="cuddInt_8c.html#a30ef132c1f56bdb0e26efc81fa695cf3">Cudd_SetEpsilon</a>(manager,epsilon);</div><div class="line"><a name="l22232"></a><span class="lineno">22232</span>&#160;</div><div class="line"><a name="l22233"></a><span class="lineno">22233</span>&#160;<span class="keywordflow">return</span>(res);</div><div class="line"><a name="l22234"></a><span class="lineno">22234</span>&#160;</div><div class="line"><a name="l22235"></a><span class="lineno">22235</span>&#160;} <span class="comment">/* end of Cudd_CountMinterm */</span></div><div class="ttc" id="cudd_8h_html_aea3f40d6c6354b5b1475537cd2431ab4"><div class="ttname"><a href="cudd_8h.html#aea3f40d6c6354b5b1475537cd2431ab4">CUDD_OUT_OF_MEM</a></div><div class="ttdeci">#define CUDD_OUT_OF_MEM</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00088">cudd.h:88</a></div></div>
+<div class="fragment"><div class="line"><a name="l22213"></a><span class="lineno">22213</span>&#160;{</div><div class="line"><a name="l22214"></a><span class="lineno">22214</span>&#160;<span class="keywordtype">double</span>  max;</div><div class="line"><a name="l22215"></a><span class="lineno">22215</span>&#160;<a class="code" href="structDdHashTable.html">DdHashTable</a> *table;</div><div class="line"><a name="l22216"></a><span class="lineno">22216</span>&#160;<span class="keywordtype">double</span>  res;</div><div class="line"><a name="l22217"></a><span class="lineno">22217</span>&#160;<a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> <a class="code" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a>;</div><div class="line"><a name="l22218"></a><span class="lineno">22218</span>&#160;</div><div class="line"><a name="l22219"></a><span class="lineno">22219</span>&#160;<a class="code" href="cuddInt_8c.html#aaf93dea94cfd93476e9c11d890891aff">background</a> = manager-&gt;<a class="code" href="structDdManager.html#af901aff58575a7fea75f7de35b4684b6">background</a>;</div><div class="line"><a name="l22220"></a><span class="lineno">22220</span>&#160;<a class="code" href="cuddInt_8c.html#ad9d1aaa6ee837cb65ffcf74932161586">zero</a> = <a class="code" href="cudd_8h.html#a352ef8d39e760eaabae6d58d9a5ddbfc">Cudd_Not</a>(manager-&gt;<a class="code" href="structDdManager.html#a239bd99ee654742adc79b8299c2bc92e">one</a>);</div><div class="line"><a name="l22221"></a><span class="lineno">22221</span>&#160;</div><div class="line"><a name="l22222"></a><span class="lineno">22222</span>&#160;max = pow(2.0,(<span class="keywordtype">double</span>)nvars);</div><div class="line"><a name="l22223"></a><span class="lineno">22223</span>&#160;table = <a class="code" href="cuddInt_8c.html#ae76427554fe01c4d539d7de58a9722be">cuddHashTableInit</a>(manager,1,2);</div><div class="line"><a name="l22224"></a><span class="lineno">22224</span>&#160;<span class="keywordflow">if</span> (table == <a class="code" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>) {</div><div class="line"><a name="l22225"></a><span class="lineno">22225</span>&#160;<span class="keywordflow">return</span>((<span class="keywordtype">double</span>)<a class="code" href="cudd_8h.html#aea3f40d6c6354b5b1475537cd2431ab4">CUDD_OUT_OF_MEM</a>);</div><div class="line"><a name="l22226"></a><span class="lineno">22226</span>&#160;}</div><div class="line"><a name="l22227"></a><span class="lineno">22227</span>&#160;epsilon = <a class="code" href="cuddInt_8c.html#ac711d8ce9d243e16246b83e3c1f04199">Cudd_ReadEpsilon</a>(manager);</div><div class="line"><a name="l22228"></a><span class="lineno">22228</span>&#160;<a class="code" href="cuddInt_8c.html#a30ef132c1f56bdb0e26efc81fa695cf3">Cudd_SetEpsilon</a>(manager,(<a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a>)0.0);</div><div class="line"><a name="l22229"></a><span class="lineno">22229</span>&#160;res = <a class="code" href="cuddInt_8c.html#aa62490abed02f3cc4cddf2e3a52d01e7">ddCountMintermAux</a>(node,max,table);</div><div class="line"><a name="l22230"></a><span class="lineno">22230</span>&#160;<a class="code" href="cuddInt_8c.html#ac48511fd185191433d7f180850e71e0f">cuddHashTableQuit</a>(table);</div><div class="line"><a name="l22231"></a><span class="lineno">22231</span>&#160;<a class="code" href="cuddInt_8c.html#a30ef132c1f56bdb0e26efc81fa695cf3">Cudd_SetEpsilon</a>(manager,epsilon);</div><div class="line"><a name="l22232"></a><span class="lineno">22232</span>&#160;</div><div class="line"><a name="l22233"></a><span class="lineno">22233</span>&#160;<span class="keywordflow">return</span>(res);</div><div class="line"><a name="l22234"></a><span class="lineno">22234</span>&#160;</div><div class="line"><a name="l22235"></a><span class="lineno">22235</span>&#160;} <span class="comment">/* end of Cudd_CountMinterm */</span></div><div class="ttc" id="cudd_8h_html_aea3f40d6c6354b5b1475537cd2431ab4"><div class="ttname"><a href="cudd_8h.html#aea3f40d6c6354b5b1475537cd2431ab4">CUDD_OUT_OF_MEM</a></div><div class="ttdeci">#define CUDD_OUT_OF_MEM</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00088">cudd.h:88</a></div></div>
 <div class="ttc" id="cudd_8h_html_a352ef8d39e760eaabae6d58d9a5ddbfc"><div class="ttname"><a href="cudd_8h.html#a352ef8d39e760eaabae6d58d9a5ddbfc">Cudd_Not</a></div><div class="ttdeci">#define Cudd_Not(node)</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00352">cudd.h:352</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_aa62490abed02f3cc4cddf2e3a52d01e7"><div class="ttname"><a href="cuddInt_8c.html#aa62490abed02f3cc4cddf2e3a52d01e7">ddCountMintermAux</a></div><div class="ttdeci">static double ddCountMintermAux(DdNode *node, double max, DdHashTable *table)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l23527">cuddInt.c:23527</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_aaf93dea94cfd93476e9c11d890891aff"><div class="ttname"><a href="cuddInt_8c.html#aaf93dea94cfd93476e9c11d890891aff">background</a></div><div class="ttdeci">static DdNode * background</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l22141">cuddInt.c:22141</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_ac711d8ce9d243e16246b83e3c1f04199"><div class="ttname"><a href="cuddInt_8c.html#ac711d8ce9d243e16246b83e3c1f04199">Cudd_ReadEpsilon</a></div><div class="ttdeci">CUDD_VALUE_TYPE Cudd_ReadEpsilon(DdManager *dd)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01883">cuddInt.c:1883</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_ac2933a97eaa2fb70d499347016ae1636"><div class="ttname"><a href="CFLGrammar_8txt.html#ac2933a97eaa2fb70d499347016ae1636">epsilon</a></div><div class="ttdeci">V epsilon</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00017">CFLGrammar.txt:17</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_ac48511fd185191433d7f180850e71e0f"><div class="ttname"><a href="cuddInt_8c.html#ac48511fd185191433d7f180850e71e0f">cuddHashTableQuit</a></div><div class="ttdeci">void cuddHashTableQuit(DdHashTable *hash)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l11598">cuddInt.c:11598</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a30ef132c1f56bdb0e26efc81fa695cf3"><div class="ttname"><a href="cuddInt_8c.html#a30ef132c1f56bdb0e26efc81fa695cf3">Cudd_SetEpsilon</a></div><div class="ttdeci">void Cudd_SetEpsilon(DdManager *dd, CUDD_VALUE_TYPE ep)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01904">cuddInt.c:1904</a></div></div>
 <div class="ttc" id="structDdHashTable_html"><div class="ttname"><a href="structDdHashTable.html">DdHashTable</a></div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00298">cuddInt.h:298</a></div></div>
@@ -2818,6 +2817,7 @@ Wrong number of total dead found </li>
 <div class="ttc" id="cudd_8h_html_a0eacff9d14824f9601da7152ecfdaeb1"><div class="ttname"><a href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a></div><div class="ttdeci">#define CUDD_VALUE_TYPE</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00087">cudd.h:87</a></div></div>
 <div class="ttc" id="structDdManager_html_a239bd99ee654742adc79b8299c2bc92e"><div class="ttname"><a href="structDdManager.html#a239bd99ee654742adc79b8299c2bc92e">DdManager::one</a></div><div class="ttdeci">DdNode * one</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00343">cuddInt.h:343</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_a114c2e5cd44b3ea4720e9191ed819f3b"><div class="ttname"><a href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></div><div class="ttdeci">Fbar epsilon</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00010">CFLGrammar.txt:10</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_ad9d1aaa6ee837cb65ffcf74932161586"><div class="ttname"><a href="cuddInt_8c.html#ad9d1aaa6ee837cb65ffcf74932161586">zero</a></div><div class="ttdeci">static DdNode * zero</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l16562">cuddInt.c:16562</a></div></div>
 <div class="ttc" id="structDdManager_html_af901aff58575a7fea75f7de35b4684b6"><div class="ttname"><a href="structDdManager.html#af901aff58575a7fea75f7de35b4684b6">DdManager::background</a></div><div class="ttdeci">DdNode * background</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00347">cuddInt.h:347</a></div></div>
 </div><!-- fragment -->
@@ -2969,7 +2969,7 @@ ref count error at node </li>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_aa7299d1217a57571ef88e9ac90530978"><div class="ttname"><a href="cuddInt_8h.html#aa7299d1217a57571ef88e9ac90530978">cuddI</a></div><div class="ttdeci">#define cuddI(dd, index)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00676">cuddInt.h:676</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a89a46089e8572876a1521cdee6cb31a2"><div class="ttname"><a href="cuddInt_8c.html#a89a46089e8572876a1521cdee6cb31a2">Cudd_bddLeq</a></div><div class="ttdeci">int Cudd_bddLeq(DdManager *dd, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l03283">cuddInt.c:3283</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="structDdManager_html_a70f75f877a9e8f1b7a1c219cd4675ce1"><div class="ttname"><a href="structDdManager.html#a70f75f877a9e8f1b7a1c219cd4675ce1">DdManager::vars</a></div><div class="ttdeci">DdNode ** vars</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00387">cuddInt.h:387</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
@@ -3131,7 +3131,7 @@ ref count error at node </li>
 <div class="ttc" id="cuddInt_8h_html_a2ca9cfb1642557eefc559198c4801092"><div class="ttname"><a href="cuddInt_8h.html#a2ca9cfb1642557eefc559198c4801092">ddMin</a></div><div class="ttdeci">#define ddMin(x, y)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00788">cuddInt.h:788</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a09834c697b92ac296b1e50c863f88262"><div class="ttname"><a href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddT</a></div><div class="ttdeci">#define cuddT(node)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00626">cuddInt.h:626</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_aa7299d1217a57571ef88e9ac90530978"><div class="ttname"><a href="cuddInt_8h.html#aa7299d1217a57571ef88e9ac90530978">cuddI</a></div><div class="ttdeci">#define cuddI(dd, index)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00676">cuddInt.h:676</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="cuddInt_8h_html_a544fba69760437cee493d4111f2e956f"><div class="ttname"><a href="cuddInt_8h.html#a544fba69760437cee493d4111f2e956f">DD_EQUIV_DC_TAG</a></div><div class="ttdeci">#define DD_EQUIV_DC_TAG</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8h_source.html#l00183">cuddInt.h:183</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_ac766e39390bf4d3c975d4a6bd34653dc"><div class="ttname"><a href="cuddInt_8c.html#ac766e39390bf4d3c975d4a6bd34653dc">cuddCacheInsert</a></div><div class="ttdeci">void cuddCacheInsert(DdManager *table, ptruint op, DdNode *f, DdNode *g, DdNode *h, DdNode *data)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l04283">cuddInt.c:4283</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
@@ -3706,7 +3706,7 @@ ref count error at node </li>
 <div class="ttc" id="st_8h_html_a6073f524b9f0ec98b2b3d3e59e4e3fbf"><div class="ttname"><a href="st_8h.html#a6073f524b9f0ec98b2b3d3e59e4e3fbf">st_ptrcmp</a></div><div class="ttdeci">int st_ptrcmp(const char *, const char *)</div><div class="ttdef"><b>Definition:</b> <a href="st_8c_source.html#l00585">st.c:585</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a6994699d7a2a82b8f838e9d8d408095a"><div class="ttname"><a href="cuddInt_8c.html#a6994699d7a2a82b8f838e9d8d408095a">DD_BIGGY</a></div><div class="ttdeci">#define DD_BIGGY</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l16539">cuddInt.c:16539</a></div></div>
 <div class="ttc" id="st_8h_html_a410a87c90bd4719f24fecc904b9426ed"><div class="ttname"><a href="st_8h.html#a410a87c90bd4719f24fecc904b9426ed">st_init_table</a></div><div class="ttdeci">st_table * st_init_table(ST_PFICPCP, ST_PFICPI)</div><div class="ttdef"><b>Definition:</b> <a href="st_8c_source.html#l00148">st.c:148</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="cuddInt_8c_html_a6506f1ae80b0f85d1e01da0db4a4f31a"><div class="ttname"><a href="cuddInt_8c.html#a6506f1ae80b0f85d1e01da0db4a4f31a">getLargest</a></div><div class="ttdeci">static cuddPathPair getLargest(DdNode *root, st_table *visited)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l17347">cuddInt.c:17347</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
 <div class="ttc" id="st_8h_html_a144fc385b211526daab6da9ad5a854cc"><div class="ttname"><a href="st_8h.html#a144fc385b211526daab6da9ad5a854cc">st_ptrhash</a></div><div class="ttdeci">int st_ptrhash(char *, int)</div><div class="ttdef"><b>Definition:</b> <a href="st_8c_source.html#l00547">st.c:547</a></div></div>

package/SVF-doxygen/html/html/cudd_8h_source.html

@@ -185,7 +185,7 @@ $(function() {
 <div class="ttc" id="cudd_8h_html_a89a46089e8572876a1521cdee6cb31a2"><div class="ttname"><a href="cudd_8h.html#a89a46089e8572876a1521cdee6cb31a2">Cudd_bddLeq</a></div><div class="ttdeci">int Cudd_bddLeq(DdManager *dd, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l03283">cuddInt.c:3283</a></div></div>
 <div class="ttc" id="cudd_8h_html_a9ba2c88b8f70df51791c26ffde800fc7"><div class="ttname"><a href="cudd_8h.html#a9ba2c88b8f70df51791c26ffde800fc7">Cudd_ReadNodeCount</a></div><div class="ttdeci">long Cudd_ReadNodeCount(DdManager *dd)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01948">cuddInt.c:1948</a></div></div>
 <div class="ttc" id="cudd_8h_html_a0eacff9d14824f9601da7152ecfdaeb1"><div class="ttname"><a href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a></div><div class="ttdeci">#define CUDD_VALUE_TYPE</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00087">cudd.h:87</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="epd_8h_html"><div class="ttname"><a href="epd_8h.html">epd.h</a></div></div>
 <div class="ttc" id="structDdNode_html_abbd39b25b9abe4b4d53cd267a4103bda"><div class="ttname"><a href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode::index</a></div><div class="ttdeci">DdHalfWord index</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00273">cudd.h:273</a></div></div>
 <div class="ttc" id="cudd_8h_html_a40fd71665cde402bd5bc4f39015c09ae"><div class="ttname"><a href="cudd_8h.html#a40fd71665cde402bd5bc4f39015c09ae">Cudd_bddIthVar</a></div><div class="ttdeci">DdNode * Cudd_bddIthVar(DdManager *dd, int i)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l01685">cuddInt.c:1685</a></div></div>

package/SVF-doxygen/html/html/dda_8cpp_source.html

@@ -67,7 +67,7 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <a href="dda_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> // On Demand Value Flow Analysis</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> //</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> // Author: Yulei Sui,</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;</div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//#include &quot;AliasUtil/AliasAnalysisCounter.h&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">//#include &quot;MemoryModel/ComTypeModel.h&quot;</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LLVMUtil_8h.html">SVF-FE/LLVMUtil.h</a>&quot;</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="DDAPass_8h.html">DDA/DDAPass.h</a>&quot;</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt;</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<a class="code" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">StandardCompileOpts</a>(<span class="stringliteral">&quot;std-compile-opts&quot;</span>,</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;                    cl::desc(<span class="stringliteral">&quot;Include the standard compile time optimizations&quot;</span>));</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//static cl::list&lt;const PassInfo*, bool, PassNameParser&gt;</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//PassList(cl::desc(&quot;Optimizations available:&quot;));</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">DAA</a>(<span class="stringliteral">&quot;daa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;                         cl::desc(<span class="stringliteral">&quot;Demand-Driven Alias Analysis Pass&quot;</span>));</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">REGPT</a>(<span class="stringliteral">&quot;dreg&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;                           cl::desc(<span class="stringliteral">&quot;Demand-driven regular points-to analysis&quot;</span>));</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">RFINEPT</a>(<span class="stringliteral">&quot;dref&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;                             cl::desc(<span class="stringliteral">&quot;Demand-driven refinement points-to analysis&quot;</span>));</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0">ENABLEFIELD</a>(<span class="stringliteral">&quot;fdaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;                                 cl::desc(<span class="stringliteral">&quot;enable field-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">ENABLECONTEXT</a>(<span class="stringliteral">&quot;cdaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;                                   cl::desc(<span class="stringliteral">&quot;enable context-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="keyword">static</span> cl::opt&lt;bool&gt; <a class="code" href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">ENABLEFLOW</a>(<span class="stringliteral">&quot;ldaa&quot;</span>, cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;                                cl::desc(<span class="stringliteral">&quot;enable flow-sensitivity for demand-driven analysis&quot;</span>));</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   41</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    <a class="code" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">LLVMUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;                                <span class="stringliteral">&quot;Demand-Driven Points-to Analysis\n&quot;</span>);</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    {</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    }</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a> *dda = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DDAPass.html">DDAPass</a>();</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    dda-&gt;<a class="code" href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">runOnModule</a>(svfModule);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;}</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;</div><div class="ttc" id="dda_8cpp_html_a1fe1900e000a62ca91dc0651bfa3a24f"><div class="ttname"><a href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">ENABLECONTEXT</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; ENABLECONTEXT(&quot;cdaa&quot;, cl::init(false), cl::desc(&quot;enable context-sensitivity for demand-driven analysis&quot;))</div></div>
-<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00107">CFLGraph.h:107</a></div></div>
+<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00119">CFLGraph.h:119</a></div></div>
 <div class="ttc" id="dda_8cpp_html_afffbd7760f0128b74c9dbfd517d0f99e"><div class="ttname"><a href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">StandardCompileOpts</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; StandardCompileOpts(&quot;std-compile-opts&quot;, cl::desc(&quot;Include the standard compile time optimizations&quot;))</div></div>
 <div class="ttc" id="dda_8cpp_html_a5ed1de5ad06cf459c1b4e63685316618"><div class="ttname"><a href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">REGPT</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; REGPT(&quot;dreg&quot;, cl::init(false), cl::desc(&quot;Demand-driven regular points-to analysis&quot;))</div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>

package/SVF-doxygen/html/html/dir_98f9a352f241e0e917d4efaa4086f6e8.html

@@ -71,6 +71,8 @@ $(function() {
 Files</h2></td></tr>
 <tr class="memitem:CFGNormalizer_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFGNormalizer_8cpp.html">CFGNormalizer.cpp</a> <a href="CFGNormalizer_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFLAlias_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLAlias_8cpp.html">CFLAlias.cpp</a> <a href="CFLAlias_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGrammar_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8cpp.html">CFLGrammar.cpp</a> <a href="CFLGrammar_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGraphBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGraphBuilder_8cpp.html">CFLGraphBuilder.cpp</a> <a href="CFLGraphBuilder_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/files.html

@@ -216,10 +216,11 @@ $(function() {
 <tr id="row_1_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_1_" class="arrow" onclick="toggleFolder('1_')">&#9660;</span><span id="img_1_" class="iconfopen" onclick="toggleFolder('1_')">&#160;</span><a class="el" href="dir_97aefd0d527b934f1d99a682da8fe6a9.html" target="_self">lib</a></td><td class="desc"></td></tr>
 <tr id="row_1_0_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_0_" class="arrow" onclick="toggleFolder('1_0_')">&#9658;</span><span id="img_1_0_" class="iconfclosed" onclick="toggleFolder('1_0_')">&#160;</span><a class="el" href="dir_98f9a352f241e0e917d4efaa4086f6e8.html" target="_self">CFL</a></td><td class="desc"></td></tr>
 <tr id="row_1_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8cpp.html" target="_self">CFGNormalizer.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLGrammar_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGrammar_8cpp.html" target="_self">CFLGrammar.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_0_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLGraphBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraphBuilder_8cpp.html" target="_self">CFLGraphBuilder.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_0_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLSolver_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSolver_8cpp.html" target="_self">CFLSolver.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_0_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="GrammarBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="GrammarBuilder_8cpp.html" target="_self">GrammarBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLAlias_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLAlias_8cpp.html" target="_self">CFLAlias.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_0_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLGrammar_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGrammar_8cpp.html" target="_self">CFLGrammar.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_0_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLGraphBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraphBuilder_8cpp.html" target="_self">CFLGraphBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_0_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLSolver_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSolver_8cpp.html" target="_self">CFLSolver.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_0_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="GrammarBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="GrammarBuilder_8cpp.html" target="_self">GrammarBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_1_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_1_" class="arrow" onclick="toggleFolder('1_1_')">&#9658;</span><span id="img_1_1_" class="iconfclosed" onclick="toggleFolder('1_1_')">&#160;</span><a class="el" href="dir_531ed8206d23a949d3f5ff259fc9c602.html" target="_self">CUDD</a></td><td class="desc"></td></tr>
 <tr id="row_1_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="cuddInt_8c_source.html"><span class="icondoc"></span></a><a class="el" href="cuddInt_8c.html" target="_self">cuddInt.c</a></td><td class="desc"></td></tr>
 <tr id="row_1_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="epd_8c_source.html"><span class="icondoc"></span></a><a class="el" href="epd_8c.html" target="_self">epd.c</a></td><td class="desc"></td></tr>

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

@@ -97,6 +97,9 @@ $(function() {
 <li>~CFLEdge()
 : <a class="el" href="classSVF_1_1CFLEdge.html#a8754c9d2a2a8b342d614383ee5829e70">SVF::CFLEdge</a>
 </li>
+<li>~CFLFIFOWorkList()
+: <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
+</li>
 <li>~CFLGraph()
 : <a class="el" href="classSVF_1_1CFLGraph.html#a887f27836a2fb5eca3c33fb95f3990d3">SVF::CFLGraph</a>
 </li>

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

@@ -954,7 +954,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
@@ -985,19 +985,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9">SVF::CHNode</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
 : <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>
@@ -1101,7 +1101,7 @@ $(function() {
 </li>
 <li>analyze()
 : <a class="el" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#acc3a9c19cc140aef48712b5c68240454">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#afc6922e9f1965ed85ef87151e00f5311">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681">SVF::FlowSensitive</a>
@@ -1295,7 +1295,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9">SVF::Z3Expr</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
@@ -1312,6 +1312,12 @@ $(function() {
 <li>Attribute
 : <a class="el" href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">SVF::GrammarBase</a>
 </li>
+<li>attribute
+: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">SVF::GrammarBase::Symbol</a>
+</li>
+<li>AttributedKindMaskBits
+: <a class="el" href="classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854">SVF::GrammarBase</a>
+</li>
 <li>attributeKinds
 : <a class="el" href="classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d">SVF::GrammarBase</a>
 </li>

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

@@ -329,7 +329,7 @@ $(function() {
 : <a class="el" href="structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013">printbuffer</a>
 </li>
 <li>build()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a5944c6a36e150a50a54aedd622c43ff9">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
@@ -340,7 +340,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d">SVF::TCT</a>
 </li>
 <li>buildBigraph()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#affb40ec0eb8aadfc20841c2cf9969848">SVF::CFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">SVF::AliasCFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">SVF::CFLGraphBuilder</a>
 </li>
 <li>buildCallGraph()
 : <a class="el" href="classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc">SVF::CallGraphBuilder</a>
@@ -424,7 +425,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a82b29fc1e138e082d7da6e016a5b7eb8">SVF::LLVMLoopAnalysis</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>