svf-tools 1.0.478 → 1.0.481

package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html

@@ -217,7 +217,7 @@ template&lt;class GraphType &gt; </div>
 <p>Write the graph into dot file for debugging purpose </p>
 
 <p class="definition">Definition at line <a class="el" href="GraphPrinter_8h_source.html#l00058">58</a> of file <a class="el" href="GraphPrinter_8h_source.html">GraphPrinter.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    {</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <span class="comment">// Filename of the output dot file</span></div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> Filename = GraphName + <span class="stringliteral">&quot;.dot&quot;</span>;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;Writing &#39;&quot;</span> &lt;&lt; Filename &lt;&lt; <span class="stringliteral">&quot;&#39;...&quot;</span>;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        std::error_code ErrInfo;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        llvm::ToolOutputFile <a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>(Filename.c_str(), ErrInfo, llvm::sys::fs::OF_None);</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <span class="keywordflow">if</span> (!ErrInfo)</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            <span class="comment">// dump the ValueFlowGraph here</span></div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;            WriteGraph(<a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.os(), GT, simple);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.os().close();</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;            <span class="keywordflow">if</span> (!<a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.os().has_error())</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;            {</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                <a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.keep();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;            }</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        }</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;  error opening file for writing!\n&quot;</span>;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.os().clear_error();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</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="fragment"><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    {</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <span class="comment">// Filename of the output dot file</span></div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> Filename = GraphName + <span class="stringliteral">&quot;.dot&quot;</span>;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;Writing &#39;&quot;</span> &lt;&lt; Filename &lt;&lt; <span class="stringliteral">&quot;&#39;...&quot;</span>;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        std::error_code ErrInfo;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        llvm::ToolOutputFile <a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>(Filename.c_str(), ErrInfo, llvm::sys::fs::OF_None);</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <span class="keywordflow">if</span> (!ErrInfo)</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            <span class="comment">// dump the ValueFlowGraph here</span></div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;            WriteGraph(<a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.os(), GT, simple);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.os().close();</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;            <span class="keywordflow">if</span> (!<a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.os().has_error())</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;            {</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                O &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                <a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.keep();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                <span class="keywordflow">return</span>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;            }</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        }</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        O &lt;&lt; <span class="stringliteral">&quot;  error opening file for writing!\n&quot;</span>;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>.os().clear_error();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</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="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><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/cuddInt_8c.html

@@ -668,7 +668,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="cuddInt_8c.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="cuddInt_8c.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="cuddInt_8c.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="cuddInt_8c.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>
@@ -3680,7 +3680,7 @@ Cudd_bddBooleanDiff() </li>
 <div class="ttc" id="cudd_8h_html_afbbecf4f6f78f92518f4d0a477d870b6"><div class="ttname"><a href="cudd_8h.html#afbbecf4f6f78f92518f4d0a477d870b6">Cudd_Regular</a></div><div class="ttdeci">#define Cudd_Regular(node)</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00382">cudd.h:382</a></div></div>
 <div class="ttc" id="cudd_8h_html_a35322518c24f65f44eda9623083cb62c"><div class="ttname"><a href="cudd_8h.html#a35322518c24f65f44eda9623083cb62c">Cudd_IsComplement</a></div><div class="ttdeci">#define Cudd_IsComplement(node)</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00410">cudd.h:410</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="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_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><!-- fragment -->
@@ -4864,7 +4864,7 @@ number of roots in the part of the BDD subjected to reordering; </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>
@@ -4931,7 +4931,7 @@ number of roots in the part of the BDD subjected to reordering; </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>
@@ -5231,7 +5231,7 @@ number of roots in the part of the BDD subjected to reordering; </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>
@@ -5514,12 +5514,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>
@@ -5527,6 +5526,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 -->
@@ -5678,7 +5678,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>
@@ -5840,7 +5840,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>
@@ -6415,7 +6415,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>
@@ -7843,7 +7843,7 @@ Symmetric Sifting </li>
 <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>
@@ -7966,7 +7966,7 @@ Symmetric Sifting </li>
 <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>
@@ -8031,7 +8031,7 @@ Symmetric Sifting </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_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>
@@ -8296,7 +8296,7 @@ Symmetric Sifting </li>
 <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>
@@ -9190,7 +9190,7 @@ Symmetric Sifting </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_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>
@@ -16674,7 +16674,7 @@ Repeat 1-4 until no further improvement. </li>
 <div class="ttc" id="cudd_8h_html_aa097684bc69c58891332b245d577b986"><div class="ttname"><a href="cudd_8h.html#aa097684bc69c58891332b245d577b986">CUDD_CONST_INDEX</a></div><div class="ttdeci">#define CUDD_CONST_INDEX</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00107">cudd.h:107</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>
@@ -16752,7 +16752,7 @@ Repeat 1-4 until no further improvement. </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_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_a1276d6ae80c20ae2ec082db7c502ef75"><div class="ttname"><a href="st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75">ST_OUT_OF_MEM</a></div><div class="ttdeci">#define ST_OUT_OF_MEM</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00041">st.h:41</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="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>
 <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>