svf-tools 1.0.294 → 1.0.295

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (10) hide show
  1. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp.html +2 -44
  2. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +3 -5
  3. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +1 -1
  4. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +3 -3
  5. package/SVF-doxygen/html/html/globals_c.html +100 -103
  6. package/SVF-doxygen/html/html/globals_func_c.html +88 -91
  7. package/SVF-doxygen/html/html/search/all_3.js +0 -1
  8. package/SVF-doxygen/html/html/search/functions_2.js +0 -1
  9. package/lib/SVF-FE/BreakConstantExpr.cpp +5 -143
  10. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html CHANGED
@@ -210,10 +210,10 @@ Static Public Attributes</h2></td></tr>
210
210
  </table>
211
211
  </div><div class="memdoc">
212
212
 
213
- <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8cpp_source.html#l00282">282</a> of file <a class="el" href="BreakConstantExpr_8cpp_source.html">BreakConstantExpr.cpp</a>.</p>
214
- <div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160;{</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordtype">bool</span> modified = <span class="keyword">false</span>;</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">for</span> (Module::iterator F = module.begin(), E = module.end(); F != E; ++F)</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">// Worklist of values to check for constant GEP expressions</span></div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; std::vector&lt;Instruction *&gt; Worklist;</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160;</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="comment">// Initialize the worklist by finding all instructions that have one or more</span></div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="comment">// operands containing a constant GEP expression.</span></div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">for</span> (Function::iterator BB = (*F).begin(); BB != (*F).end(); ++BB)</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; {</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">for</span> (BasicBlock::iterator i = BB-&gt;begin(); i != BB-&gt;end(); ++i)</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; {</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="comment">// Scan through the operands of this instruction. If it is a constant</span></div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="comment">// expression GEP, insert an instruction GEP before the instruction.</span></div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * I = &amp;(*i);</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> index = 0; index &lt; I-&gt;getNumOperands(); ++index)</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (I-&gt;getOperand(index)))</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; {</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; Worklist.push_back (I);</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; }</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; }</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; }</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">// Determine whether we will modify anything.</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; <span class="keywordflow">if</span> (Worklist.size()) modified = <span class="keyword">true</span>;</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">// While the worklist is not empty, take an item from it, convert the</span></div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="comment">// operands into instructions if necessary, and determine if the newly</span></div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="comment">// added instructions need to be processed as well.</span></div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordflow">while</span> (Worklist.size())</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; {</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * I = Worklist.back();</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; Worklist.pop_back();</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160;</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; <span class="comment">// Scan through the operands of this instruction and convert each into an</span></div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="comment">// instruction. Note that this works a little differently for phi</span></div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <span class="comment">// instructions because the new instruction must be added to the</span></div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="comment">// appropriate predecessor block.</span></div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">PHINode</a> * PHI = SVFUtil::dyn_cast&lt;PHINode&gt;(I))</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; {</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> index = 0; index &lt; PHI-&gt;getNumIncomingValues(); ++index)</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; {</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <span class="comment">// For PHI Nodes, if an operand is a constant expression with a GEP, we</span></div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="comment">// want to insert the new instructions in the predecessor basic block.</span></div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <span class="comment">// Note: It seems that it&#39;s possible for a phi to have the same</span></div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <span class="comment">// incoming basic block listed multiple times; this seems okay as long</span></div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="comment">// the same value is listed for the incoming block.</span></div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * InsertPt = PHI-&gt;getIncomingBlock(index)-&gt;getTerminator();</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> * CE = <a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (PHI-&gt;getIncomingValue(index)))</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; {</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * NewInst = <a class="code" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">convertExpression</a> (CE, InsertPt);</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i2 = index; i2 &lt; PHI-&gt;getNumIncomingValues(); ++i2)</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; {</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="keywordflow">if</span> ((PHI-&gt;getIncomingBlock (i2)) == PHI-&gt;getIncomingBlock (index))</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; PHI-&gt;setIncomingValue (i2, NewInst);</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; }</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; Worklist.push_back (NewInst);</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; }</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; }</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; }</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; {</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> index = 0; index &lt; I-&gt;getNumOperands(); ++index)</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; {</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="comment">// For other instructions, we want to insert instructions replacing</span></div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <span class="comment">// constant expressions immediently before the instruction using the</span></div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="comment">// constant expression.</span></div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> * CE = <a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (I-&gt;getOperand(index)))</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; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * NewInst = <a class="code" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">convertExpression</a> (CE, I);</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; I-&gt;replaceUsesOfWith (CE, NewInst);</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; Worklist.push_back (NewInst);</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; }</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; }</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; }</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160;</div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; }</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">return</span> modified;</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_ac8d4990439af7a2ecca7e15383119674"><div class="ttname"><a href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
213
+ <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8cpp_source.html#l00144">144</a> of file <a class="el" href="BreakConstantExpr_8cpp_source.html">BreakConstantExpr.cpp</a>.</p>
214
+ <div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160;{</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordtype">bool</span> modified = <span class="keyword">false</span>;</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">for</span> (Module::iterator F = module.begin(), E = module.end(); F != E; ++F)</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; {</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="comment">// Worklist of values to check for constant GEP expressions</span></div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; std::vector&lt;Instruction *&gt; Worklist;</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160;</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="comment">// Initialize the worklist by finding all instructions that have one or more</span></div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; <span class="comment">// operands containing a constant GEP expression.</span></div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">for</span> (Function::iterator BB = (*F).begin(); BB != (*F).end(); ++BB)</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">for</span> (BasicBlock::iterator i = BB-&gt;begin(); i != BB-&gt;end(); ++i)</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="comment">// Scan through the operands of this instruction. If it is a constant</span></div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="comment">// expression GEP, insert an instruction GEP before the instruction.</span></div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * I = &amp;(*i);</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> index = 0; index &lt; I-&gt;getNumOperands(); ++index)</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; <span class="keywordflow">if</span> (<a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (I-&gt;getOperand(index)))</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; Worklist.push_back (I);</div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; }</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; }</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; }</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;</div><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="comment">// Determine whether we will modify anything.</span></div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">if</span> (Worklist.size()) modified = <span class="keyword">true</span>;</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160;</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="comment">// While the worklist is not empty, take an item from it, convert the</span></div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="comment">// operands into instructions if necessary, and determine if the newly</span></div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="comment">// added instructions need to be processed as well.</span></div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">while</span> (Worklist.size())</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * I = Worklist.back();</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; Worklist.pop_back();</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160;</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="comment">// Scan through the operands of this instruction and convert each into an</span></div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="comment">// instruction. Note that this works a little differently for phi</span></div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="comment">// instructions because the new instruction must be added to the</span></div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="comment">// appropriate predecessor block.</span></div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">PHINode</a> * PHI = SVFUtil::dyn_cast&lt;PHINode&gt;(I))</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; {</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> index = 0; index &lt; PHI-&gt;getNumIncomingValues(); ++index)</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; {</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="comment">// For PHI Nodes, if an operand is a constant expression with a GEP, we</span></div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="comment">// want to insert the new instructions in the predecessor basic block.</span></div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; <span class="comment">// Note: It seems that it&#39;s possible for a phi to have the same</span></div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="comment">// incoming basic block listed multiple times; this seems okay as long</span></div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="comment">// the same value is listed for the incoming block.</span></div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * InsertPt = PHI-&gt;getIncomingBlock(index)-&gt;getTerminator();</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> * CE = <a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (PHI-&gt;getIncomingValue(index)))</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; {</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * NewInst = <a class="code" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">convertExpression</a> (CE, InsertPt);</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i2 = index; i2 &lt; PHI-&gt;getNumIncomingValues(); ++i2)</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; {</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">if</span> ((PHI-&gt;getIncomingBlock (i2)) == PHI-&gt;getIncomingBlock (index))</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; PHI-&gt;setIncomingValue (i2, NewInst);</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; }</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; Worklist.push_back (NewInst);</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; }</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; }</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; }</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; {</div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> index = 0; index &lt; I-&gt;getNumOperands(); ++index)</div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; {</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="comment">// For other instructions, we want to insert instructions replacing</span></div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="comment">// constant expressions immediently before the instruction using the</span></div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="comment">// constant expression.</span></div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="comment">//</span></div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> * CE = <a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (I-&gt;getOperand(index)))</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; {</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> * NewInst = <a class="code" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">convertExpression</a> (CE, I);</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; I-&gt;replaceUsesOfWith (CE, NewInst);</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; Worklist.push_back (NewInst);</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; }</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; }</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; }</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="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">return</span> modified;</div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_ac8d4990439af7a2ecca7e15383119674"><div class="ttname"><a href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
215
215
  <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
216
- <div class="ttc" id="BreakConstantExpr_8cpp_html_a25cf7d9aff084a1cd1aa51c85a4a17e1"><div class="ttname"><a href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">convertExpression</a></div><div class="ttdeci">static Instruction * convertExpression(ConstantExpr *CE, Instruction *InsertPt)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8cpp_source.html#l00159">BreakConstantExpr.cpp:159</a></div></div>
216
+ <div class="ttc" id="BreakConstantExpr_8cpp_html_a25cf7d9aff084a1cd1aa51c85a4a17e1"><div class="ttname"><a href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">convertExpression</a></div><div class="ttdeci">static Instruction * convertExpression(ConstantExpr *CE, Instruction *InsertPt)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8cpp_source.html#l00120">BreakConstantExpr.cpp:120</a></div></div>
217
217
  <div class="ttc" id="BreakConstantExpr_8cpp_html_a81381bb19688464256bd09ef22e965e4"><div class="ttname"><a href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a></div><div class="ttdeci">static ConstantExpr * hasConstantGEP(Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8cpp_source.html#l00089">BreakConstantExpr.cpp:89</a></div></div>
218
218
  <div class="ttc" id="namespaceSVF_html_a911dbaab38cb42deb9c195c7f687853d"><div class="ttname"><a href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></div><div class="ttdeci">llvm::ConstantExpr ConstantExpr</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00131">BasicTypes.h:131</a></div></div>
219
219
  </div><!-- fragment -->
package/SVF-doxygen/html/html/globals_c.html CHANGED
@@ -106,9 +106,6 @@ $(function() {
106
106
  <li>convertExpression()
107
107
  : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
108
108
  </li>
109
- <li>convertGEP()
110
- : <a class="el" href="BreakConstantExpr_8cpp.html#a6589d553bf45afce2d441f5c3e065a58">BreakConstantExpr.cpp</a>
111
- </li>
112
109
  <li>copyOrder()
113
110
  : <a class="el" href="cuddInt_8c.html#acad9fa7ce3b1333a9c072bca7dafcbb6">cuddInt.c</a>
114
111
  </li>
@@ -143,8 +140,8 @@ $(function() {
143
140
  , <a class="el" href="cuddInt_8c.html#adfbb2fd5b9c884df0d684a86dc26a97d">cuddInt.c</a>
144
141
  </li>
145
142
  <li>Cudd_bddExistAbstract()
146
- : <a class="el" href="cudd_8h.html#a38ddb1590403cc2c2d6c382b68835269">cudd.h</a>
147
- , <a class="el" href="cuddInt_8c.html#a38ddb1590403cc2c2d6c382b68835269">cuddInt.c</a>
143
+ : <a class="el" href="cuddInt_8c.html#a38ddb1590403cc2c2d6c382b68835269">cuddInt.c</a>
144
+ , <a class="el" href="cudd_8h.html#a38ddb1590403cc2c2d6c382b68835269">cudd.h</a>
148
145
  </li>
149
146
  <li>Cudd_bddIntersect()
150
147
  : <a class="el" href="cudd_8h.html#a6dc109a28a03aae73d3390dc5846a8cb">cudd.h</a>
@@ -208,8 +205,8 @@ $(function() {
208
205
  : <a class="el" href="cudd_8h.html#ae43ddb042121362b558a2ff66dd829ed">cudd.h</a>
209
206
  </li>
210
207
  <li>Cudd_CheckCube()
211
- : <a class="el" href="cuddInt_8c.html#abe87964c4eda5c1b32acdd98fb43a727">cuddInt.c</a>
212
- , <a class="el" href="cudd_8h.html#abe87964c4eda5c1b32acdd98fb43a727">cudd.h</a>
208
+ : <a class="el" href="cudd_8h.html#abe87964c4eda5c1b32acdd98fb43a727">cudd.h</a>
209
+ , <a class="el" href="cuddInt_8c.html#abe87964c4eda5c1b32acdd98fb43a727">cuddInt.c</a>
213
210
  </li>
214
211
  <li>Cudd_CheckKeys()
215
212
  : <a class="el" href="cudd_8h.html#a081e08d440a7ca8b7406e79b25dfaef5">cudd.h</a>
@@ -364,8 +361,8 @@ $(function() {
364
361
  , <a class="el" href="cuddInt_8c.html#a15905d5750b5f2f948329ce0f67a0fc8">cuddInt.c</a>
365
362
  </li>
366
363
  <li>Cudd_LargestCube()
367
- : <a class="el" href="cudd_8h.html#a5722a5bf76d99cd30783ad87ba03bf96">cudd.h</a>
368
- , <a class="el" href="cuddInt_8c.html#a5722a5bf76d99cd30783ad87ba03bf96">cuddInt.c</a>
364
+ : <a class="el" href="cuddInt_8c.html#a5722a5bf76d99cd30783ad87ba03bf96">cuddInt.c</a>
365
+ , <a class="el" href="cudd_8h.html#a5722a5bf76d99cd30783ad87ba03bf96">cudd.h</a>
369
366
  </li>
370
367
  <li>CUDD_LAZY_HARD_GROUP
371
368
  : <a class="el" href="cudd_8h.html#a34f4d3cfe77ec9aaa54e842f70da5bc2ac04c38028b974373d5544100a8019362">cudd.h</a>
@@ -674,8 +671,8 @@ $(function() {
674
671
  , <a class="el" href="cuddInt_8c.html#aa43deef9cc0de026d2b4917aef1b4d62">cuddInt.c</a>
675
672
  </li>
676
673
  <li>cuddBddIsop()
677
- : <a class="el" href="cuddInt_8h.html#af63228ad50be517bfbdc8ddc6ca48af4">cuddInt.h</a>
678
- , <a class="el" href="cuddInt_8c.html#af63228ad50be517bfbdc8ddc6ca48af4">cuddInt.c</a>
674
+ : <a class="el" href="cuddInt_8c.html#af63228ad50be517bfbdc8ddc6ca48af4">cuddInt.c</a>
675
+ , <a class="el" href="cuddInt_8h.html#af63228ad50be517bfbdc8ddc6ca48af4">cuddInt.h</a>
679
676
  </li>
680
677
  <li>cuddBddIteRecur()
681
678
  : <a class="el" href="cuddInt_8h.html#a6d52cd44b8033b3be8f23d21c46cd425">cuddInt.h</a>
@@ -694,8 +691,8 @@ $(function() {
694
691
  , <a class="el" href="cuddInt_8c.html#aed935896575aab5d56fefdd6d351b676">cuddInt.c</a>
695
692
  </li>
696
693
  <li>cuddCacheFlush()
697
- : <a class="el" href="cuddInt_8c.html#a3430a7b66708275953bffbdd8d04dba8">cuddInt.c</a>
698
- , <a class="el" href="cuddInt_8h.html#a3430a7b66708275953bffbdd8d04dba8">cuddInt.h</a>
694
+ : <a class="el" href="cuddInt_8h.html#a3430a7b66708275953bffbdd8d04dba8">cuddInt.h</a>
695
+ , <a class="el" href="cuddInt_8c.html#a3430a7b66708275953bffbdd8d04dba8">cuddInt.c</a>
699
696
  </li>
700
697
  <li>cuddCacheInsert()
701
698
  : <a class="el" href="cuddInt_8h.html#ac766e39390bf4d3c975d4a6bd34653dc">cuddInt.h</a>
@@ -706,8 +703,8 @@ $(function() {
706
703
  , <a class="el" href="cuddInt_8c.html#ae37dae7f5dfb9b15cd8fa8d4f6dd73ff">cuddInt.c</a>
707
704
  </li>
708
705
  <li>cuddCacheInsert2()
709
- : <a class="el" href="cuddInt_8h.html#a27a1b481d65f85a84e531e0b18604313">cuddInt.h</a>
710
- , <a class="el" href="cuddInt_8c.html#acf6d1175a8da1a1613910bac913fee58">cuddInt.c</a>
706
+ : <a class="el" href="cuddInt_8c.html#acf6d1175a8da1a1613910bac913fee58">cuddInt.c</a>
707
+ , <a class="el" href="cuddInt_8h.html#a27a1b481d65f85a84e531e0b18604313">cuddInt.h</a>
711
708
  </li>
712
709
  <li>cuddCacheLookup()
713
710
  : <a class="el" href="cuddInt_8h.html#ab2e7f6c2eabfb9af8ed7e52dcc00a678">cuddInt.h</a>
@@ -722,23 +719,23 @@ $(function() {
722
719
  , <a class="el" href="cuddInt_8c.html#a6007aa85a642c938cc0c08020240b893">cuddInt.c</a>
723
720
  </li>
724
721
  <li>cuddCacheLookup2()
725
- : <a class="el" href="cuddInt_8h.html#a070823435f540c772453821f35dfa547">cuddInt.h</a>
726
- , <a class="el" href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddInt.c</a>
722
+ : <a class="el" href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddInt.c</a>
723
+ , <a class="el" href="cuddInt_8h.html#a070823435f540c772453821f35dfa547">cuddInt.h</a>
727
724
  </li>
728
725
  <li>cuddCacheLookup2Zdd()
729
726
  : <a class="el" href="cuddInt_8h.html#ae693ffc8540d9e1bcd488ec90a52e893">cuddInt.h</a>
730
727
  , <a class="el" href="cuddInt_8c.html#a424382dccaa69680400879c1a6d65c0f">cuddInt.c</a>
731
728
  </li>
732
729
  <li>cuddCacheLookupZdd()
733
- : <a class="el" href="cuddInt_8h.html#a6ed37dd4abd3aad8e17cfde95808c8f3">cuddInt.h</a>
734
- , <a class="el" href="cuddInt_8c.html#a6ed37dd4abd3aad8e17cfde95808c8f3">cuddInt.c</a>
730
+ : <a class="el" href="cuddInt_8c.html#a6ed37dd4abd3aad8e17cfde95808c8f3">cuddInt.c</a>
731
+ , <a class="el" href="cuddInt_8h.html#a6ed37dd4abd3aad8e17cfde95808c8f3">cuddInt.h</a>
735
732
  </li>
736
733
  <li>cuddCacheProfile()
737
734
  : <a class="el" href="cuddInt_8c.html#afb729dfe4ad40c46ab9918154831e4a1">cuddInt.c</a>
738
735
  </li>
739
736
  <li>cuddCacheResize()
740
- : <a class="el" href="cuddInt_8c.html#a71fcb8b02eb9a10d706301052525bcfa">cuddInt.c</a>
741
- , <a class="el" href="cuddInt_8h.html#a71fcb8b02eb9a10d706301052525bcfa">cuddInt.h</a>
737
+ : <a class="el" href="cuddInt_8h.html#a71fcb8b02eb9a10d706301052525bcfa">cuddInt.h</a>
738
+ , <a class="el" href="cuddInt_8c.html#a71fcb8b02eb9a10d706301052525bcfa">cuddInt.c</a>
742
739
  </li>
743
740
  <li>cuddClean
744
741
  : <a class="el" href="cuddInt_8h.html#a10e04d8462abb58d18eb6d4ee5bfe33f">cuddInt.h</a>
@@ -756,8 +753,8 @@ $(function() {
756
753
  , <a class="el" href="cuddInt_8c.html#a2cf3fcfdf91a36cd66978d4f7201c468">cuddInt.c</a>
757
754
  </li>
758
755
  <li>cuddComputeFloorLog2()
759
- : <a class="el" href="cuddInt_8h.html#ac0c1936c2994972303a3a2696d9bdf39">cuddInt.h</a>
760
- , <a class="el" href="cuddInt_8c.html#ac0c1936c2994972303a3a2696d9bdf39">cuddInt.c</a>
756
+ : <a class="el" href="cuddInt_8c.html#ac0c1936c2994972303a3a2696d9bdf39">cuddInt.c</a>
757
+ , <a class="el" href="cuddInt_8h.html#ac0c1936c2994972303a3a2696d9bdf39">cuddInt.h</a>
761
758
  </li>
762
759
  <li>cuddConstantLookup()
763
760
  : <a class="el" href="cuddInt_8h.html#a1b226d52d599fc2febf36966be142b11">cuddInt.h</a>
@@ -773,8 +770,8 @@ $(function() {
773
770
  : <a class="el" href="cuddInt_8h.html#ab274a54f55f018beea73ed6f1bc630c2">cuddInt.h</a>
774
771
  </li>
775
772
  <li>cuddDynamicAllocNode()
776
- : <a class="el" href="cuddInt_8c.html#a2ef0f60dfd6084809e4a645281450663">cuddInt.c</a>
777
- , <a class="el" href="cuddInt_8h.html#a2ef0f60dfd6084809e4a645281450663">cuddInt.h</a>
773
+ : <a class="el" href="cuddInt_8h.html#a2ef0f60dfd6084809e4a645281450663">cuddInt.h</a>
774
+ , <a class="el" href="cuddInt_8c.html#a2ef0f60dfd6084809e4a645281450663">cuddInt.c</a>
778
775
  </li>
779
776
  <li>cuddE
780
777
  : <a class="el" href="cuddInt_8h.html#aaef03f10591d8e28bb5fecd2aa7c93ff">cuddInt.h</a>
@@ -794,16 +791,16 @@ $(function() {
794
791
  , <a class="el" href="cuddInt_8c.html#a1c1bf08350088e17ef443273e2c8de6b">cuddInt.c</a>
795
792
  </li>
796
793
  <li>cuddGa()
797
- : <a class="el" href="cuddInt_8h.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.h</a>
798
- , <a class="el" href="cuddInt_8c.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.c</a>
794
+ : <a class="el" href="cuddInt_8c.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.c</a>
795
+ , <a class="el" href="cuddInt_8h.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.h</a>
799
796
  </li>
800
797
  <li>cuddGarbageCollect()
801
798
  : <a class="el" href="cuddInt_8h.html#a67e9deab5db86e16734a413ad199719c">cuddInt.h</a>
802
799
  , <a class="el" href="cuddInt_8c.html#a67e9deab5db86e16734a413ad199719c">cuddInt.c</a>
803
800
  </li>
804
801
  <li>cuddGetBranches()
805
- : <a class="el" href="cuddInt_8h.html#a02d8e03ee77b6c219f4ed3daa95e36a3">cuddInt.h</a>
806
- , <a class="el" href="cuddInt_8c.html#a02d8e03ee77b6c219f4ed3daa95e36a3">cuddInt.c</a>
802
+ : <a class="el" href="cuddInt_8c.html#a02d8e03ee77b6c219f4ed3daa95e36a3">cuddInt.c</a>
803
+ , <a class="el" href="cuddInt_8h.html#a02d8e03ee77b6c219f4ed3daa95e36a3">cuddInt.h</a>
807
804
  </li>
808
805
  <li>cuddHashTableAlloc()
809
806
  : <a class="el" href="cuddInt_8c.html#aad2edce57dba0d3c39451c5885f6dd15">cuddInt.c</a>
@@ -869,8 +866,8 @@ $(function() {
869
866
  , <a class="el" href="cuddInt_8c.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.c</a>
870
867
  </li>
871
868
  <li>cuddInitLinear()
872
- : <a class="el" href="cuddInt_8c.html#ad92550d1a1e9f8d717102c00b7e7d839">cuddInt.c</a>
873
- , <a class="el" href="cuddInt_8h.html#ad92550d1a1e9f8d717102c00b7e7d839">cuddInt.h</a>
869
+ : <a class="el" href="cuddInt_8h.html#ad92550d1a1e9f8d717102c00b7e7d839">cuddInt.h</a>
870
+ , <a class="el" href="cuddInt_8c.html#ad92550d1a1e9f8d717102c00b7e7d839">cuddInt.c</a>
874
871
  </li>
875
872
  <li>cuddInitTable()
876
873
  : <a class="el" href="cuddInt_8h.html#aac58f12de669eaac1d445054699e2a88">cuddInt.h</a>
@@ -894,8 +891,8 @@ $(function() {
894
891
  : <a class="el" href="cuddInt_8c.html#ab6fa61b6c791a7a7fe678994675aef47">cuddInt.c</a>
895
892
  </li>
896
893
  <li>cuddLocalCacheClearAll()
897
- : <a class="el" href="cuddInt_8c.html#a9b3e20543e022d0d3092591b73b7b939">cuddInt.c</a>
898
- , <a class="el" href="cuddInt_8h.html#a9b3e20543e022d0d3092591b73b7b939">cuddInt.h</a>
894
+ : <a class="el" href="cuddInt_8h.html#a9b3e20543e022d0d3092591b73b7b939">cuddInt.h</a>
895
+ , <a class="el" href="cuddInt_8c.html#a9b3e20543e022d0d3092591b73b7b939">cuddInt.c</a>
899
896
  </li>
900
897
  <li>cuddLocalCacheClearDead()
901
898
  : <a class="el" href="cuddInt_8h.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.h</a>
@@ -908,16 +905,16 @@ $(function() {
908
905
  : <a class="el" href="cuddInt_8c.html#a5325adbe14e1e1de34ddb6fd5de4ec6a">cuddInt.c</a>
909
906
  </li>
910
907
  <li>cuddMakeBddFromZddCover()
911
- : <a class="el" href="cuddInt_8c.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.c</a>
912
- , <a class="el" href="cuddInt_8h.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.h</a>
908
+ : <a class="el" href="cuddInt_8h.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.h</a>
909
+ , <a class="el" href="cuddInt_8c.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.c</a>
913
910
  </li>
914
911
  <li>cuddNextHigh()
915
912
  : <a class="el" href="cuddInt_8c.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.c</a>
916
913
  , <a class="el" href="cuddInt_8h.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.h</a>
917
914
  </li>
918
915
  <li>cuddNextLow()
919
- : <a class="el" href="cuddInt_8c.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.c</a>
920
- , <a class="el" href="cuddInt_8h.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.h</a>
916
+ : <a class="el" href="cuddInt_8h.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.h</a>
917
+ , <a class="el" href="cuddInt_8c.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.c</a>
921
918
  </li>
922
919
  <li>cuddNodeArray()
923
920
  : <a class="el" href="cuddInt_8h.html#aa089ce201a38140aa26db5fbe0347c4a">cuddInt.h</a>
@@ -973,55 +970,55 @@ $(function() {
973
970
  : <a class="el" href="cuddInt_8h.html#a820d3934f12d1a15066986d58e44d923">cuddInt.h</a>
974
971
  </li>
975
972
  <li>cuddSetInteract()
976
- : <a class="el" href="cuddInt_8h.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.h</a>
977
- , <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
973
+ : <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
974
+ , <a class="el" href="cuddInt_8h.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.h</a>
978
975
  </li>
979
976
  <li>cuddShrinkDeathRow()
980
- : <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
981
- , <a class="el" href="cuddInt_8c.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.c</a>
977
+ : <a class="el" href="cuddInt_8c.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.c</a>
978
+ , <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
982
979
  </li>
983
980
  <li>cuddSifting()
984
- : <a class="el" href="cuddInt_8c.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.c</a>
985
- , <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
981
+ : <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
982
+ , <a class="el" href="cuddInt_8c.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.c</a>
986
983
  </li>
987
984
  <li>cuddSlowTableGrowth()
988
- : <a class="el" href="cuddInt_8h.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.h</a>
989
- , <a class="el" href="cuddInt_8c.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.c</a>
985
+ : <a class="el" href="cuddInt_8c.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.c</a>
986
+ , <a class="el" href="cuddInt_8h.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.h</a>
990
987
  </li>
991
988
  <li>cuddSwapInPlace()
992
989
  : <a class="el" href="cuddInt_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
993
990
  , <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
994
991
  </li>
995
992
  <li>cuddSwapping()
996
- : <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
997
- , <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</a>
993
+ : <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</a>
994
+ , <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
998
995
  </li>
999
996
  <li>cuddSymmCheck()
1000
997
  : <a class="el" href="cuddInt_8h.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.h</a>
1001
998
  , <a class="el" href="cuddInt_8c.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.c</a>
1002
999
  </li>
1003
1000
  <li>cuddSymmSifting()
1004
- : <a class="el" href="cuddInt_8c.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.c</a>
1005
- , <a class="el" href="cuddInt_8h.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.h</a>
1001
+ : <a class="el" href="cuddInt_8h.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.h</a>
1002
+ , <a class="el" href="cuddInt_8c.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.c</a>
1006
1003
  </li>
1007
1004
  <li>cuddSymmSiftingConv()
1008
- : <a class="el" href="cuddInt_8c.html#a26500cac5e214614917e48563a2fd133">cuddInt.c</a>
1009
- , <a class="el" href="cuddInt_8h.html#a26500cac5e214614917e48563a2fd133">cuddInt.h</a>
1005
+ : <a class="el" href="cuddInt_8h.html#a26500cac5e214614917e48563a2fd133">cuddInt.h</a>
1006
+ , <a class="el" href="cuddInt_8c.html#a26500cac5e214614917e48563a2fd133">cuddInt.c</a>
1010
1007
  </li>
1011
1008
  <li>cuddT
1012
1009
  : <a class="el" href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddInt.h</a>
1013
1010
  </li>
1014
1011
  <li>cuddTestInteract()
1015
- : <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
1016
- , <a class="el" href="cuddInt_8c.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.c</a>
1012
+ : <a class="el" href="cuddInt_8c.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.c</a>
1013
+ , <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
1017
1014
  </li>
1018
1015
  <li>cuddTreeSifting()
1019
- : <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
1020
- , <a class="el" href="cuddInt_8c.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.c</a>
1016
+ : <a class="el" href="cuddInt_8c.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.c</a>
1017
+ , <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
1021
1018
  </li>
1022
1019
  <li>cuddUniqueConst()
1023
- : <a class="el" href="cuddInt_8h.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.h</a>
1024
- , <a class="el" href="cuddInt_8c.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.c</a>
1020
+ : <a class="el" href="cuddInt_8c.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.c</a>
1021
+ , <a class="el" href="cuddInt_8h.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.h</a>
1025
1022
  </li>
1026
1023
  <li>cuddUniqueInter()
1027
1024
  : <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
@@ -1039,15 +1036,15 @@ $(function() {
1039
1036
  : <a class="el" href="cuddInt_8c.html#a032202341a5cf6eaf13b788b8d8d0881">cuddInt.c</a>
1040
1037
  </li>
1041
1038
  <li>cuddUpdateInteractionMatrix()
1042
- : <a class="el" href="cuddInt_8h.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.h</a>
1043
- , <a class="el" href="cuddInt_8c.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.c</a>
1039
+ : <a class="el" href="cuddInt_8c.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.c</a>
1040
+ , <a class="el" href="cuddInt_8h.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.h</a>
1044
1041
  </li>
1045
1042
  <li>cuddV
1046
1043
  : <a class="el" href="cuddInt_8h.html#ae4c91711a93064634cccc69dc22f3712">cuddInt.h</a>
1047
1044
  </li>
1048
1045
  <li>cuddWindowReorder()
1049
- : <a class="el" href="cuddInt_8h.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.h</a>
1050
- , <a class="el" href="cuddInt_8c.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.c</a>
1046
+ : <a class="el" href="cuddInt_8c.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.c</a>
1047
+ , <a class="el" href="cuddInt_8h.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.h</a>
1051
1048
  </li>
1052
1049
  <li>cuddXorLinear()
1053
1050
  : <a class="el" href="cuddInt_8c.html#a28e48cf4a38f1088d1844bc675658ee1">cuddInt.c</a>
@@ -1057,24 +1054,24 @@ $(function() {
1057
1054
  , <a class="el" href="cuddInt_8h.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.h</a>
1058
1055
  </li>
1059
1056
  <li>cuddZddChangeAux()
1060
- : <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
1061
- , <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
1057
+ : <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
1058
+ , <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
1062
1059
  </li>
1063
1060
  <li>cuddZddComplement()
1064
- : <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
1065
- , <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</a>
1061
+ : <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</a>
1062
+ , <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
1066
1063
  </li>
1067
1064
  <li>cuddZddDiff()
1068
- : <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
1069
- , <a class="el" href="cuddInt_8c.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.c</a>
1065
+ : <a class="el" href="cuddInt_8c.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.c</a>
1066
+ , <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
1070
1067
  </li>
1071
1068
  <li>cuddZddDivide()
1072
- : <a class="el" href="cuddInt_8h.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.h</a>
1073
- , <a class="el" href="cuddInt_8c.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.c</a>
1069
+ : <a class="el" href="cuddInt_8c.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.c</a>
1070
+ , <a class="el" href="cuddInt_8h.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.h</a>
1074
1071
  </li>
1075
1072
  <li>cuddZddDivideF()
1076
- : <a class="el" href="cuddInt_8h.html#a4ac974deda65b0071f01780d8132efca">cuddInt.h</a>
1077
- , <a class="el" href="cuddInt_8c.html#a4ac974deda65b0071f01780d8132efca">cuddInt.c</a>
1073
+ : <a class="el" href="cuddInt_8c.html#a4ac974deda65b0071f01780d8132efca">cuddInt.c</a>
1074
+ , <a class="el" href="cuddInt_8h.html#a4ac974deda65b0071f01780d8132efca">cuddInt.h</a>
1078
1075
  </li>
1079
1076
  <li>cuddZddFreeUniv()
1080
1077
  : <a class="el" href="cuddInt_8h.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.h</a>
@@ -1085,32 +1082,32 @@ $(function() {
1085
1082
  , <a class="el" href="cuddInt_8c.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.c</a>
1086
1083
  </li>
1087
1084
  <li>cuddZddGetCofactors3()
1088
- : <a class="el" href="cuddInt_8h.html#a57eb6f354f1b6ed2cdd629162f46db82">cuddInt.h</a>
1089
- , <a class="el" href="cuddInt_8c.html#a57eb6f354f1b6ed2cdd629162f46db82">cuddInt.c</a>
1085
+ : <a class="el" href="cuddInt_8c.html#a57eb6f354f1b6ed2cdd629162f46db82">cuddInt.c</a>
1086
+ , <a class="el" href="cuddInt_8h.html#a57eb6f354f1b6ed2cdd629162f46db82">cuddInt.h</a>
1090
1087
  </li>
1091
1088
  <li>cuddZddGetNegVarIndex()
1092
1089
  : <a class="el" href="cuddInt_8h.html#aa74e960c9595f499b6c55c35b76c38c3">cuddInt.h</a>
1093
1090
  , <a class="el" href="cuddInt_8c.html#aa74e960c9595f499b6c55c35b76c38c3">cuddInt.c</a>
1094
1091
  </li>
1095
1092
  <li>cuddZddGetNegVarLevel()
1096
- : <a class="el" href="cuddInt_8h.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.h</a>
1097
- , <a class="el" href="cuddInt_8c.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.c</a>
1093
+ : <a class="el" href="cuddInt_8c.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.c</a>
1094
+ , <a class="el" href="cuddInt_8h.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.h</a>
1098
1095
  </li>
1099
1096
  <li>cuddZddGetNode()
1100
1097
  : <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
1101
1098
  , <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</a>
1102
1099
  </li>
1103
1100
  <li>cuddZddGetNodeIVO()
1104
- : <a class="el" href="cuddInt_8c.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.c</a>
1105
- , <a class="el" href="cuddInt_8h.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.h</a>
1101
+ : <a class="el" href="cuddInt_8h.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.h</a>
1102
+ , <a class="el" href="cuddInt_8c.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.c</a>
1106
1103
  </li>
1107
1104
  <li>cuddZddGetPosVarIndex()
1108
1105
  : <a class="el" href="cuddInt_8c.html#a4449045d422400ac577707490b4b1a05">cuddInt.c</a>
1109
1106
  , <a class="el" href="cuddInt_8h.html#a4449045d422400ac577707490b4b1a05">cuddInt.h</a>
1110
1107
  </li>
1111
1108
  <li>cuddZddGetPosVarLevel()
1112
- : <a class="el" href="cuddInt_8h.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.h</a>
1113
- , <a class="el" href="cuddInt_8c.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.c</a>
1109
+ : <a class="el" href="cuddInt_8c.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.c</a>
1110
+ , <a class="el" href="cuddInt_8h.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.h</a>
1114
1111
  </li>
1115
1112
  <li>cuddZddInitUniv()
1116
1113
  : <a class="el" href="cuddInt_8c.html#abadd982c3d591b858a9a2369659e4528">cuddInt.c</a>
@@ -1125,8 +1122,8 @@ $(function() {
1125
1122
  , <a class="el" href="cuddInt_8c.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.c</a>
1126
1123
  </li>
1127
1124
  <li>cuddZddIte()
1128
- : <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
1129
- , <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
1125
+ : <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
1126
+ , <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
1130
1127
  </li>
1131
1128
  <li>cuddZddLinearAux()
1132
1129
  : <a class="el" href="cuddInt_8c.html#a50676cdc8f1a9b86dd6847fbd8a8181c">cuddInt.c</a>
@@ -1187,20 +1184,20 @@ $(function() {
1187
1184
  , <a class="el" href="cuddInt_8c.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.c</a>
1188
1185
  </li>
1189
1186
  <li>cuddZddSwapInPlace()
1190
- : <a class="el" href="cuddInt_8c.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.c</a>
1191
- , <a class="el" href="cuddInt_8h.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.h</a>
1187
+ : <a class="el" href="cuddInt_8h.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.h</a>
1188
+ , <a class="el" href="cuddInt_8c.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.c</a>
1192
1189
  </li>
1193
1190
  <li>cuddZddSwapping()
1194
- : <a class="el" href="cuddInt_8h.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.h</a>
1195
- , <a class="el" href="cuddInt_8c.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.c</a>
1191
+ : <a class="el" href="cuddInt_8c.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.c</a>
1192
+ , <a class="el" href="cuddInt_8h.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.h</a>
1196
1193
  </li>
1197
1194
  <li>cuddZddSymmCheck()
1198
- : <a class="el" href="cuddInt_8c.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.c</a>
1199
- , <a class="el" href="cuddInt_8h.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.h</a>
1195
+ : <a class="el" href="cuddInt_8h.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.h</a>
1196
+ , <a class="el" href="cuddInt_8c.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.c</a>
1200
1197
  </li>
1201
1198
  <li>cuddZddSymmSifting()
1202
- : <a class="el" href="cuddInt_8c.html#a33b0811f3238900db5c9b07a3fb55f10">cuddInt.c</a>
1203
- , <a class="el" href="cuddInt_8h.html#a33b0811f3238900db5c9b07a3fb55f10">cuddInt.h</a>
1199
+ : <a class="el" href="cuddInt_8h.html#a33b0811f3238900db5c9b07a3fb55f10">cuddInt.h</a>
1200
+ , <a class="el" href="cuddInt_8c.html#a33b0811f3238900db5c9b07a3fb55f10">cuddInt.c</a>
1204
1201
  </li>
1205
1202
  <li>cuddZddSymmSifting_down()
1206
1203
  : <a class="el" href="cuddInt_8c.html#ab7bbb4ad64f52b992872d7992b28726b">cuddInt.c</a>
@@ -1215,8 +1212,8 @@ $(function() {
1215
1212
  : <a class="el" href="cuddInt_8c.html#abea7ac08bf99972d38972dbc9666a7cc">cuddInt.c</a>
1216
1213
  </li>
1217
1214
  <li>cuddZddSymmSiftingConv()
1218
- : <a class="el" href="cuddInt_8h.html#ac76928dd3d33600509504d53802c3000">cuddInt.h</a>
1219
- , <a class="el" href="cuddInt_8c.html#ac76928dd3d33600509504d53802c3000">cuddInt.c</a>
1215
+ : <a class="el" href="cuddInt_8c.html#ac76928dd3d33600509504d53802c3000">cuddInt.c</a>
1216
+ , <a class="el" href="cuddInt_8h.html#ac76928dd3d33600509504d53802c3000">cuddInt.h</a>
1220
1217
  </li>
1221
1218
  <li>cuddZddSymmSiftingConvAux()
1222
1219
  : <a class="el" href="cuddInt_8c.html#a447c4ee2e2ea22adaa37d20ac8f6a6f8">cuddInt.c</a>
@@ -1229,35 +1226,35 @@ $(function() {
1229
1226
  , <a class="el" href="cuddInt_8h.html#a502f13629f5546da11d81c81cae8cc1b">cuddInt.h</a>
1230
1227
  </li>
1231
1228
  <li>cuddZddUnateProduct()
1232
- : <a class="el" href="cuddInt_8c.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.c</a>
1233
- , <a class="el" href="cuddInt_8h.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.h</a>
1229
+ : <a class="el" href="cuddInt_8h.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.h</a>
1230
+ , <a class="el" href="cuddInt_8c.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.c</a>
1234
1231
  </li>
1235
1232
  <li>cuddZddUndoMoves()
1236
1233
  : <a class="el" href="cuddInt_8c.html#a37d9d5c0202700e85ee6ab3bb64f9c8f">cuddInt.c</a>
1237
1234
  </li>
1238
1235
  <li>cuddZddUnion()
1239
- : <a class="el" href="cuddInt_8c.html#af13034436631370bd5c24e9f8e58e38b">cuddInt.c</a>
1240
- , <a class="el" href="cuddInt_8h.html#af13034436631370bd5c24e9f8e58e38b">cuddInt.h</a>
1236
+ : <a class="el" href="cuddInt_8h.html#af13034436631370bd5c24e9f8e58e38b">cuddInt.h</a>
1237
+ , <a class="el" href="cuddInt_8c.html#af13034436631370bd5c24e9f8e58e38b">cuddInt.c</a>
1241
1238
  </li>
1242
1239
  <li>cuddZddUniqueCompare()
1243
- : <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
1244
- , <a class="el" href="cuddInt_8c.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.c</a>
1240
+ : <a class="el" href="cuddInt_8c.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.c</a>
1241
+ , <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
1245
1242
  </li>
1246
1243
  <li>cuddZddWeakDiv()
1247
- : <a class="el" href="cuddInt_8c.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.c</a>
1248
- , <a class="el" href="cuddInt_8h.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.h</a>
1244
+ : <a class="el" href="cuddInt_8h.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.h</a>
1245
+ , <a class="el" href="cuddInt_8c.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.c</a>
1249
1246
  </li>
1250
1247
  <li>cuddZddWeakDivF()
1251
- : <a class="el" href="cuddInt_8h.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.h</a>
1252
- , <a class="el" href="cuddInt_8c.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.c</a>
1248
+ : <a class="el" href="cuddInt_8c.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.c</a>
1249
+ , <a class="el" href="cuddInt_8h.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.h</a>
1253
1250
  </li>
1254
1251
  <li>cutree_cdist()
1255
1252
  : <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
1256
1253
  , <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
1257
1254
  </li>
1258
1255
  <li>cutree_k()
1259
- : <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
1260
- , <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
1256
+ : <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
1257
+ , <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
1261
1258
  </li>
1262
1259
  </ul>
1263
1260
  </div><!-- contents -->