svf-tools 1.0.482 → 1.0.485

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

@@ -66,7 +66,7 @@ $(function() {
 <div class="title">cudd.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="cudd_8h.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;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="preprocessor">#ifndef _CUDD</span></div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;<span class="preprocessor">#define _CUDD</span></div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;<span class="comment">/* Nested includes                                                           */</span></div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></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;<span class="preprocessor">#include &quot;<a class="code" href="mtr_8h.html">mtr.h</a>&quot;</span></div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="epd_8h.html">epd.h</a>&quot;</span></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="preprocessor">#ifdef __cplusplus</span></div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;<span class="keyword">extern</span> <span class="stringliteral">&quot;C&quot;</span> {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;<span class="comment">/* Constant declarations                                                     */</span></div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="preprocessor">#ifndef SIZEOF_VOID_P</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;<span class="preprocessor">#define SIZEOF_VOID_P 4</span></div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;<span class="preprocessor">#ifndef SIZEOF_INT</span></div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;<span class="preprocessor">#define SIZEOF_INT 4</span></div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;<span class="preprocessor">#ifndef SIZEOF_LONG</span></div><div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="cudd_8h.html#a22aece5d034fd9040a3d01c3797fdfe7">   82</a></span>&#160;<span class="preprocessor">#define SIZEOF_LONG 4</span></div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="cudd_8h.html#af397eb0f37256c48b181c5f02e5cb128">   85</a></span>&#160;<span class="preprocessor">#define CUDD_TRUE 1</span></div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">   87</a></span>&#160;<span class="preprocessor">#define CUDD_VALUE_TYPE     double</span></div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="cudd_8h.html#aea3f40d6c6354b5b1475537cd2431ab4">   88</a></span>&#160;<span class="preprocessor">#define CUDD_OUT_OF_MEM     -1</span></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;<span class="comment">/* The sizes of the subtables and the cache must be powers of two. */</span></div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="cudd_8h.html#a5898eb92cde4c11e117bb88330b50019">   90</a></span>&#160;<span class="preprocessor">#define CUDD_UNIQUE_SLOTS   256 </span><span class="comment">/* initial size of subtables */</span><span class="preprocessor"></span></div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae43ddb042121362b558a2ff66dd829ed">   91</a></span>&#160;<span class="preprocessor">#define CUDD_CACHE_SLOTS    262144  </span><span class="comment">/* default size of the cache */</span><span class="preprocessor"></span></div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;<span class="comment">/* Constants for residue functions. */</span></div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;<span class="comment">/* CUDD_MAXINDEX is defined in such a way that on 32-bit and 64-bit</span></div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;<span class="comment">** machines one can cast an index to (int) without generating a negative</span></div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;<span class="comment">** number.</span></div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;<span class="comment">*/</span></div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;<span class="preprocessor">#if SIZEOF_VOID_P == 8 &amp;&amp; SIZEOF_INT == 4</span></div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;<span class="preprocessor">#define CUDD_MAXINDEX       (((DdHalfWord) ~0) &gt;&gt; 1)</span></div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="cudd_8h.html#ace9063853dcc42532cb9c7c1b5cca2d8">  102</a></span>&#160;<span class="preprocessor">#define CUDD_MAXINDEX       ((DdHalfWord) ~0)</span></div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;<span class="comment">/* CUDD_CONST_INDEX is the index of constant nodes.  Currently this</span></div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;<span class="comment">** is a synonim for CUDD_MAXINDEX. */</span></div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="cudd_8h.html#aa097684bc69c58891332b245d577b986">  107</a></span>&#160;<span class="preprocessor">#define CUDD_CONST_INDEX    CUDD_MAXINDEX</span></div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;<span class="comment">/* These constants define the digits used in the representation of</span></div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;<span class="comment">** arbitrary precision integers.  The configurations tested use 8, 16,</span></div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;<span class="comment">** and 32 bits for each digit.  The typedefs should be in agreement</span></div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;<span class="comment">** with these definitions.</span></div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;<span class="comment">*/</span></div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;<span class="preprocessor">#if SIZEOF_LONG == 8</span></div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;<span class="preprocessor">#define DD_APA_BITS 32</span></div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;<span class="preprocessor">#define DD_APA_BASE (1L &lt;&lt; DD_APA_BITS)</span></div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="preprocessor">#define DD_APA_HEXPRINT &quot;%08x&quot;</span></div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="cudd_8h.html#aab8bcb4b85200713dd68f1a72a9235ac">  119</a></span>&#160;<span class="preprocessor">#define DD_APA_BITS 16</span></div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="cudd_8h.html#a01069d6e0190f787f2c4a38718bb500e">  120</a></span>&#160;<span class="preprocessor">#define DD_APA_BASE (1 &lt;&lt; DD_APA_BITS)</span></div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="cudd_8h.html#a39daa97a2ceb8ece21484aa5b1c11eb1">  121</a></span>&#160;<span class="preprocessor">#define DD_APA_HEXPRINT &quot;%04x&quot;</span></div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="cudd_8h.html#ade62a89be20c90e4bc45faa1da5624bb">  123</a></span>&#160;<span class="preprocessor">#define DD_APA_MASK (DD_APA_BASE - 1)</span></div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;<span class="comment">/* Stucture declarations                                                     */</span></div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;<span class="comment">/* Type declarations                                                         */</span></div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20dde">  141</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;{</div><div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea3c2554eb182fa3c6440fa5e3f72dddd5">  143</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea3c2554eb182fa3c6440fa5e3f72dddd5">CUDD_REORDER_SAME</a>,</div><div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeabb43fb9caec196a5f3333de31c16b475">  144</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeabb43fb9caec196a5f3333de31c16b475">CUDD_REORDER_NONE</a>,</div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea8ffde9a0194df5e01bb3a0eaf2d5a489">  145</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea8ffde9a0194df5e01bb3a0eaf2d5a489">CUDD_REORDER_RANDOM</a>,</div><div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea45255db0c5134ca33ba807a372879368">  146</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea45255db0c5134ca33ba807a372879368">CUDD_REORDER_RANDOM_PIVOT</a>,</div><div class="line"><a name="l00147"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeaf512171f99e30a741b604602e077ae54">  147</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeaf512171f99e30a741b604602e077ae54">CUDD_REORDER_SIFT</a>,</div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2eb44e59cba9e1b55653941959eb5938">  148</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2eb44e59cba9e1b55653941959eb5938">CUDD_REORDER_SIFT_CONVERGE</a>,</div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2b9444b7775bba12da0f39a584078e0c">  149</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2b9444b7775bba12da0f39a584078e0c">CUDD_REORDER_SYMM_SIFT</a>,</div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeabc7a353b99f532efefdf9092016e0894">  150</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeabc7a353b99f532efefdf9092016e0894">CUDD_REORDER_SYMM_SIFT_CONV</a>,</div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1200f7bc9ce4e409d0bc1750518b97fe">  151</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1200f7bc9ce4e409d0bc1750518b97fe">CUDD_REORDER_WINDOW2</a>,</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeae53a5c1dfdd719ff377d4f900de4c0cf">  152</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeae53a5c1dfdd719ff377d4f900de4c0cf">CUDD_REORDER_WINDOW3</a>,</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea69dac82abf4db2bbf5820fa9638bdc4a">  153</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea69dac82abf4db2bbf5820fa9638bdc4a">CUDD_REORDER_WINDOW4</a>,</div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea8c7e70e4c81dbc35286b7a00685f5a19">  154</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea8c7e70e4c81dbc35286b7a00685f5a19">CUDD_REORDER_WINDOW2_CONV</a>,</div><div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeaf7eb9f8bb0bd33ae78ecb6fb3094c3f9">  155</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeaf7eb9f8bb0bd33ae78ecb6fb3094c3f9">CUDD_REORDER_WINDOW3_CONV</a>,</div><div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeac949aef80601550a561adaf440aca438">  156</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeac949aef80601550a561adaf440aca438">CUDD_REORDER_WINDOW4_CONV</a>,</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2f3a3020e2028bf957b4d2e6da34b748">  157</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2f3a3020e2028bf957b4d2e6da34b748">CUDD_REORDER_GROUP_SIFT</a>,</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea021943df6809b36d89fa03d0bb63b9ef">  158</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea021943df6809b36d89fa03d0bb63b9ef">CUDD_REORDER_GROUP_SIFT_CONV</a>,</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea86b75dbbbe111b8b098b079fcae00bb8">  159</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea86b75dbbbe111b8b098b079fcae00bb8">CUDD_REORDER_ANNEALING</a>,</div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea5f8da0a69c6e0a45f5aabf29c0f62b80">  160</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea5f8da0a69c6e0a45f5aabf29c0f62b80">CUDD_REORDER_GENETIC</a>,</div><div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeacb683aa1b0f0447e6bc3e233a27bc09a">  161</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeacb683aa1b0f0447e6bc3e233a27bc09a">CUDD_REORDER_LINEAR</a>,</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea5fe4925131a190c26d615676991cbc87">  162</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea5fe4925131a190c26d615676991cbc87">CUDD_REORDER_LINEAR_CONVERGE</a>,</div><div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1224bc6939f117d8cc8c5ca947262718">  163</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1224bc6939f117d8cc8c5ca947262718">CUDD_REORDER_LAZY_SIFT</a>,</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea18cd94b42260d7f89b98887317383c96">  164</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea18cd94b42260d7f89b98887317383c96">CUDD_REORDER_EXACT</a></div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;} <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20dde">Cudd_ReorderingType</a>;</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33">  175</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;{</div><div class="line"><a name="l00177"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a4f1a026ea705ddbdebef7a29ffa1164d">  177</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a4f1a026ea705ddbdebef7a29ffa1164d">CUDD_NO_CHECK</a>,</div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad25024e64dd5b5a286ec68b7e74cb0b8">  178</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad25024e64dd5b5a286ec68b7e74cb0b8">CUDD_GROUP_CHECK</a>,</div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a51588db194a511cd2f7ef3114518556f">  179</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a51588db194a511cd2f7ef3114518556f">CUDD_GROUP_CHECK2</a>,</div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a735c3b1fd401c898defa3daa3dd28c49">  180</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a735c3b1fd401c898defa3daa3dd28c49">CUDD_GROUP_CHECK3</a>,</div><div class="line"><a name="l00181"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a324b97780cb16ebe7f64c73c00ee9eba">  181</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a324b97780cb16ebe7f64c73c00ee9eba">CUDD_GROUP_CHECK4</a>,</div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad3a5294783a019eb777136b90d2e4473">  182</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad3a5294783a019eb777136b90d2e4473">CUDD_GROUP_CHECK5</a>,</div><div class="line"><a name="l00183"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a76bc1d95fe27874bcafb3f69498036e5">  183</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a76bc1d95fe27874bcafb3f69498036e5">CUDD_GROUP_CHECK6</a>,</div><div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a2255d47de89aeab7b361ab6a0878551c">  184</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a2255d47de89aeab7b361ab6a0878551c">CUDD_GROUP_CHECK7</a>,</div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a9a849284329e184055ff0189fae94239">  185</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a9a849284329e184055ff0189fae94239">CUDD_GROUP_CHECK8</a>,</div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad207ddf281975c30e63daaddbff265b1">  186</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad207ddf281975c30e63daaddbff265b1">CUDD_GROUP_CHECK9</a></div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;} <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33">Cudd_AggregationType</a>;</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;</div><div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2">  197</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;{</div><div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2a94059de430a4e48b8afb151022f3668f">  199</a></span>&#160;    <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2a94059de430a4e48b8afb151022f3668f">CUDD_PRE_GC_HOOK</a>,</div><div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2af46c5878650565a45cb00616b73d5546">  200</a></span>&#160;    <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2af46c5878650565a45cb00616b73d5546">CUDD_POST_GC_HOOK</a>,</div><div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2a704fd55a76fc6e2b8e5f9cb498bdd041">  201</a></span>&#160;    <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2a704fd55a76fc6e2b8e5f9cb498bdd041">CUDD_PRE_REORDERING_HOOK</a>,</div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2ac20a839fcf5d7121ef94f79ece9950c8">  202</a></span>&#160;    <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2ac20a839fcf5d7121ef94f79ece9950c8">CUDD_POST_REORDERING_HOOK</a></div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;} <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2">Cudd_HookType</a>;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;</div><div class="line"><a name="l00213"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444b">  213</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;{</div><div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba220d2684f9cfbf9eb606f2636b8e8760">  215</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba220d2684f9cfbf9eb606f2636b8e8760">CUDD_NO_ERROR</a>,</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba0db98cf2462f40577e6c83a60b095111">  216</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba0db98cf2462f40577e6c83a60b095111">CUDD_MEMORY_OUT</a>,</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba860b0e907a711936e1bf9b9896ad62a4">  217</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba860b0e907a711936e1bf9b9896ad62a4">CUDD_TOO_MANY_NODES</a>,</div><div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba6f44f866a8eaeed81d91a08b8ac1a413">  218</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba6f44f866a8eaeed81d91a08b8ac1a413">CUDD_MAX_MEM_EXCEEDED</a>,</div><div class="line"><a name="l00219"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba9e1780a5962236391b822462faf005e3">  219</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba9e1780a5962236391b822462faf005e3">CUDD_TIMEOUT_EXPIRED</a>,</div><div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba6207864d084627c3b7ae995c0839644b">  220</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba6207864d084627c3b7ae995c0839644b">CUDD_INVALID_ARG</a>,</div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444bad26f07005e0b7534b848d09c834867fd">  221</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444bad26f07005e0b7534b848d09c834867fd">CUDD_INTERNAL_ERROR</a></div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;} <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444b">Cudd_ErrorType</a>;</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;</div><div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2">  232</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;{</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ae3f5709296a6bebf3e3d591b47c00153">  234</a></span>&#160;    <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ae3f5709296a6bebf3e3d591b47c00153">CUDD_LAZY_NONE</a>,</div><div class="line"><a name="l00235"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2a929d7c7b5936bb9d4fca17090130a276">  235</a></span>&#160;    <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2a929d7c7b5936bb9d4fca17090130a276">CUDD_LAZY_SOFT_GROUP</a>,</div><div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ac04c38028b974373d5544100a8019362">  236</a></span>&#160;    <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ac04c38028b974373d5544100a8019362">CUDD_LAZY_HARD_GROUP</a>,</div><div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2a615466306ff99dce95b6e3ac596f70f2">  237</a></span>&#160;    <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2a615466306ff99dce95b6e3ac596f70f2">CUDD_LAZY_UNGROUP</a></div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;} <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2">Cudd_LazyGroupType</a>;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659">  248</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;{</div><div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af49b99f540af22526991a41dda7487c5">  250</a></span>&#160;    <a class="code" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af49b99f540af22526991a41dda7487c5">CUDD_VAR_PRIMARY_INPUT</a>,</div><div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659a1cb95714ac9445407db4715ad3ad7ad4">  251</a></span>&#160;    <a class="code" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659a1cb95714ac9445407db4715ad3ad7ad4">CUDD_VAR_PRESENT_STATE</a>,</div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af618fc003379fb37aec1627fd8544d43">  252</a></span>&#160;    <a class="code" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af618fc003379fb37aec1627fd8544d43">CUDD_VAR_NEXT_STATE</a></div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;} <a class="code" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659">Cudd_VariableType</a>;</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;<span class="preprocessor">#if SIZEOF_VOID_P == 8 &amp;&amp; SIZEOF_INT == 4</span></div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span>   <a class="code" href="cudd_8h.html#a080a9b71ac483cf2c576ccedb5cba200">DdHalfWord</a>;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="cudd_8h.html#a080a9b71ac483cf2c576ccedb5cba200">  259</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">short</span> <a class="code" href="cudd_8h.html#a080a9b71ac483cf2c576ccedb5cba200">DdHalfWord</a>;</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="cudd_8h.html#a113dbfe7d93a38b91a4214e214af7ec7">  262</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structDdNode.html">DdNode</a> <a class="code" href="structDdNode.html">DdNode</a>;</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;</div><div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="structDdChildren.html">  264</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structDdChildren.html">DdChildren</a></div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;{</div><div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="structDdChildren.html#ad0ae5b8d618066932517a85d2286319f">  266</a></span>&#160;    <span class="keyword">struct </span><a class="code" href="structDdNode.html">DdNode</a> *<a class="code" href="structDdChildren.html#ad0ae5b8d618066932517a85d2286319f">T</a>;</div><div class="line"><a name="l00267"></a><span class="lineno"><a class="line" href="structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5">  267</a></span>&#160;    <span class="keyword">struct </span><a class="code" href="structDdNode.html">DdNode</a> *<a class="code" href="structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5">E</a>;</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;} <a class="code" href="cudd_8h.html#a424f8f0029f17d6a55752691468dd285">DdChildren</a>;</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;<span class="comment">/* The DdNode structure is the only one exported out of the package */</span></div><div class="line"><a name="l00271"></a><span class="lineno"><a class="line" href="structDdNode.html">  271</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structDdNode.html">DdNode</a></div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;{</div><div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">  273</a></span>&#160;    DdHalfWord <a class="code" href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">index</a>;</div><div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="structDdNode.html#a530470565dbead9303a714e120c35b70">  274</a></span>&#160;    DdHalfWord <a class="code" href="structDdNode.html#a530470565dbead9303a714e120c35b70">ref</a>;     <span class="comment">/* reference count */</span></div><div class="line"><a name="l00275"></a><span class="lineno"><a class="line" href="structDdNode.html#a9422352d3b46de31b325d1cf18b9f25f">  275</a></span>&#160;    <a class="code" href="structDdNode.html">DdNode</a> *<a class="code" href="structDdNode.html#a9422352d3b46de31b325d1cf18b9f25f">next</a>;       <span class="comment">/* next pointer for unique table */</span></div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    <span class="keyword">union</span></div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno"><a class="line" href="structDdNode.html#a4daed26b440c68f410d46eb180a55abb">  278</a></span>&#160;        <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> <a class="code" href="structDdNode.html#a4daed26b440c68f410d46eb180a55abb">value</a>;  <span class="comment">/* for constant nodes */</span></div><div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="structDdNode.html#a4e99abf685381a90dcd5e9aa6a024791">  279</a></span>&#160;        <a class="code" href="structDdChildren.html">DdChildren</a> <a class="code" href="structDdNode.html#a4e99abf685381a90dcd5e9aa6a024791">kids</a>;    <span class="comment">/* for internal nodes */</span></div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    } <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;};</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;</div><div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="cudd_8h.html#ad210314f445a7b5d719abbce16e8b24d">  283</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structDdManager.html">DdManager</a> <a class="code" href="structDdManager.html">DdManager</a>;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;</div><div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae2dcf43f58dcfdc0112e08cd962ff68d">  285</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structDdGen.html">DdGen</a> <a class="code" href="structDdGen.html">DdGen</a>;</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;<span class="comment">/* These typedefs for arbitrary precision arithmetic should agree with</span></div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;<span class="comment">** the corresponding constant definitions above. */</span></div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;<span class="preprocessor">#if SIZEOF_LONG == 8</span></div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ac801c0bab4f2dc057822747fe9cde43d">DdApaDigit</a>;</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a96b5ce83ba5eec80e9afbcf978b5d940">DdApaDoubleDigit</a>;</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00293"></a><span class="lineno"><a class="line" href="cudd_8h.html#ac801c0bab4f2dc057822747fe9cde43d">  293</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">short</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ac801c0bab4f2dc057822747fe9cde43d">DdApaDigit</a>;</div><div class="line"><a name="l00294"></a><span class="lineno"><a class="line" href="cudd_8h.html#a96b5ce83ba5eec80e9afbcf978b5d940">  294</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a96b5ce83ba5eec80e9afbcf978b5d940">DdApaDoubleDigit</a>;</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;<span class="comment">/* Return type for function computing two-literal clauses. */</span></div><div class="line"><a name="l00298"></a><span class="lineno"><a class="line" href="cudd_8h.html#abee817945068186156e2439a5d921a56">  298</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="cudd_8h.html#abee817945068186156e2439a5d921a56">DdTlcInfo</a> <a class="code" href="cudd_8h.html#abee817945068186156e2439a5d921a56">DdTlcInfo</a>;</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;<span class="comment">/* Type of hook function. */</span></div><div class="line"><a name="l00301"></a><span class="lineno"><a class="line" href="cudd_8h.html#a1a0b162633be038685ce87dac7a57382">  301</a></span>&#160;<span class="keyword">typedef</span> int (*<a class="code" href="cudd_8h.html#a1a0b162633be038685ce87dac7a57382">DD_HFP</a>)(<a class="code" href="structDdManager.html">DdManager</a> *, <span class="keyword">const</span> <span class="keywordtype">char</span> *, <span class="keywordtype">void</span> *);</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;<span class="comment">/* Type of priority function */</span></div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;<span class="comment">/* Type of apply operator. */</span></div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;<span class="comment">/* Type of monadic apply operator. */</span></div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;<span class="comment">/* Types of cache tag functions. */</span></div><div class="line"><a name="l00306"></a><span class="lineno"><a class="line" href="cudd_8h.html#af55488f14ee0664be0dee3f2004f5fd6">  306</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="structDdNode.html">DdNode</a> * (*DD_CTFP)(DdManager *, <a class="code" href="structDdNode.html">DdNode</a> *, DdNode *);</div><div class="line"><a name="l00307"></a><span class="lineno"><a class="line" href="cudd_8h.html#a176dbe7f76ff8aae03a42411e4ab3110">  307</a></span>&#160;<span class="keyword">typedef</span> DdNode * (*DD_CTFP1)(DdManager *, DdNode *);</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;<span class="comment">/* Type of memory-out function. */</span></div><div class="line"><a name="l00309"></a><span class="lineno"><a class="line" href="cudd_8h.html#a70985999f50facb0c680b928c161d7c1">  309</a></span>&#160;<span class="keyword">typedef</span> void (*<a class="code" href="cudd_8h.html#a70985999f50facb0c680b928c161d7c1">DD_OOMFP</a>)(long);</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;<span class="comment">/* Type of comparison function for qsort. */</span></div><div class="line"><a name="l00311"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae4e0e9a5df0e281a5bcb55b92b70710c">  311</a></span>&#160;<span class="keyword">typedef</span> int (*<a class="code" href="cudd_8h.html#ae4e0e9a5df0e281a5bcb55b92b70710c">DD_QSFP</a>)(<span class="keyword">const</span> <span class="keywordtype">void</span> *, <span class="keyword">const</span> <span class="keywordtype">void</span> *);</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;<span class="comment">/* Variable declarations                                                     */</span></div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;<span class="comment">/* Macro declarations                                                        */</span></div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;</div><div class="line"><a name="l00337"></a><span class="lineno"><a class="line" href="cudd_8h.html#a35e63bfe07b09cd6f2508742cc37af38">  337</a></span>&#160;<span class="preprocessor">#define Cudd_IsConstant(node) ((Cudd_Regular(node))-&gt;index == CUDD_CONST_INDEX)</span></div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;</div><div class="line"><a name="l00352"></a><span class="lineno"><a class="line" href="cudd_8h.html#a352ef8d39e760eaabae6d58d9a5ddbfc">  352</a></span>&#160;<span class="preprocessor">#define Cudd_Not(node) ((DdNode *)((long)(node) ^ 01))</span></div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;</div><div class="line"><a name="l00368"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae870da95e89a703e939161fe08b899f9">  368</a></span>&#160;<span class="preprocessor">#define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c)))</span></div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;</div><div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbbecf4f6f78f92518f4d0a477d870b6">  382</a></span>&#160;<span class="preprocessor">#define Cudd_Regular(node) ((DdNode *)((unsigned long)(node) &amp; ~01))</span></div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;</div><div class="line"><a name="l00396"></a><span class="lineno"><a class="line" href="cudd_8h.html#ac4575f4314998362765264f64eccfe0c">  396</a></span>&#160;<span class="preprocessor">#define Cudd_Complement(node) ((DdNode *)((unsigned long)(node) | 01))</span></div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;</div><div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="cudd_8h.html#a35322518c24f65f44eda9623083cb62c">  410</a></span>&#160;<span class="preprocessor">#define Cudd_IsComplement(node) ((int) ((long) (node) &amp; 01))</span></div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;</div><div class="line"><a name="l00425"></a><span class="lineno"><a class="line" href="cudd_8h.html#ab52776808fa28bf75cf6bf6c4782f0c5">  425</a></span>&#160;<span class="preprocessor">#define Cudd_T(node) ((Cudd_Regular(node))-&gt;type.kids.T)</span></div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;</div><div class="line"><a name="l00440"></a><span class="lineno"><a class="line" href="cudd_8h.html#a059685e0a91bd532250b1d841eeaabc1">  440</a></span>&#160;<span class="preprocessor">#define Cudd_E(node) ((Cudd_Regular(node))-&gt;type.kids.E)</span></div><div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;</div><div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;</div><div class="line"><a name="l00471"></a><span class="lineno"><a class="line" href="cudd_8h.html#a2c0122cc772ed6f3012bcac42fac0c0c">  471</a></span>&#160;<span class="preprocessor">#define Cudd_ReadIndex(dd,index) (Cudd_ReadPerm(dd,index))</span></div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;</div><div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;</div><div class="line"><a name="l00503"></a><span class="lineno"><a class="line" href="cudd_8h.html#af13069593b0d4de4d16493b956de38a6">  503</a></span>&#160;<span class="preprocessor">#define Cudd_ForeachCube(manager, f, gen, cube, value)\</span></div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;<span class="preprocessor">    for((gen) = Cudd_FirstCube(manager, f, &amp;cube, &amp;value);\</span></div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;<span class="preprocessor">    Cudd_IsGenEmpty(gen) ? Cudd_GenFree(gen) : CUDD_TRUE;\</span></div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;<span class="preprocessor">    (void) Cudd_NextCube(gen, &amp;cube, &amp;value))</span></div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;</div><div class="line"><a name="l00535"></a><span class="lineno"><a class="line" href="cudd_8h.html#a6b1ce1bc5df95326f9eabcfeca1e7ded">  535</a></span>&#160;<span class="preprocessor">#define Cudd_ForeachPrime(manager, l, u, gen, cube)\</span></div><div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;<span class="preprocessor">    for((gen) = Cudd_FirstPrime(manager, l, u, &amp;cube);\</span></div><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;<span class="preprocessor">    Cudd_IsGenEmpty(gen) ? Cudd_GenFree(gen) : CUDD_TRUE;\</span></div><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;<span class="preprocessor">    (void) Cudd_NextPrime(gen, &amp;cube))</span></div><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;</div><div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;</div><div class="line"><a name="l00569"></a><span class="lineno"><a class="line" href="cudd_8h.html#aeeb7e015a5d710dc3086b194193549f2">  569</a></span>&#160;<span class="preprocessor">#define Cudd_ForeachNode(manager, f, gen, node)\</span></div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;<span class="preprocessor">    for((gen) = Cudd_FirstNode(manager, f, &amp;node);\</span></div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;<span class="preprocessor">    Cudd_IsGenEmpty(gen) ? Cudd_GenFree(gen) : CUDD_TRUE;\</span></div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;<span class="preprocessor">    (void) Cudd_NextNode(gen, &amp;node))</span></div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;</div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;</div><div class="line"><a name="l00603"></a><span class="lineno"><a class="line" href="cudd_8h.html#a7afa2381aa1f60094b325b10c0a5baa1">  603</a></span>&#160;<span class="preprocessor">#define Cudd_zddForeachPath(manager, f, gen, path)\</span></div><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;<span class="preprocessor">    for((gen) = Cudd_zddFirstPath(manager, f, &amp;path);\</span></div><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;<span class="preprocessor">    Cudd_IsGenEmpty(gen) ? Cudd_GenFree(gen) : CUDD_TRUE;\</span></div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;<span class="preprocessor">    (void) Cudd_zddNextPath(gen, &amp;path))</span></div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;</div><div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;</div><div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;</div><div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;<span class="comment">/* Function prototypes                                                       */</span></div><div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;</div><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a40fd71665cde402bd5bc4f39015c09ae">Cudd_bddIthVar</a> (DdManager *dd, <span class="keywordtype">int</span> i);</div><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a2651c953d81570d3f4f794bcbef40afe">Cudd_ReadOne</a> (DdManager *dd);</div><div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a1dd42d8cb5c86659170103a3068e13a6">Cudd_ReadLogicZero</a> (DdManager *dd);</div><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#ae96f3e2036a77ab8c1318e607dea232b">Cudd_SetMinHit</a> (DdManager *dd, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> hr);</div><div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ab1647f3f86f4e555bea35673f9539f94">Cudd_ReadSize</a> (DdManager *dd);</div><div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#af5c6ecb39244a6db49494d1f1e31bd1a">Cudd_FreeTree</a> (DdManager *dd);</div><div class="line"><a name="l00622"></a><span class="lineno">  622</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#ac9a25622e38ad302c050803d520f5fce">Cudd_FreeZddTree</a> (DdManager *dd);</div><div class="line"><a name="l00623"></a><span class="lineno">  623</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#aacfa59899b792c9f47a612ceba42c976">Cudd_ReadPerm</a> (DdManager *dd, <span class="keywordtype">int</span> i);</div><div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;<span class="keyword">extern</span> <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> <a class="code" href="cudd_8h.html#ac711d8ce9d243e16246b83e3c1f04199">Cudd_ReadEpsilon</a> (DdManager *dd);</div><div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a30ef132c1f56bdb0e26efc81fa695cf3">Cudd_SetEpsilon</a> (DdManager *dd, <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> ep);</div><div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <a class="code" href="cudd_8h.html#a03db7d4ba1119a3cd5843fa7bd3a1a30">Cudd_ReadMemoryInUse</a> (DdManager *dd);</div><div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">long</span> <a class="code" href="cudd_8h.html#a9ba2c88b8f70df51791c26ffde800fc7">Cudd_ReadNodeCount</a> (DdManager *dd);</div><div class="line"><a name="l00628"></a><span class="lineno">  628</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a0c732be4af510054662cd6e6f0a5772f">Cudd_RemoveHook</a> (DdManager *dd, <a class="code" href="cudd_8h.html#a1a0b162633be038685ce87dac7a57382">DD_HFP</a> f, Cudd_HookType where);</div><div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#ad1eae04162ef0a94b49121add887ee99">Cudd_addIteConstant</a> (DdManager *dd, DdNode *f, DdNode *g, DdNode *h);</div><div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a88cac595be91f0524a8be01c2b330661">Cudd_addEvalConst</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#aef6faa7c3d70abff90b5187b2f505310">Cudd_addLeq</a> (DdManager * dd, DdNode * f, DdNode * g);</div><div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a0776cc88f7f4911a8c7bede3f3aacdfd">Cudd_addCmpl</a> (DdManager *dd, DdNode *f);</div><div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a38ddb1590403cc2c2d6c382b68835269">Cudd_bddExistAbstract</a> (DdManager *manager, DdNode *f, DdNode *cube);</div><div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a4175e1b1c5fe59957da7be2966036a77">Cudd_bddVarIsDependent</a> (DdManager *dd, DdNode *f, DdNode *var);</div><div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#ae893c6ab0472d7058bd424d02bc9420f">Cudd_bddIteConstant</a> (DdManager *dd, DdNode *f, DdNode *g, DdNode *h);</div><div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a6dc109a28a03aae73d3390dc5846a8cb">Cudd_bddIntersect</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00637"></a><span class="lineno">  637</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a8374b23de03000aeafb9b6deecee4b3c">Cudd_bddAnd</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00638"></a><span class="lineno">  638</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#adfbb2fd5b9c884df0d684a86dc26a97d">Cudd_bddAndLimit</a> (DdManager *dd, DdNode *f, DdNode *g, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> limit);</div><div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a6cbc77f8b658ac3c88a2549a84c58b38">Cudd_bddOrLimit</a> (DdManager *dd, DdNode *f, DdNode *g, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> limit);</div><div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#ad2215420b94afbcd00d011fe2787c5e7">Cudd_bddXor</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a89a46089e8572876a1521cdee6cb31a2">Cudd_bddLeq</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ae4784371f26794a254bcc6a2ad875b5e">Cudd_DebugCheck</a> (DdManager *table);</div><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a081e08d440a7ca8b7406e79b25dfaef5">Cudd_CheckKeys</a> (DdManager *table);</div><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#acd5c75ae199f9383cf86cfa5d754faa3">Cudd_Cofactor</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#abe87964c4eda5c1b32acdd98fb43a727">Cudd_CheckCube</a> (DdManager *dd, DdNode *g);</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;<span class="keyword">extern</span> DdManager * <a class="code" href="cudd_8h.html#a72894f8bc06257ab2a667acb742a3ab6">Cudd_Init</a> (<span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> numVars, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> numVarsZ, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> numSlots, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> cacheSize, <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> maxMemory);</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a2889ace3fcf7d4e00915de52554fd475">Cudd_Quit</a> (DdManager *unique);</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#afbb45adfdbde035d439271377f68a098">Cudd_PrintLinear</a> (DdManager *table);</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a3d0d9959640235fc073699c776914fca">Cudd_Ref</a> (DdNode *<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a0944d022761660bf481167b78759f599">Cudd_RecursiveDeref</a> (DdManager *table, DdNode *<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a15905d5750b5f2f948329ce0f67a0fc8">Cudd_IterDerefBdd</a> (DdManager *table, DdNode *<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a08641a3718655a85000069cc58cdd172">Cudd_RecursiveDerefZdd</a> (DdManager *table, DdNode *<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a1878b826a0a318e816d419ca5bcea97b">Cudd_Deref</a> (DdNode *node);</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a02a5a86dfb8ebc7726d6cf56b6a7eec1">Cudd_ReduceHeap</a> (DdManager *table, Cudd_ReorderingType heuristic, <span class="keywordtype">int</span> minsize);</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a5722a5bf76d99cd30783ad87ba03bf96">Cudd_LargestCube</a> (DdManager *manager, DdNode *f, <span class="keywordtype">int</span> *<a class="code" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">length</a>);</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a66a70b011fca8b95fbc3953e8b1be1fe">Cudd_Decreasing</a> (DdManager *dd, DdNode *f, <span class="keywordtype">int</span> i);</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a3e078600dd9087c623e1bdfea00d599d">Cudd_EquivDC</a> (DdManager *dd, DdNode *<a class="code" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>, DdNode *G, DdNode *D);</div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a5dcbf450b32f6937bc6dba252474638d">Cudd_bddLeqUnless</a> (DdManager *dd, DdNode *f, DdNode *g, DdNode *D);</div><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#abe0be57ead326db49e00a51d7acf75f9">Cudd_EqualSupNorm</a> (DdManager *dd, DdNode *f, DdNode *g, <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> tolerance, <span class="keywordtype">int</span> pr);</div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a7b924211354f5d356009a7c804be2340">Cudd_bddMakePrime</a> (DdManager *dd, DdNode *cube, DdNode *f);</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">double</span> <a class="code" href="cudd_8h.html#aa1f187be7f86701d59f924860970a0b9">Cudd_CountMinterm</a> (DdManager *manager, DdNode *node, <span class="keywordtype">int</span> nvars);</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;<span class="keyword">extern</span> <a class="code" href="structDdGen.html">DdGen</a> * <a class="code" href="cudd_8h.html#a139d8dd64955ecf3e2fd4c5d6ceeebb4">Cudd_FirstCube</a> (DdManager *dd, DdNode *f, <span class="keywordtype">int</span> **cube, <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> *value);</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a05f1698806d45eaba7f4a5721dd5c3c8">Cudd_NextCube</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen, <span class="keywordtype">int</span> **cube, <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> *value);</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;<span class="keyword">extern</span> <a class="code" href="structDdGen.html">DdGen</a> * <a class="code" href="cudd_8h.html#a65691b560210512cf1f8d92f0c1ece9a">Cudd_FirstPrime</a>(DdManager *dd, DdNode *l, DdNode *u, <span class="keywordtype">int</span> **cube);</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ae9c8ccb352d96ca9bde4ab97a1ee8e73">Cudd_NextPrime</a>(<a class="code" href="structDdGen.html">DdGen</a> *gen, <span class="keywordtype">int</span> **cube);</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ab53ebc58628a5a659b86025e6ed9c492">Cudd_BddToCubeArray</a> (DdManager *dd, DdNode *cube, <span class="keywordtype">int</span> *array);</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;<span class="keyword">extern</span> <a class="code" href="structDdGen.html">DdGen</a> * <a class="code" href="cudd_8h.html#a0cbbad0f18b5767a4924ff6b069bbc7f">Cudd_FirstNode</a> (DdManager *dd, DdNode *f, DdNode **node);</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a627f04ddcd448e741233d5bc16562171">Cudd_NextNode</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen, DdNode **node);</div><div class="line"><a name="l00669"></a><span class="lineno">  669</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#aa16a8509f9959aff3a0c553a0427e656">Cudd_GenFree</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen);</div><div class="line"><a name="l00670"></a><span class="lineno">  670</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a46290c6915c9d64fbe24a3faf40ced5d">Cudd_IsGenEmpty</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen);</div><div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">long</span> <a class="code" href="cudd_8h.html#a57ec529a98560b3da382b0f8cec7ece4">Cudd_Random</a> (<span class="keywordtype">void</span>);</div><div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#aa90de9057062381cbb8f367f67a7094f">Cudd_Srandom</a> (<span class="keywordtype">long</span> seed);</div><div class="line"><a name="l00673"></a><span class="lineno">  673</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a3115ee582497df51b35f9893074017a5">Cudd_OutOfMem</a> (<span class="keywordtype">long</span> size);</div><div class="line"><a name="l00674"></a><span class="lineno">  674</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ab2a6a57fc8464e16e222c130aed593d9">Cudd_zddReduceHeap</a> (DdManager *table, Cudd_ReorderingType heuristic, <span class="keywordtype">int</span> minsize);</div><div class="line"><a name="l00675"></a><span class="lineno">  675</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a59302de6443444bd5a0cc69e0eb09533">Cudd_zddDiffConst</a> (DdManager *zdd, DdNode *P, DdNode *Q);</div><div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;<span class="keyword">extern</span> <a class="code" href="structDdGen.html">DdGen</a> * <a class="code" href="cudd_8h.html#a191a6e2d60cca93f876d66e9bda6bb6b">Cudd_zddFirstPath</a> (DdManager *zdd, DdNode *f, <span class="keywordtype">int</span> **path);</div><div class="line"><a name="l00677"></a><span class="lineno">  677</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#aed8c3a1a1e5ce89ac7a24749c1568937">Cudd_zddNextPath</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen, <span class="keywordtype">int</span> **path);</div><div class="line"><a name="l00678"></a><span class="lineno">  678</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a642b76a558f6dafd89648f9f7c470b68">Cudd_bddReadPairIndex</a> (DdManager *dd, <span class="keywordtype">int</span> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div><div class="line"><a name="l00679"></a><span class="lineno">  679</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a956ea07041f3e4f560bc936404461b2a">Cudd_bddIsVarToBeGrouped</a> (DdManager *dd, <span class="keywordtype">int</span> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div><div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a8e0ef3b582414eb1907ad98fb4cc16e9">Cudd_bddIsVarToBeUngrouped</a> (DdManager *dd, <span class="keywordtype">int</span> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div><div class="line"><a name="l00681"></a><span class="lineno">  681</span>&#160;</div><div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;<span class="preprocessor">#ifdef __cplusplus</span></div><div class="line"><a name="l00685"></a><span class="lineno">  685</span>&#160;} <span class="comment">/* end of extern &quot;C&quot; */</span></div><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00687"></a><span class="lineno">  687</span>&#160;</div><div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* _CUDD */</span><span class="preprocessor"></span></div><div class="ttc" id="cudd_8h_html_a15905d5750b5f2f948329ce0f67a0fc8"><div class="ttname"><a href="cudd_8h.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>
+<a href="cudd_8h.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;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="preprocessor">#ifndef _CUDD</span></div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;<span class="preprocessor">#define _CUDD</span></div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;<span class="comment">/* Nested includes                                                           */</span></div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></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;<span class="preprocessor">#include &quot;<a class="code" href="mtr_8h.html">mtr.h</a>&quot;</span></div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="epd_8h.html">epd.h</a>&quot;</span></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="preprocessor">#ifdef __cplusplus</span></div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;<span class="keyword">extern</span> <span class="stringliteral">&quot;C&quot;</span> {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;<span class="comment">/* Constant declarations                                                     */</span></div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="preprocessor">#ifndef SIZEOF_VOID_P</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;<span class="preprocessor">#define SIZEOF_VOID_P 4</span></div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;<span class="preprocessor">#ifndef SIZEOF_INT</span></div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;<span class="preprocessor">#define SIZEOF_INT 4</span></div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;<span class="preprocessor">#ifndef SIZEOF_LONG</span></div><div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="cudd_8h.html#a22aece5d034fd9040a3d01c3797fdfe7">   82</a></span>&#160;<span class="preprocessor">#define SIZEOF_LONG 4</span></div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="cudd_8h.html#af397eb0f37256c48b181c5f02e5cb128">   85</a></span>&#160;<span class="preprocessor">#define CUDD_TRUE 1</span></div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">   87</a></span>&#160;<span class="preprocessor">#define CUDD_VALUE_TYPE     double</span></div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="cudd_8h.html#aea3f40d6c6354b5b1475537cd2431ab4">   88</a></span>&#160;<span class="preprocessor">#define CUDD_OUT_OF_MEM     -1</span></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;<span class="comment">/* The sizes of the subtables and the cache must be powers of two. */</span></div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="cudd_8h.html#a5898eb92cde4c11e117bb88330b50019">   90</a></span>&#160;<span class="preprocessor">#define CUDD_UNIQUE_SLOTS   256 </span><span class="comment">/* initial size of subtables */</span><span class="preprocessor"></span></div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae43ddb042121362b558a2ff66dd829ed">   91</a></span>&#160;<span class="preprocessor">#define CUDD_CACHE_SLOTS    262144  </span><span class="comment">/* default size of the cache */</span><span class="preprocessor"></span></div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;<span class="comment">/* Constants for residue functions. */</span></div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;<span class="comment">/* CUDD_MAXINDEX is defined in such a way that on 32-bit and 64-bit</span></div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;<span class="comment">** machines one can cast an index to (int) without generating a negative</span></div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;<span class="comment">** number.</span></div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;<span class="comment">*/</span></div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;<span class="preprocessor">#if SIZEOF_VOID_P == 8 &amp;&amp; SIZEOF_INT == 4</span></div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;<span class="preprocessor">#define CUDD_MAXINDEX       (((DdHalfWord) ~0) &gt;&gt; 1)</span></div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="cudd_8h.html#ace9063853dcc42532cb9c7c1b5cca2d8">  102</a></span>&#160;<span class="preprocessor">#define CUDD_MAXINDEX       ((DdHalfWord) ~0)</span></div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;<span class="comment">/* CUDD_CONST_INDEX is the index of constant nodes.  Currently this</span></div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;<span class="comment">** is a synonim for CUDD_MAXINDEX. */</span></div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="cudd_8h.html#aa097684bc69c58891332b245d577b986">  107</a></span>&#160;<span class="preprocessor">#define CUDD_CONST_INDEX    CUDD_MAXINDEX</span></div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;<span class="comment">/* These constants define the digits used in the representation of</span></div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;<span class="comment">** arbitrary precision integers.  The configurations tested use 8, 16,</span></div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;<span class="comment">** and 32 bits for each digit.  The typedefs should be in agreement</span></div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;<span class="comment">** with these definitions.</span></div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;<span class="comment">*/</span></div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;<span class="preprocessor">#if SIZEOF_LONG == 8</span></div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;<span class="preprocessor">#define DD_APA_BITS 32</span></div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;<span class="preprocessor">#define DD_APA_BASE (1L &lt;&lt; DD_APA_BITS)</span></div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="preprocessor">#define DD_APA_HEXPRINT &quot;%08x&quot;</span></div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="cudd_8h.html#aab8bcb4b85200713dd68f1a72a9235ac">  119</a></span>&#160;<span class="preprocessor">#define DD_APA_BITS 16</span></div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="cudd_8h.html#a01069d6e0190f787f2c4a38718bb500e">  120</a></span>&#160;<span class="preprocessor">#define DD_APA_BASE (1 &lt;&lt; DD_APA_BITS)</span></div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="cudd_8h.html#a39daa97a2ceb8ece21484aa5b1c11eb1">  121</a></span>&#160;<span class="preprocessor">#define DD_APA_HEXPRINT &quot;%04x&quot;</span></div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="cudd_8h.html#ade62a89be20c90e4bc45faa1da5624bb">  123</a></span>&#160;<span class="preprocessor">#define DD_APA_MASK (DD_APA_BASE - 1)</span></div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;<span class="comment">/* Stucture declarations                                                     */</span></div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;<span class="comment">/* Type declarations                                                         */</span></div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20dde">  141</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;{</div><div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea3c2554eb182fa3c6440fa5e3f72dddd5">  143</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea3c2554eb182fa3c6440fa5e3f72dddd5">CUDD_REORDER_SAME</a>,</div><div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeabb43fb9caec196a5f3333de31c16b475">  144</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeabb43fb9caec196a5f3333de31c16b475">CUDD_REORDER_NONE</a>,</div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea8ffde9a0194df5e01bb3a0eaf2d5a489">  145</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea8ffde9a0194df5e01bb3a0eaf2d5a489">CUDD_REORDER_RANDOM</a>,</div><div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea45255db0c5134ca33ba807a372879368">  146</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea45255db0c5134ca33ba807a372879368">CUDD_REORDER_RANDOM_PIVOT</a>,</div><div class="line"><a name="l00147"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeaf512171f99e30a741b604602e077ae54">  147</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeaf512171f99e30a741b604602e077ae54">CUDD_REORDER_SIFT</a>,</div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2eb44e59cba9e1b55653941959eb5938">  148</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2eb44e59cba9e1b55653941959eb5938">CUDD_REORDER_SIFT_CONVERGE</a>,</div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2b9444b7775bba12da0f39a584078e0c">  149</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2b9444b7775bba12da0f39a584078e0c">CUDD_REORDER_SYMM_SIFT</a>,</div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeabc7a353b99f532efefdf9092016e0894">  150</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeabc7a353b99f532efefdf9092016e0894">CUDD_REORDER_SYMM_SIFT_CONV</a>,</div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1200f7bc9ce4e409d0bc1750518b97fe">  151</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1200f7bc9ce4e409d0bc1750518b97fe">CUDD_REORDER_WINDOW2</a>,</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeae53a5c1dfdd719ff377d4f900de4c0cf">  152</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeae53a5c1dfdd719ff377d4f900de4c0cf">CUDD_REORDER_WINDOW3</a>,</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea69dac82abf4db2bbf5820fa9638bdc4a">  153</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea69dac82abf4db2bbf5820fa9638bdc4a">CUDD_REORDER_WINDOW4</a>,</div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea8c7e70e4c81dbc35286b7a00685f5a19">  154</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea8c7e70e4c81dbc35286b7a00685f5a19">CUDD_REORDER_WINDOW2_CONV</a>,</div><div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeaf7eb9f8bb0bd33ae78ecb6fb3094c3f9">  155</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeaf7eb9f8bb0bd33ae78ecb6fb3094c3f9">CUDD_REORDER_WINDOW3_CONV</a>,</div><div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeac949aef80601550a561adaf440aca438">  156</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeac949aef80601550a561adaf440aca438">CUDD_REORDER_WINDOW4_CONV</a>,</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2f3a3020e2028bf957b4d2e6da34b748">  157</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea2f3a3020e2028bf957b4d2e6da34b748">CUDD_REORDER_GROUP_SIFT</a>,</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea021943df6809b36d89fa03d0bb63b9ef">  158</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea021943df6809b36d89fa03d0bb63b9ef">CUDD_REORDER_GROUP_SIFT_CONV</a>,</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea86b75dbbbe111b8b098b079fcae00bb8">  159</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea86b75dbbbe111b8b098b079fcae00bb8">CUDD_REORDER_ANNEALING</a>,</div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea5f8da0a69c6e0a45f5aabf29c0f62b80">  160</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea5f8da0a69c6e0a45f5aabf29c0f62b80">CUDD_REORDER_GENETIC</a>,</div><div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeacb683aa1b0f0447e6bc3e233a27bc09a">  161</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddeacb683aa1b0f0447e6bc3e233a27bc09a">CUDD_REORDER_LINEAR</a>,</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea5fe4925131a190c26d615676991cbc87">  162</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea5fe4925131a190c26d615676991cbc87">CUDD_REORDER_LINEAR_CONVERGE</a>,</div><div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1224bc6939f117d8cc8c5ca947262718">  163</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1224bc6939f117d8cc8c5ca947262718">CUDD_REORDER_LAZY_SIFT</a>,</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea18cd94b42260d7f89b98887317383c96">  164</a></span>&#160;    <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea18cd94b42260d7f89b98887317383c96">CUDD_REORDER_EXACT</a></div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;} <a class="code" href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20dde">Cudd_ReorderingType</a>;</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33">  175</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;{</div><div class="line"><a name="l00177"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a4f1a026ea705ddbdebef7a29ffa1164d">  177</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a4f1a026ea705ddbdebef7a29ffa1164d">CUDD_NO_CHECK</a>,</div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad25024e64dd5b5a286ec68b7e74cb0b8">  178</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad25024e64dd5b5a286ec68b7e74cb0b8">CUDD_GROUP_CHECK</a>,</div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a51588db194a511cd2f7ef3114518556f">  179</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a51588db194a511cd2f7ef3114518556f">CUDD_GROUP_CHECK2</a>,</div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a735c3b1fd401c898defa3daa3dd28c49">  180</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a735c3b1fd401c898defa3daa3dd28c49">CUDD_GROUP_CHECK3</a>,</div><div class="line"><a name="l00181"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a324b97780cb16ebe7f64c73c00ee9eba">  181</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a324b97780cb16ebe7f64c73c00ee9eba">CUDD_GROUP_CHECK4</a>,</div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad3a5294783a019eb777136b90d2e4473">  182</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad3a5294783a019eb777136b90d2e4473">CUDD_GROUP_CHECK5</a>,</div><div class="line"><a name="l00183"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a76bc1d95fe27874bcafb3f69498036e5">  183</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a76bc1d95fe27874bcafb3f69498036e5">CUDD_GROUP_CHECK6</a>,</div><div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a2255d47de89aeab7b361ab6a0878551c">  184</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a2255d47de89aeab7b361ab6a0878551c">CUDD_GROUP_CHECK7</a>,</div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a9a849284329e184055ff0189fae94239">  185</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a9a849284329e184055ff0189fae94239">CUDD_GROUP_CHECK8</a>,</div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad207ddf281975c30e63daaddbff265b1">  186</a></span>&#160;    <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33ad207ddf281975c30e63daaddbff265b1">CUDD_GROUP_CHECK9</a></div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;} <a class="code" href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33">Cudd_AggregationType</a>;</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;</div><div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2">  197</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;{</div><div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2a94059de430a4e48b8afb151022f3668f">  199</a></span>&#160;    <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2a94059de430a4e48b8afb151022f3668f">CUDD_PRE_GC_HOOK</a>,</div><div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2af46c5878650565a45cb00616b73d5546">  200</a></span>&#160;    <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2af46c5878650565a45cb00616b73d5546">CUDD_POST_GC_HOOK</a>,</div><div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2a704fd55a76fc6e2b8e5f9cb498bdd041">  201</a></span>&#160;    <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2a704fd55a76fc6e2b8e5f9cb498bdd041">CUDD_PRE_REORDERING_HOOK</a>,</div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2ac20a839fcf5d7121ef94f79ece9950c8">  202</a></span>&#160;    <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2ac20a839fcf5d7121ef94f79ece9950c8">CUDD_POST_REORDERING_HOOK</a></div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;} <a class="code" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2">Cudd_HookType</a>;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;</div><div class="line"><a name="l00213"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444b">  213</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;{</div><div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba220d2684f9cfbf9eb606f2636b8e8760">  215</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba220d2684f9cfbf9eb606f2636b8e8760">CUDD_NO_ERROR</a>,</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba0db98cf2462f40577e6c83a60b095111">  216</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba0db98cf2462f40577e6c83a60b095111">CUDD_MEMORY_OUT</a>,</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba860b0e907a711936e1bf9b9896ad62a4">  217</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba860b0e907a711936e1bf9b9896ad62a4">CUDD_TOO_MANY_NODES</a>,</div><div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba6f44f866a8eaeed81d91a08b8ac1a413">  218</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba6f44f866a8eaeed81d91a08b8ac1a413">CUDD_MAX_MEM_EXCEEDED</a>,</div><div class="line"><a name="l00219"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba9e1780a5962236391b822462faf005e3">  219</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba9e1780a5962236391b822462faf005e3">CUDD_TIMEOUT_EXPIRED</a>,</div><div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba6207864d084627c3b7ae995c0839644b">  220</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444ba6207864d084627c3b7ae995c0839644b">CUDD_INVALID_ARG</a>,</div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444bad26f07005e0b7534b848d09c834867fd">  221</a></span>&#160;    <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444bad26f07005e0b7534b848d09c834867fd">CUDD_INTERNAL_ERROR</a></div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;} <a class="code" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444b">Cudd_ErrorType</a>;</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;</div><div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2">  232</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;{</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ae3f5709296a6bebf3e3d591b47c00153">  234</a></span>&#160;    <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ae3f5709296a6bebf3e3d591b47c00153">CUDD_LAZY_NONE</a>,</div><div class="line"><a name="l00235"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2a929d7c7b5936bb9d4fca17090130a276">  235</a></span>&#160;    <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2a929d7c7b5936bb9d4fca17090130a276">CUDD_LAZY_SOFT_GROUP</a>,</div><div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ac04c38028b974373d5544100a8019362">  236</a></span>&#160;    <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ac04c38028b974373d5544100a8019362">CUDD_LAZY_HARD_GROUP</a>,</div><div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2a615466306ff99dce95b6e3ac596f70f2">  237</a></span>&#160;    <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2a615466306ff99dce95b6e3ac596f70f2">CUDD_LAZY_UNGROUP</a></div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;} <a class="code" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2">Cudd_LazyGroupType</a>;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659">  248</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">enum</span></div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;{</div><div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af49b99f540af22526991a41dda7487c5">  250</a></span>&#160;    <a class="code" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af49b99f540af22526991a41dda7487c5">CUDD_VAR_PRIMARY_INPUT</a>,</div><div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659a1cb95714ac9445407db4715ad3ad7ad4">  251</a></span>&#160;    <a class="code" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659a1cb95714ac9445407db4715ad3ad7ad4">CUDD_VAR_PRESENT_STATE</a>,</div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af618fc003379fb37aec1627fd8544d43">  252</a></span>&#160;    <a class="code" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af618fc003379fb37aec1627fd8544d43">CUDD_VAR_NEXT_STATE</a></div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;} <a class="code" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659">Cudd_VariableType</a>;</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;<span class="preprocessor">#if SIZEOF_VOID_P == 8 &amp;&amp; SIZEOF_INT == 4</span></div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span>   <a class="code" href="cudd_8h.html#a080a9b71ac483cf2c576ccedb5cba200">DdHalfWord</a>;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="cudd_8h.html#a080a9b71ac483cf2c576ccedb5cba200">  259</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">short</span> <a class="code" href="cudd_8h.html#a080a9b71ac483cf2c576ccedb5cba200">DdHalfWord</a>;</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="cudd_8h.html#a113dbfe7d93a38b91a4214e214af7ec7">  262</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structDdNode.html">DdNode</a> <a class="code" href="structDdNode.html">DdNode</a>;</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;</div><div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="structDdChildren.html">  264</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structDdChildren.html">DdChildren</a></div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;{</div><div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="structDdChildren.html#ad0ae5b8d618066932517a85d2286319f">  266</a></span>&#160;    <span class="keyword">struct </span><a class="code" href="structDdNode.html">DdNode</a> *<a class="code" href="structDdChildren.html#ad0ae5b8d618066932517a85d2286319f">T</a>;</div><div class="line"><a name="l00267"></a><span class="lineno"><a class="line" href="structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5">  267</a></span>&#160;    <span class="keyword">struct </span><a class="code" href="structDdNode.html">DdNode</a> *<a class="code" href="structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5">E</a>;</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;} <a class="code" href="cudd_8h.html#a424f8f0029f17d6a55752691468dd285">DdChildren</a>;</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;<span class="comment">/* The DdNode structure is the only one exported out of the package */</span></div><div class="line"><a name="l00271"></a><span class="lineno"><a class="line" href="structDdNode.html">  271</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structDdNode.html">DdNode</a></div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;{</div><div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">  273</a></span>&#160;    DdHalfWord <a class="code" href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">index</a>;</div><div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="structDdNode.html#a530470565dbead9303a714e120c35b70">  274</a></span>&#160;    DdHalfWord <a class="code" href="structDdNode.html#a530470565dbead9303a714e120c35b70">ref</a>;     <span class="comment">/* reference count */</span></div><div class="line"><a name="l00275"></a><span class="lineno"><a class="line" href="structDdNode.html#a9422352d3b46de31b325d1cf18b9f25f">  275</a></span>&#160;    <a class="code" href="structDdNode.html">DdNode</a> *<a class="code" href="structDdNode.html#a9422352d3b46de31b325d1cf18b9f25f">next</a>;       <span class="comment">/* next pointer for unique table */</span></div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    <span class="keyword">union</span></div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno"><a class="line" href="structDdNode.html#a4daed26b440c68f410d46eb180a55abb">  278</a></span>&#160;        <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> <a class="code" href="structDdNode.html#a4daed26b440c68f410d46eb180a55abb">value</a>;  <span class="comment">/* for constant nodes */</span></div><div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="structDdNode.html#a4e99abf685381a90dcd5e9aa6a024791">  279</a></span>&#160;        <a class="code" href="structDdChildren.html">DdChildren</a> <a class="code" href="structDdNode.html#a4e99abf685381a90dcd5e9aa6a024791">kids</a>;    <span class="comment">/* for internal nodes */</span></div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    } <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;};</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;</div><div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="cudd_8h.html#ad210314f445a7b5d719abbce16e8b24d">  283</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structDdManager.html">DdManager</a> <a class="code" href="structDdManager.html">DdManager</a>;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;</div><div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae2dcf43f58dcfdc0112e08cd962ff68d">  285</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="structDdGen.html">DdGen</a> <a class="code" href="structDdGen.html">DdGen</a>;</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;<span class="comment">/* These typedefs for arbitrary precision arithmetic should agree with</span></div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;<span class="comment">** the corresponding constant definitions above. */</span></div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;<span class="preprocessor">#if SIZEOF_LONG == 8</span></div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ac801c0bab4f2dc057822747fe9cde43d">DdApaDigit</a>;</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a96b5ce83ba5eec80e9afbcf978b5d940">DdApaDoubleDigit</a>;</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00293"></a><span class="lineno"><a class="line" href="cudd_8h.html#ac801c0bab4f2dc057822747fe9cde43d">  293</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">short</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ac801c0bab4f2dc057822747fe9cde43d">DdApaDigit</a>;</div><div class="line"><a name="l00294"></a><span class="lineno"><a class="line" href="cudd_8h.html#a96b5ce83ba5eec80e9afbcf978b5d940">  294</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a96b5ce83ba5eec80e9afbcf978b5d940">DdApaDoubleDigit</a>;</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;<span class="comment">/* Return type for function computing two-literal clauses. */</span></div><div class="line"><a name="l00298"></a><span class="lineno"><a class="line" href="cudd_8h.html#abee817945068186156e2439a5d921a56">  298</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct </span><a class="code" href="cudd_8h.html#abee817945068186156e2439a5d921a56">DdTlcInfo</a> <a class="code" href="cudd_8h.html#abee817945068186156e2439a5d921a56">DdTlcInfo</a>;</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;<span class="comment">/* Type of hook function. */</span></div><div class="line"><a name="l00301"></a><span class="lineno"><a class="line" href="cudd_8h.html#a1a0b162633be038685ce87dac7a57382">  301</a></span>&#160;<span class="keyword">typedef</span> int (*<a class="code" href="cudd_8h.html#a1a0b162633be038685ce87dac7a57382">DD_HFP</a>)(<a class="code" href="structDdManager.html">DdManager</a> *, <span class="keyword">const</span> <span class="keywordtype">char</span> *, <span class="keywordtype">void</span> *);</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;<span class="comment">/* Type of priority function */</span></div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;<span class="comment">/* Type of apply operator. */</span></div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;<span class="comment">/* Type of monadic apply operator. */</span></div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;<span class="comment">/* Types of cache tag functions. */</span></div><div class="line"><a name="l00306"></a><span class="lineno"><a class="line" href="cudd_8h.html#af55488f14ee0664be0dee3f2004f5fd6">  306</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="structDdNode.html">DdNode</a> * (*DD_CTFP)(DdManager *, <a class="code" href="structDdNode.html">DdNode</a> *, DdNode *);</div><div class="line"><a name="l00307"></a><span class="lineno"><a class="line" href="cudd_8h.html#a176dbe7f76ff8aae03a42411e4ab3110">  307</a></span>&#160;<span class="keyword">typedef</span> DdNode * (*DD_CTFP1)(DdManager *, DdNode *);</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;<span class="comment">/* Type of memory-out function. */</span></div><div class="line"><a name="l00309"></a><span class="lineno"><a class="line" href="cudd_8h.html#a70985999f50facb0c680b928c161d7c1">  309</a></span>&#160;<span class="keyword">typedef</span> void (*<a class="code" href="cudd_8h.html#a70985999f50facb0c680b928c161d7c1">DD_OOMFP</a>)(long);</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;<span class="comment">/* Type of comparison function for qsort. */</span></div><div class="line"><a name="l00311"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae4e0e9a5df0e281a5bcb55b92b70710c">  311</a></span>&#160;<span class="keyword">typedef</span> int (*<a class="code" href="cudd_8h.html#ae4e0e9a5df0e281a5bcb55b92b70710c">DD_QSFP</a>)(<span class="keyword">const</span> <span class="keywordtype">void</span> *, <span class="keyword">const</span> <span class="keywordtype">void</span> *);</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;<span class="comment">/* Variable declarations                                                     */</span></div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;<span class="comment">/* Macro declarations                                                        */</span></div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;</div><div class="line"><a name="l00337"></a><span class="lineno"><a class="line" href="cudd_8h.html#a35e63bfe07b09cd6f2508742cc37af38">  337</a></span>&#160;<span class="preprocessor">#define Cudd_IsConstant(node) ((Cudd_Regular(node))-&gt;index == CUDD_CONST_INDEX)</span></div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;</div><div class="line"><a name="l00352"></a><span class="lineno"><a class="line" href="cudd_8h.html#a352ef8d39e760eaabae6d58d9a5ddbfc">  352</a></span>&#160;<span class="preprocessor">#define Cudd_Not(node) ((DdNode *)((long)(node) ^ 01))</span></div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;</div><div class="line"><a name="l00368"></a><span class="lineno"><a class="line" href="cudd_8h.html#ae870da95e89a703e939161fe08b899f9">  368</a></span>&#160;<span class="preprocessor">#define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c)))</span></div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;</div><div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="cudd_8h.html#afbbecf4f6f78f92518f4d0a477d870b6">  382</a></span>&#160;<span class="preprocessor">#define Cudd_Regular(node) ((DdNode *)((unsigned long)(node) &amp; ~01))</span></div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;</div><div class="line"><a name="l00396"></a><span class="lineno"><a class="line" href="cudd_8h.html#ac4575f4314998362765264f64eccfe0c">  396</a></span>&#160;<span class="preprocessor">#define Cudd_Complement(node) ((DdNode *)((unsigned long)(node) | 01))</span></div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;</div><div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="cudd_8h.html#a35322518c24f65f44eda9623083cb62c">  410</a></span>&#160;<span class="preprocessor">#define Cudd_IsComplement(node) ((int) ((long) (node) &amp; 01))</span></div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;</div><div class="line"><a name="l00425"></a><span class="lineno"><a class="line" href="cudd_8h.html#ab52776808fa28bf75cf6bf6c4782f0c5">  425</a></span>&#160;<span class="preprocessor">#define Cudd_T(node) ((Cudd_Regular(node))-&gt;type.kids.T)</span></div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;</div><div class="line"><a name="l00440"></a><span class="lineno"><a class="line" href="cudd_8h.html#a059685e0a91bd532250b1d841eeaabc1">  440</a></span>&#160;<span class="preprocessor">#define Cudd_E(node) ((Cudd_Regular(node))-&gt;type.kids.E)</span></div><div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;</div><div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;</div><div class="line"><a name="l00471"></a><span class="lineno"><a class="line" href="cudd_8h.html#a2c0122cc772ed6f3012bcac42fac0c0c">  471</a></span>&#160;<span class="preprocessor">#define Cudd_ReadIndex(dd,index) (Cudd_ReadPerm(dd,index))</span></div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;</div><div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;</div><div class="line"><a name="l00503"></a><span class="lineno"><a class="line" href="cudd_8h.html#af13069593b0d4de4d16493b956de38a6">  503</a></span>&#160;<span class="preprocessor">#define Cudd_ForeachCube(manager, f, gen, cube, value)\</span></div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;<span class="preprocessor">    for((gen) = Cudd_FirstCube(manager, f, &amp;cube, &amp;value);\</span></div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;<span class="preprocessor">    Cudd_IsGenEmpty(gen) ? Cudd_GenFree(gen) : CUDD_TRUE;\</span></div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;<span class="preprocessor">    (void) Cudd_NextCube(gen, &amp;cube, &amp;value))</span></div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;</div><div class="line"><a name="l00535"></a><span class="lineno"><a class="line" href="cudd_8h.html#a6b1ce1bc5df95326f9eabcfeca1e7ded">  535</a></span>&#160;<span class="preprocessor">#define Cudd_ForeachPrime(manager, l, u, gen, cube)\</span></div><div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;<span class="preprocessor">    for((gen) = Cudd_FirstPrime(manager, l, u, &amp;cube);\</span></div><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;<span class="preprocessor">    Cudd_IsGenEmpty(gen) ? Cudd_GenFree(gen) : CUDD_TRUE;\</span></div><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;<span class="preprocessor">    (void) Cudd_NextPrime(gen, &amp;cube))</span></div><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;</div><div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;</div><div class="line"><a name="l00569"></a><span class="lineno"><a class="line" href="cudd_8h.html#aeeb7e015a5d710dc3086b194193549f2">  569</a></span>&#160;<span class="preprocessor">#define Cudd_ForeachNode(manager, f, gen, node)\</span></div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;<span class="preprocessor">    for((gen) = Cudd_FirstNode(manager, f, &amp;node);\</span></div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;<span class="preprocessor">    Cudd_IsGenEmpty(gen) ? Cudd_GenFree(gen) : CUDD_TRUE;\</span></div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;<span class="preprocessor">    (void) Cudd_NextNode(gen, &amp;node))</span></div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;</div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;</div><div class="line"><a name="l00603"></a><span class="lineno"><a class="line" href="cudd_8h.html#a7afa2381aa1f60094b325b10c0a5baa1">  603</a></span>&#160;<span class="preprocessor">#define Cudd_zddForeachPath(manager, f, gen, path)\</span></div><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;<span class="preprocessor">    for((gen) = Cudd_zddFirstPath(manager, f, &amp;path);\</span></div><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;<span class="preprocessor">    Cudd_IsGenEmpty(gen) ? Cudd_GenFree(gen) : CUDD_TRUE;\</span></div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;<span class="preprocessor">    (void) Cudd_zddNextPath(gen, &amp;path))</span></div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;</div><div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;</div><div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;</div><div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;<span class="comment">/* Function prototypes                                                       */</span></div><div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;<span class="comment">/*---------------------------------------------------------------------------*/</span></div><div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;</div><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a40fd71665cde402bd5bc4f39015c09ae">Cudd_bddIthVar</a> (DdManager *dd, <span class="keywordtype">int</span> i);</div><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a2651c953d81570d3f4f794bcbef40afe">Cudd_ReadOne</a> (DdManager *dd);</div><div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a1dd42d8cb5c86659170103a3068e13a6">Cudd_ReadLogicZero</a> (DdManager *dd);</div><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#ae96f3e2036a77ab8c1318e607dea232b">Cudd_SetMinHit</a> (DdManager *dd, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> hr);</div><div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ab1647f3f86f4e555bea35673f9539f94">Cudd_ReadSize</a> (DdManager *dd);</div><div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#af5c6ecb39244a6db49494d1f1e31bd1a">Cudd_FreeTree</a> (DdManager *dd);</div><div class="line"><a name="l00622"></a><span class="lineno">  622</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#ac9a25622e38ad302c050803d520f5fce">Cudd_FreeZddTree</a> (DdManager *dd);</div><div class="line"><a name="l00623"></a><span class="lineno">  623</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#aacfa59899b792c9f47a612ceba42c976">Cudd_ReadPerm</a> (DdManager *dd, <span class="keywordtype">int</span> i);</div><div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;<span class="keyword">extern</span> <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> <a class="code" href="cudd_8h.html#ac711d8ce9d243e16246b83e3c1f04199">Cudd_ReadEpsilon</a> (DdManager *dd);</div><div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a30ef132c1f56bdb0e26efc81fa695cf3">Cudd_SetEpsilon</a> (DdManager *dd, <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> ep);</div><div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <a class="code" href="cudd_8h.html#a03db7d4ba1119a3cd5843fa7bd3a1a30">Cudd_ReadMemoryInUse</a> (DdManager *dd);</div><div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">long</span> <a class="code" href="cudd_8h.html#a9ba2c88b8f70df51791c26ffde800fc7">Cudd_ReadNodeCount</a> (DdManager *dd);</div><div class="line"><a name="l00628"></a><span class="lineno">  628</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a0c732be4af510054662cd6e6f0a5772f">Cudd_RemoveHook</a> (DdManager *dd, <a class="code" href="cudd_8h.html#a1a0b162633be038685ce87dac7a57382">DD_HFP</a> f, Cudd_HookType where);</div><div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#ad1eae04162ef0a94b49121add887ee99">Cudd_addIteConstant</a> (DdManager *dd, DdNode *f, DdNode *g, DdNode *h);</div><div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a88cac595be91f0524a8be01c2b330661">Cudd_addEvalConst</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#aef6faa7c3d70abff90b5187b2f505310">Cudd_addLeq</a> (DdManager * dd, DdNode * f, DdNode * g);</div><div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a0776cc88f7f4911a8c7bede3f3aacdfd">Cudd_addCmpl</a> (DdManager *dd, DdNode *f);</div><div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a38ddb1590403cc2c2d6c382b68835269">Cudd_bddExistAbstract</a> (DdManager *manager, DdNode *f, DdNode *cube);</div><div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a4175e1b1c5fe59957da7be2966036a77">Cudd_bddVarIsDependent</a> (DdManager *dd, DdNode *f, DdNode *var);</div><div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#ae893c6ab0472d7058bd424d02bc9420f">Cudd_bddIteConstant</a> (DdManager *dd, DdNode *f, DdNode *g, DdNode *h);</div><div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a6dc109a28a03aae73d3390dc5846a8cb">Cudd_bddIntersect</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00637"></a><span class="lineno">  637</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a8374b23de03000aeafb9b6deecee4b3c">Cudd_bddAnd</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00638"></a><span class="lineno">  638</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#adfbb2fd5b9c884df0d684a86dc26a97d">Cudd_bddAndLimit</a> (DdManager *dd, DdNode *f, DdNode *g, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> limit);</div><div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a6cbc77f8b658ac3c88a2549a84c58b38">Cudd_bddOrLimit</a> (DdManager *dd, DdNode *f, DdNode *g, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> limit);</div><div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#ad2215420b94afbcd00d011fe2787c5e7">Cudd_bddXor</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a89a46089e8572876a1521cdee6cb31a2">Cudd_bddLeq</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ae4784371f26794a254bcc6a2ad875b5e">Cudd_DebugCheck</a> (DdManager *table);</div><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a081e08d440a7ca8b7406e79b25dfaef5">Cudd_CheckKeys</a> (DdManager *table);</div><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#acd5c75ae199f9383cf86cfa5d754faa3">Cudd_Cofactor</a> (DdManager *dd, DdNode *f, DdNode *g);</div><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#abe87964c4eda5c1b32acdd98fb43a727">Cudd_CheckCube</a> (DdManager *dd, DdNode *g);</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;<span class="keyword">extern</span> DdManager * <a class="code" href="cudd_8h.html#a72894f8bc06257ab2a667acb742a3ab6">Cudd_Init</a> (<span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> numVars, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> numVarsZ, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> numSlots, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> cacheSize, <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> maxMemory);</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a2889ace3fcf7d4e00915de52554fd475">Cudd_Quit</a> (DdManager *unique);</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#afbb45adfdbde035d439271377f68a098">Cudd_PrintLinear</a> (DdManager *table);</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a3d0d9959640235fc073699c776914fca">Cudd_Ref</a> (DdNode *<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a0944d022761660bf481167b78759f599">Cudd_RecursiveDeref</a> (DdManager *table, DdNode *<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a15905d5750b5f2f948329ce0f67a0fc8">Cudd_IterDerefBdd</a> (DdManager *table, DdNode *<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a08641a3718655a85000069cc58cdd172">Cudd_RecursiveDerefZdd</a> (DdManager *table, DdNode *<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a1878b826a0a318e816d419ca5bcea97b">Cudd_Deref</a> (DdNode *node);</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a02a5a86dfb8ebc7726d6cf56b6a7eec1">Cudd_ReduceHeap</a> (DdManager *table, Cudd_ReorderingType heuristic, <span class="keywordtype">int</span> minsize);</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a5722a5bf76d99cd30783ad87ba03bf96">Cudd_LargestCube</a> (DdManager *manager, DdNode *f, <span class="keywordtype">int</span> *<a class="code" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">length</a>);</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a66a70b011fca8b95fbc3953e8b1be1fe">Cudd_Decreasing</a> (DdManager *dd, DdNode *f, <span class="keywordtype">int</span> i);</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a3e078600dd9087c623e1bdfea00d599d">Cudd_EquivDC</a> (DdManager *dd, DdNode *<a class="code" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>, DdNode *G, DdNode *D);</div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a5dcbf450b32f6937bc6dba252474638d">Cudd_bddLeqUnless</a> (DdManager *dd, DdNode *f, DdNode *g, DdNode *D);</div><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#abe0be57ead326db49e00a51d7acf75f9">Cudd_EqualSupNorm</a> (DdManager *dd, DdNode *f, DdNode *g, <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> tolerance, <span class="keywordtype">int</span> pr);</div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a7b924211354f5d356009a7c804be2340">Cudd_bddMakePrime</a> (DdManager *dd, DdNode *cube, DdNode *f);</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">double</span> <a class="code" href="cudd_8h.html#aa1f187be7f86701d59f924860970a0b9">Cudd_CountMinterm</a> (DdManager *manager, DdNode *node, <span class="keywordtype">int</span> nvars);</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;<span class="keyword">extern</span> <a class="code" href="structDdGen.html">DdGen</a> * <a class="code" href="cudd_8h.html#a139d8dd64955ecf3e2fd4c5d6ceeebb4">Cudd_FirstCube</a> (DdManager *dd, DdNode *f, <span class="keywordtype">int</span> **cube, <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> *value);</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a05f1698806d45eaba7f4a5721dd5c3c8">Cudd_NextCube</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen, <span class="keywordtype">int</span> **cube, <a class="code" href="cudd_8h.html#a0eacff9d14824f9601da7152ecfdaeb1">CUDD_VALUE_TYPE</a> *value);</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;<span class="keyword">extern</span> <a class="code" href="structDdGen.html">DdGen</a> * <a class="code" href="cudd_8h.html#a65691b560210512cf1f8d92f0c1ece9a">Cudd_FirstPrime</a>(DdManager *dd, DdNode *l, DdNode *u, <span class="keywordtype">int</span> **cube);</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ae9c8ccb352d96ca9bde4ab97a1ee8e73">Cudd_NextPrime</a>(<a class="code" href="structDdGen.html">DdGen</a> *gen, <span class="keywordtype">int</span> **cube);</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ab53ebc58628a5a659b86025e6ed9c492">Cudd_BddToCubeArray</a> (DdManager *dd, DdNode *cube, <span class="keywordtype">int</span> *array);</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;<span class="keyword">extern</span> <a class="code" href="structDdGen.html">DdGen</a> * <a class="code" href="cudd_8h.html#a0cbbad0f18b5767a4924ff6b069bbc7f">Cudd_FirstNode</a> (DdManager *dd, DdNode *f, DdNode **node);</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a627f04ddcd448e741233d5bc16562171">Cudd_NextNode</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen, DdNode **node);</div><div class="line"><a name="l00669"></a><span class="lineno">  669</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#aa16a8509f9959aff3a0c553a0427e656">Cudd_GenFree</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen);</div><div class="line"><a name="l00670"></a><span class="lineno">  670</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a46290c6915c9d64fbe24a3faf40ced5d">Cudd_IsGenEmpty</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen);</div><div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">long</span> <a class="code" href="cudd_8h.html#a57ec529a98560b3da382b0f8cec7ece4">Cudd_Random</a> (<span class="keywordtype">void</span>);</div><div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#aa90de9057062381cbb8f367f67a7094f">Cudd_Srandom</a> (<span class="keywordtype">long</span> seed);</div><div class="line"><a name="l00673"></a><span class="lineno">  673</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="cudd_8h.html#a3115ee582497df51b35f9893074017a5">Cudd_OutOfMem</a> (<span class="keywordtype">long</span> size);</div><div class="line"><a name="l00674"></a><span class="lineno">  674</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#ab2a6a57fc8464e16e222c130aed593d9">Cudd_zddReduceHeap</a> (DdManager *table, Cudd_ReorderingType heuristic, <span class="keywordtype">int</span> minsize);</div><div class="line"><a name="l00675"></a><span class="lineno">  675</span>&#160;<span class="keyword">extern</span> DdNode * <a class="code" href="cudd_8h.html#a59302de6443444bd5a0cc69e0eb09533">Cudd_zddDiffConst</a> (DdManager *zdd, DdNode *P, DdNode *Q);</div><div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;<span class="keyword">extern</span> <a class="code" href="structDdGen.html">DdGen</a> * <a class="code" href="cudd_8h.html#a191a6e2d60cca93f876d66e9bda6bb6b">Cudd_zddFirstPath</a> (DdManager *zdd, DdNode *f, <span class="keywordtype">int</span> **path);</div><div class="line"><a name="l00677"></a><span class="lineno">  677</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#aed8c3a1a1e5ce89ac7a24749c1568937">Cudd_zddNextPath</a> (<a class="code" href="structDdGen.html">DdGen</a> *gen, <span class="keywordtype">int</span> **path);</div><div class="line"><a name="l00678"></a><span class="lineno">  678</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a642b76a558f6dafd89648f9f7c470b68">Cudd_bddReadPairIndex</a> (DdManager *dd, <span class="keywordtype">int</span> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div><div class="line"><a name="l00679"></a><span class="lineno">  679</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a956ea07041f3e4f560bc936404461b2a">Cudd_bddIsVarToBeGrouped</a> (DdManager *dd, <span class="keywordtype">int</span> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div><div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="cudd_8h.html#a8e0ef3b582414eb1907ad98fb4cc16e9">Cudd_bddIsVarToBeUngrouped</a> (DdManager *dd, <span class="keywordtype">int</span> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div><div class="line"><a name="l00681"></a><span class="lineno">  681</span>&#160;</div><div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;<span class="preprocessor">#ifdef __cplusplus</span></div><div class="line"><a name="l00685"></a><span class="lineno">  685</span>&#160;} <span class="comment">/* end of extern &quot;C&quot; */</span></div><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00687"></a><span class="lineno">  687</span>&#160;</div><div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* _CUDD */</span><span class="preprocessor"></span></div><div class="ttc" id="cudd_8h_html_a15905d5750b5f2f948329ce0f67a0fc8"><div class="ttname"><a href="cudd_8h.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="cudd_8h_html_ae6d55585c0a16ded7753ebc19d765659af618fc003379fb37aec1627fd8544d43"><div class="ttname"><a href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659af618fc003379fb37aec1627fd8544d43">CUDD_VAR_NEXT_STATE</a></div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00252">cudd.h:252</a></div></div>
 <div class="ttc" id="structDdNode_html_a530470565dbead9303a714e120c35b70"><div class="ttname"><a href="structDdNode.html#a530470565dbead9303a714e120c35b70">DdNode::ref</a></div><div class="ttdeci">DdHalfWord ref</div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00274">cudd.h:274</a></div></div>
 <div class="ttc" id="cudd_8h_html_a8b2572b778b7e8bd68afcd4aa1f0ce33a51588db194a511cd2f7ef3114518556f"><div class="ttname"><a href="cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33a51588db194a511cd2f7ef3114518556f">CUDD_GROUP_CHECK2</a></div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00179">cudd.h:179</a></div></div>
@@ -185,12 +185,12 @@ $(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#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>
 <div class="ttc" id="cudd_8h_html_a081e08d440a7ca8b7406e79b25dfaef5"><div class="ttname"><a href="cudd_8h.html#a081e08d440a7ca8b7406e79b25dfaef5">Cudd_CheckKeys</a></div><div class="ttdeci">int Cudd_CheckKeys(DdManager *table)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l05577">cuddInt.c:5577</a></div></div>
 <div class="ttc" id="cudd_8h_html_ad2215420b94afbcd00d011fe2787c5e7"><div class="ttname"><a href="cudd_8h.html#ad2215420b94afbcd00d011fe2787c5e7">Cudd_bddXor</a></div><div class="ttdeci">DdNode * Cudd_bddXor(DdManager *dd, DdNode *f, DdNode *g)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l03253">cuddInt.c:3253</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_a00967427d1c110ffcc82ea2a966f4564"><div class="ttname"><a href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00016">CFLGrammar.txt:16</a></div></div>
 <div class="ttc" id="cudd_8h_html_aa16a8509f9959aff3a0c553a0427e656"><div class="ttname"><a href="cudd_8h.html#aa16a8509f9959aff3a0c553a0427e656">Cudd_GenFree</a></div><div class="ttdeci">int Cudd_GenFree(DdGen *gen)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l22814">cuddInt.c:22814</a></div></div>
 <div class="ttc" id="cudd_8h_html_a139d8dd64955ecf3e2fd4c5d6ceeebb4"><div class="ttname"><a href="cudd_8h.html#a139d8dd64955ecf3e2fd4c5d6ceeebb4">Cudd_FirstCube</a></div><div class="ttdeci">DdGen * Cudd_FirstCube(DdManager *dd, DdNode *f, int **cube, CUDD_VALUE_TYPE *value)</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l22267">cuddInt.c:22267</a></div></div>
 <div class="ttc" id="cudd_8h_html_a8ff397cb64855989d6ad62a491e20ddea1224bc6939f117d8cc8c5ca947262718"><div class="ttname"><a href="cudd_8h.html#a8ff397cb64855989d6ad62a491e20ddea1224bc6939f117d8cc8c5ca947262718">CUDD_REORDER_LAZY_SIFT</a></div><div class="ttdef"><b>Definition:</b> <a href="cudd_8h_source.html#l00163">cudd.h:163</a></div></div>