<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
<title>PolyBoRi: extrafwd.h File Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css">
<link href="doxygen.css" rel="stylesheet" type="text/css">
</head><body>
<!-- Generated by Doxygen 1.5.9 -->
<div class="navigation" id="top">
<div class="tabs">
<ul>
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="pages.html"><span>Related Pages</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="files.html"><span>File List</span></a></li>
<li><a href="globals.html"><span>File Members</span></a></li>
</ul>
</div>
</div>
<div class="contents">
<h1>extrafwd.h File Reference</h1><code>#include <cudd.h></code><br>
<p>
<a href="extrafwd_8h_source.html">Go to the source code of this file.</a><table border="0" cellpadding="0" cellspacing="0">
<tr><td></td></tr>
<tr><td colspan="2"><br><h2>Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#f8d9c379781ea6cb476db711b5d98c0e">Extra_zddPrimeProduct</a> (DdManager *dd, DdNode *f, DdNode *g)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#1500fdd30ef03a7e1a78865a82ea1388">Extra_zddProductAlt</a> (DdManager *dd, DdNode *f, DdNode *g)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#9c486dd36b062d1ff4e2d194054cc48e">Extra_zddCompatible</a> (DdManager *dd, DdNode *zCover, DdNode *zCube)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#5c633bcdfd5a636d92c273deff792217">Extra_zddIsopCover</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#5c9a266a065d67a6b88dc87fecc77c02">Extra_zddIsopPrintCover</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#395fa276104491f1197fa840715abcba">Extra_zddSimplify</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#4fdaf09bce43defc01483e16a44ece0e">Extra_zddIsopCoverAlt</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#6cacec7ef13bff3b5e361a9f4329d919">Extra_zddIsopCubeNum</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#ecd476bf383c11c00f6b2a869a6aeff7">Extra_zddDisjointCover</a> (DdManager *dd, DdNode *F)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#d41a226092761e6c994326b8f3957b6d">Extra_zddResolve</a> (DdManager *dd, DdNode *S, DdNode *Vars)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#75147a8057b7cc6d92f71dd8e0af0949">Extra_zddNotContainedCubesOverArea</a> (DdManager *dd, DdNode *zC, DdNode *zD, DdNode *bA)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#abb6706d45c584fd9ecaa6f7c44d4e96">extraZddNotContainedCubesOverArea</a> (DdManager *dd, DdNode *zC, DdNode *zD, DdNode *bA)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#b8d8c9ae83455ac549acdce69ef872c2">Extra_zddSelectOneCube</a> (DdManager *dd, DdNode *zS)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#bee810dfabd5d9fcb58e62662475f685">Extra_zddSelectOneSubset</a> (DdManager *dd, DdNode *zS)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#3e927fd07b4a63887004037e30a0c921">Extra_zddCheckUnateness</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#f4202b181d61261800e18128eea5c18f">Extra_zddGetMostCoveredArea</a> (DdManager *dd, DdNode *zC, int *nOverlaps)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#b3e9d664e7fbbb038b0427a031d883ca">Extra_zddUnionExor</a> (DdManager *dd, DdNode *S, DdNode *T)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#1c200309b6ca1abe43ac36de9ab8da2a">Extra_zddSupercubes</a> (DdManager *dd, DdNode *zA, DdNode *zB)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#cd9f96060f6796df31669989e15d626f">Extra_zddSelectDist1Cubes</a> (DdManager *dd, DdNode *zA, DdNode *zB)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#2e84e3da79a7f6007def48351f6663b7">Extra_zddFastEsopCoverArray</a> (DdManager *dd, DdNode **bFs, DdNode **zCs, int nFs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#43c87ee3f774141fdfbd478ad91b8ac7">Extra_bddFactoredFormLiterals</a> (DdManager *dd, DdNode *bOnSet, DdNode *bOnDcSet)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#b7306ecc95b68ea6b3fbe65a394e1d22">Extra_zddFactoredFormLiterals</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#28def03210e585b5e2a16b5bbd9b29b0">Extra_zddLFLiterals</a> (DdManager *dd, DdNode *zCover, DdNode *zCube)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#e5cd1b65cba07efc3955f2f261ae5c78">Extra_zddQuickDivisor</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#9d4f77a28b7a55efe4ea26851aa79ef6">Extra_zddLevel0Kernel</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#7eb4c52f8b785458a6e148a13e9b4db6">Extra_zddDivision</a> (DdManager *dd, DdNode *zCover, DdNode *zDiv, DdNode **zQuo, DdNode **zRem)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#6737cc65abb6a63c5d28bc3aa7fc5166">Extra_zddCommonCubeFast</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#75a9ed59a874556c964c3460252ffc46">Extra_zddMoreThanOnceCubeFast</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#8e6cfced25e324d4d06f5e8fe6efa16f">Extra_zddMakeCubeFree</a> (DdManager *dd, DdNode *zCover, int iZVar)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#582bb0b9c4c265b9a557fe8c9d01c19e">Extra_zddTestCubeFree</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#c34bf22b6adf7424b275bd140c3ed78f">Extra_zddCountLiteralsSimple</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#9c34c7bb4ffc35a4eb461f1950f7fa6b">Extra_zddMoreThanOneCube</a> (DdManager *dd, DdNode *zCover)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#c4813871ec3de362bbc553ec52eb7b4f">Extra_zddCombinationFromLevels</a> (DdManager *dd, int *pLevels, int nVars)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#5d9ab9fc6ba963b43bd2e8f7acee6041">Extra_zddCommonLiterals</a> (DdManager *dd, DdNode *zCover, int iZVar, int *pLevels, int *pLiterals)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#e8fe33218700f240f80bf24f609c9773">Extra_zddMoreThanOneLiteralSet</a> (DdManager *dd, DdNode *zCover, int StartLevel, int *pVars, int *pCounters)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#7f01532ad1ab7d0f5124c56b8be96316">Extra_zddMoreThanOneLiteral</a> (DdManager *dd, DdNode *zCover, int iZVar)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#16cf5c0503c5847d6c09c2014dadba03">Extra_zddCliques</a> (DdManager *dd, DdNode *G, int fMaximal)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#eb806906235c96cd6913f8579eae92cb">Extra_zddMaxCliques</a> (DdManager *dd, DdNode *G)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#7a0d1eb9b5d548d2f62fab85413897fe">Extra_zddIncremCliques</a> (DdManager *dd, DdNode *G, DdNode *C)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#8979862b6616d87fe3a64160fb741ad5">Extra_zddIsopCoverAllVars</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#f8a17150fc609b653f5f52defa59d9b0">Extra_zddIsopCoverUnateVars</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#c1884cff5015b56780231239a1f256a8">Extra_zddIsopCoverRandom</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#4f3392d80793502b3bd4ffb43bb38b29">Extra_zddIsopCoverReduced</a> (DdManager *dd, DdNode *F1, DdNode *F12)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#1eeb9b36f3926f2ccf528c78ec52bcf5">Extra_zddLitCount</a> (DdManager *dd, DdNode *Set)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#3f369eaad4c936db28e51ec8d254639f">Extra_zddLitCountComb</a> (DdManager *dd, DdNode *zComb)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#8950b1faf2d917636c2ef91f6157316b">Extra_zddMaximal</a> (DdManager *dd, DdNode *S)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#30e18eedb4e5f94ebac27795208cbb8f">Extra_zddMinimal</a> (DdManager *dd, DdNode *S)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#ea9fc650a01272368e44d28b6f297e31">Extra_zddMaxUnion</a> (DdManager *dd, DdNode *S, DdNode *T)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#e7d99678784f53bcb2cda56d5e25bff7">Extra_zddMinUnion</a> (DdManager *dd, DdNode *S, DdNode *T)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#1192f3df8e54281288caf283245de4d5">Extra_zddDotProduct</a> (DdManager *dd, DdNode *S, DdNode *T)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#ce064e13d70faba96f8513f7e5746004">Extra_zddExorProduct</a> (DdManager *dd, DdNode *S, DdNode *T)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#f2d7d570b14afda8e8bc89e20e3b952f">Extra_zddCrossProduct</a> (DdManager *dd, DdNode *S, DdNode *T)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#34e6613c394a9b5fc3b824ca75662723">Extra_zddMaxDotProduct</a> (DdManager *dd, DdNode *S, DdNode *T)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#af4480fb7697e6ad9d142276d9dfc30b">Extra_zddVariable</a> (DdManager *dd, int iVar)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#65faa0f1312d61b68790ed4b72226f20">Extra_zddCombination</a> (DdManager *dd, int *VarValues, int nVars)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#a77b31754d0ee042394aaaa5aadb5088">Extra_zddUniverse</a> (DdManager *dd, DdNode *VarSet)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#a7bc51789cddc5d4969f28a87e32c3bb">Extra_zddTuples</a> (DdManager *dd, int K, DdNode *zVarsN)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#ae96bf627f9b515ccde340baa124127e">Extra_zddTuplesFromBdd</a> (DdManager *dd, int K, DdNode *bVarsN)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#223d8d0f4f184c4d5fc7c33c89d766bb">Extra_zddSinglesToComb</a> (DdManager *dd, DdNode *Singles)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#65b8f43b71080a7fd974d24314a532ce">Extra_zddMaximum</a> (DdManager *dd, DdNode *S, int *nVars)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#8231e634fcc310f5cb70d6adbe949533">Extra_zddMinimum</a> (DdManager *dd, DdNode *S, int *nVars)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#084925cf77fb970b7b977268061bd802">Extra_zddRandomSet</a> (DdManager *dd, int n, int k, double d)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#a88cabcbdab4ae78469d352f6e17a465">Extra_zddCoveredByArea</a> (DdManager *dd, DdNode *zC, DdNode *bA)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#4088013793209204dd2150415fa15156">Extra_zddNotCoveredByCover</a> (DdManager *dd, DdNode *zC, DdNode *zD)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#83354f268466c71a4b86fa19498b984a">Extra_zddOverlappingWithArea</a> (DdManager *dd, DdNode *zC, DdNode *bA)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#91057e84bb5622f552ed3d35da61026f">Extra_zddConvertToBdd</a> (DdManager *dd, DdNode *zC)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#c4227f652cc842756666c03cd6d4870f">Extra_zddConvertToBddUnate</a> (DdManager *dd, DdNode *zC)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#875c1f5453e35b86c3f116384d99ac6d">Extra_zddConvertEsopToBdd</a> (DdManager *dd, DdNode *zC)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#2184a1e6198c498791c3210c159e34a6">Extra_zddConvertToBddAndAdd</a> (DdManager *dd, DdNode *zC, DdNode *bA)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#edae91e69efb64b4d0b65038a2d61def">Extra_zddSingleCoveredArea</a> (DdManager *dd, DdNode *zC)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#787268baab2886f4ed4c275e901b5b5b">Extra_zddConvertBddCubeIntoZddCube</a> (DdManager *dd, DdNode *bCube)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#1adf8a98e7a481e980ab36ebce6841aa">Extra_zddExistAbstract</a> (DdManager *manager, DdNode *F, DdNode *cube)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#9028da4fd4298e49ea4359c876e12b9c">Extra_zddChangeVars</a> (DdManager *manager, DdNode *F, DdNode *cube)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#727ae5a2cb3dc9e98986ac3d85694f4f">Extra_zddPermute</a> (DdManager *dd, DdNode *N, int *permut)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#3e3db6af3a432fb67d2d5f0299184c38">Extra_zddCofactor0</a> (DdManager *dd, DdNode *f, DdNode *cube)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#1255f7b399f9366e1f83bbf6a206b627">Extra_zddCofactor1</a> (DdManager *dd, DdNode *f, DdNode *cube, int fIncludeVars)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#e71887adf63ff82b71f5752b931c2b42">Extra_zddSubSet</a> (DdManager *dd, DdNode *X, DdNode *Y)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#4d7756c43cdee777ac3b3c97974a991a">Extra_zddSupSet</a> (DdManager *dd, DdNode *X, DdNode *Y)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#b9712400ad8d1cba47f8a333fe869701">Extra_zddNotSubSet</a> (DdManager *dd, DdNode *X, DdNode *Y)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#597a7afef797611efc0a9edc5dd2934a">Extra_zddNotSupSet</a> (DdManager *dd, DdNode *X, DdNode *Y)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#a6e3e46579bf8f3801ec956ca35a87a8">Extra_zddMaxNotSupSet</a> (DdManager *dd, DdNode *X, DdNode *Y)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#1704f4ce5f572bdbd4af8cbb4cd997b4">Extra_zddEmptyBelongs</a> (DdManager *dd, DdNode *zS)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="extrafwd_8h.html#ae127d1b9a9142b1246a92b982af5847">Extra_zddIsOneSubset</a> (DdManager *dd, DdNode *zS)</td></tr>
</table>
<hr><h2>Function Documentation</h2>
<a class="anchor" name="43c87ee3f774141fdfbd478ad91b8ac7"></a><!-- doxytag: member="extrafwd.h::Extra_bddFactoredFormLiterals" ref="43c87ee3f774141fdfbd478ad91b8ac7" args="(DdManager *dd, DdNode *bOnSet, DdNode *bOnDcSet)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_bddFactoredFormLiterals </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bOnSet</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bOnDcSet</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="9028da4fd4298e49ea4359c876e12b9c"></a><!-- doxytag: member="extrafwd.h::Extra_zddChangeVars" ref="9028da4fd4298e49ea4359c876e12b9c" args="(DdManager *manager, DdNode *F, DdNode *cube)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddChangeVars </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>manager</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>cube</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="3e927fd07b4a63887004037e30a0c921"></a><!-- doxytag: member="extrafwd.h::Extra_zddCheckUnateness" ref="3e927fd07b4a63887004037e30a0c921" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddCheckUnateness </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="16cf5c0503c5847d6c09c2014dadba03"></a><!-- doxytag: member="extrafwd.h::Extra_zddCliques" ref="16cf5c0503c5847d6c09c2014dadba03" args="(DdManager *dd, DdNode *G, int fMaximal)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCliques </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>G</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>fMaximal</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="3e3db6af3a432fb67d2d5f0299184c38"></a><!-- doxytag: member="extrafwd.h::Extra_zddCofactor0" ref="3e3db6af3a432fb67d2d5f0299184c38" args="(DdManager *dd, DdNode *f, DdNode *cube)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCofactor0 </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>f</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>cube</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="CDDInterface_8h_source.html#l00848">polybori::CDDInterface< dd_base >::cofactor0()</a>.</p>
</div>
</div><p>
<a class="anchor" name="1255f7b399f9366e1f83bbf6a206b627"></a><!-- doxytag: member="extrafwd.h::Extra_zddCofactor1" ref="1255f7b399f9366e1f83bbf6a206b627" args="(DdManager *dd, DdNode *f, DdNode *cube, int fIncludeVars)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCofactor1 </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>f</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>cube</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>fIncludeVars</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="CDDInterface_8h_source.html#l00856">polybori::CDDInterface< dd_base >::cofactor1()</a>.</p>
</div>
</div><p>
<a class="anchor" name="65faa0f1312d61b68790ed4b72226f20"></a><!-- doxytag: member="extrafwd.h::Extra_zddCombination" ref="65faa0f1312d61b68790ed4b72226f20" args="(DdManager *dd, int *VarValues, int nVars)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCombination </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>VarValues</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>nVars</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="c4813871ec3de362bbc553ec52eb7b4f"></a><!-- doxytag: member="extrafwd.h::Extra_zddCombinationFromLevels" ref="c4813871ec3de362bbc553ec52eb7b4f" args="(DdManager *dd, int *pLevels, int nVars)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCombinationFromLevels </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>pLevels</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>nVars</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="6737cc65abb6a63c5d28bc3aa7fc5166"></a><!-- doxytag: member="extrafwd.h::Extra_zddCommonCubeFast" ref="6737cc65abb6a63c5d28bc3aa7fc5166" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCommonCubeFast </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="5d9ab9fc6ba963b43bd2e8f7acee6041"></a><!-- doxytag: member="extrafwd.h::Extra_zddCommonLiterals" ref="5d9ab9fc6ba963b43bd2e8f7acee6041" args="(DdManager *dd, DdNode *zCover, int iZVar, int *pLevels, int *pLiterals)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddCommonLiterals </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>iZVar</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>pLevels</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>pLiterals</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="9c486dd36b062d1ff4e2d194054cc48e"></a><!-- doxytag: member="extrafwd.h::Extra_zddCompatible" ref="9c486dd36b062d1ff4e2d194054cc48e" args="(DdManager *dd, DdNode *zCover, DdNode *zCube)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCompatible </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCube</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="787268baab2886f4ed4c275e901b5b5b"></a><!-- doxytag: member="extrafwd.h::Extra_zddConvertBddCubeIntoZddCube" ref="787268baab2886f4ed4c275e901b5b5b" args="(DdManager *dd, DdNode *bCube)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddConvertBddCubeIntoZddCube </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bCube</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="875c1f5453e35b86c3f116384d99ac6d"></a><!-- doxytag: member="extrafwd.h::Extra_zddConvertEsopToBdd" ref="875c1f5453e35b86c3f116384d99ac6d" args="(DdManager *dd, DdNode *zC)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddConvertEsopToBdd </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="91057e84bb5622f552ed3d35da61026f"></a><!-- doxytag: member="extrafwd.h::Extra_zddConvertToBdd" ref="91057e84bb5622f552ed3d35da61026f" args="(DdManager *dd, DdNode *zC)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddConvertToBdd </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="2184a1e6198c498791c3210c159e34a6"></a><!-- doxytag: member="extrafwd.h::Extra_zddConvertToBddAndAdd" ref="2184a1e6198c498791c3210c159e34a6" args="(DdManager *dd, DdNode *zC, DdNode *bA)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddConvertToBddAndAdd </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bA</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="c4227f652cc842756666c03cd6d4870f"></a><!-- doxytag: member="extrafwd.h::Extra_zddConvertToBddUnate" ref="c4227f652cc842756666c03cd6d4870f" args="(DdManager *dd, DdNode *zC)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddConvertToBddUnate </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="c34bf22b6adf7424b275bd140c3ed78f"></a><!-- doxytag: member="extrafwd.h::Extra_zddCountLiteralsSimple" ref="c34bf22b6adf7424b275bd140c3ed78f" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddCountLiteralsSimple </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="a88cabcbdab4ae78469d352f6e17a465"></a><!-- doxytag: member="extrafwd.h::Extra_zddCoveredByArea" ref="a88cabcbdab4ae78469d352f6e17a465" args="(DdManager *dd, DdNode *zC, DdNode *bA)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCoveredByArea </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bA</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="f2d7d570b14afda8e8bc89e20e3b952f"></a><!-- doxytag: member="extrafwd.h::Extra_zddCrossProduct" ref="f2d7d570b14afda8e8bc89e20e3b952f" args="(DdManager *dd, DdNode *S, DdNode *T)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddCrossProduct </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>T</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="ecd476bf383c11c00f6b2a869a6aeff7"></a><!-- doxytag: member="extrafwd.h::Extra_zddDisjointCover" ref="ecd476bf383c11c00f6b2a869a6aeff7" args="(DdManager *dd, DdNode *F)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddDisjointCover </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="7eb4c52f8b785458a6e148a13e9b4db6"></a><!-- doxytag: member="extrafwd.h::Extra_zddDivision" ref="7eb4c52f8b785458a6e148a13e9b4db6" args="(DdManager *dd, DdNode *zCover, DdNode *zDiv, DdNode **zQuo, DdNode **zRem)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Extra_zddDivision </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zDiv</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode ** </td>
<td class="paramname"> <em>zQuo</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode ** </td>
<td class="paramname"> <em>zRem</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="1192f3df8e54281288caf283245de4d5"></a><!-- doxytag: member="extrafwd.h::Extra_zddDotProduct" ref="1192f3df8e54281288caf283245de4d5" args="(DdManager *dd, DdNode *S, DdNode *T)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddDotProduct </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>T</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="CDDInterface_8h_source.html#l00516">polybori::CDDInterface< dd_base >::dotProduct()</a>, and <a class="el" href="CDDInterface_8h_source.html#l00524">polybori::CDDInterface< dd_base >::dotProductAssign()</a>.</p>
</div>
</div><p>
<a class="anchor" name="1704f4ce5f572bdbd4af8cbb4cd997b4"></a><!-- doxytag: member="extrafwd.h::Extra_zddEmptyBelongs" ref="1704f4ce5f572bdbd4af8cbb4cd997b4" args="(DdManager *dd, DdNode *zS)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddEmptyBelongs </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zS</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="1adf8a98e7a481e980ab36ebce6841aa"></a><!-- doxytag: member="extrafwd.h::Extra_zddExistAbstract" ref="1adf8a98e7a481e980ab36ebce6841aa" args="(DdManager *manager, DdNode *F, DdNode *cube)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddExistAbstract </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>manager</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>cube</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="ce064e13d70faba96f8513f7e5746004"></a><!-- doxytag: member="extrafwd.h::Extra_zddExorProduct" ref="ce064e13d70faba96f8513f7e5746004" args="(DdManager *dd, DdNode *S, DdNode *T)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddExorProduct </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>T</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="b7306ecc95b68ea6b3fbe65a394e1d22"></a><!-- doxytag: member="extrafwd.h::Extra_zddFactoredFormLiterals" ref="b7306ecc95b68ea6b3fbe65a394e1d22" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddFactoredFormLiterals </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="2e84e3da79a7f6007def48351f6663b7"></a><!-- doxytag: member="extrafwd.h::Extra_zddFastEsopCoverArray" ref="2e84e3da79a7f6007def48351f6663b7" args="(DdManager *dd, DdNode **bFs, DdNode **zCs, int nFs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddFastEsopCoverArray </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode ** </td>
<td class="paramname"> <em>bFs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode ** </td>
<td class="paramname"> <em>zCs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>nFs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="f4202b181d61261800e18128eea5c18f"></a><!-- doxytag: member="extrafwd.h::Extra_zddGetMostCoveredArea" ref="f4202b181d61261800e18128eea5c18f" args="(DdManager *dd, DdNode *zC, int *nOverlaps)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddGetMostCoveredArea </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>nOverlaps</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="7a0d1eb9b5d548d2f62fab85413897fe"></a><!-- doxytag: member="extrafwd.h::Extra_zddIncremCliques" ref="7a0d1eb9b5d548d2f62fab85413897fe" args="(DdManager *dd, DdNode *G, DdNode *C)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddIncremCliques </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>G</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>C</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="ae127d1b9a9142b1246a92b982af5847"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsOneSubset" ref="ae127d1b9a9142b1246a92b982af5847" args="(DdManager *dd, DdNode *zS)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddIsOneSubset </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zS</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="5c633bcdfd5a636d92c273deff792217"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsopCover" ref="5c633bcdfd5a636d92c273deff792217" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddIsopCover </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="8979862b6616d87fe3a64160fb741ad5"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsopCoverAllVars" ref="8979862b6616d87fe3a64160fb741ad5" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddIsopCoverAllVars </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="4fdaf09bce43defc01483e16a44ece0e"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsopCoverAlt" ref="4fdaf09bce43defc01483e16a44ece0e" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddIsopCoverAlt </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="c1884cff5015b56780231239a1f256a8"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsopCoverRandom" ref="c1884cff5015b56780231239a1f256a8" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddIsopCoverRandom </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="4f3392d80793502b3bd4ffb43bb38b29"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsopCoverReduced" ref="4f3392d80793502b3bd4ffb43bb38b29" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddIsopCoverReduced </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="f8a17150fc609b653f5f52defa59d9b0"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsopCoverUnateVars" ref="f8a17150fc609b653f5f52defa59d9b0" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddIsopCoverUnateVars </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="6cacec7ef13bff3b5e361a9f4329d919"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsopCubeNum" ref="6cacec7ef13bff3b5e361a9f4329d919" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddIsopCubeNum </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="5c9a266a065d67a6b88dc87fecc77c02"></a><!-- doxytag: member="extrafwd.h::Extra_zddIsopPrintCover" ref="5c9a266a065d67a6b88dc87fecc77c02" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Extra_zddIsopPrintCover </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="9d4f77a28b7a55efe4ea26851aa79ef6"></a><!-- doxytag: member="extrafwd.h::Extra_zddLevel0Kernel" ref="9d4f77a28b7a55efe4ea26851aa79ef6" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddLevel0Kernel </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="28def03210e585b5e2a16b5bbd9b29b0"></a><!-- doxytag: member="extrafwd.h::Extra_zddLFLiterals" ref="28def03210e585b5e2a16b5bbd9b29b0" args="(DdManager *dd, DdNode *zCover, DdNode *zCube)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddLFLiterals </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCube</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="1eeb9b36f3926f2ccf528c78ec52bcf5"></a><!-- doxytag: member="extrafwd.h::Extra_zddLitCount" ref="1eeb9b36f3926f2ccf528c78ec52bcf5" args="(DdManager *dd, DdNode *Set)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int* Extra_zddLitCount </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>Set</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="3f369eaad4c936db28e51ec8d254639f"></a><!-- doxytag: member="extrafwd.h::Extra_zddLitCountComb" ref="3f369eaad4c936db28e51ec8d254639f" args="(DdManager *dd, DdNode *zComb)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddLitCountComb </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zComb</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="8e6cfced25e324d4d06f5e8fe6efa16f"></a><!-- doxytag: member="extrafwd.h::Extra_zddMakeCubeFree" ref="8e6cfced25e324d4d06f5e8fe6efa16f" args="(DdManager *dd, DdNode *zCover, int iZVar)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMakeCubeFree </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>iZVar</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="eb806906235c96cd6913f8579eae92cb"></a><!-- doxytag: member="extrafwd.h::Extra_zddMaxCliques" ref="eb806906235c96cd6913f8579eae92cb" args="(DdManager *dd, DdNode *G)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMaxCliques </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>G</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="34e6613c394a9b5fc3b824ca75662723"></a><!-- doxytag: member="extrafwd.h::Extra_zddMaxDotProduct" ref="34e6613c394a9b5fc3b824ca75662723" args="(DdManager *dd, DdNode *S, DdNode *T)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMaxDotProduct </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>T</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="8950b1faf2d917636c2ef91f6157316b"></a><!-- doxytag: member="extrafwd.h::Extra_zddMaximal" ref="8950b1faf2d917636c2ef91f6157316b" args="(DdManager *dd, DdNode *S)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMaximal </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="65b8f43b71080a7fd974d24314a532ce"></a><!-- doxytag: member="extrafwd.h::Extra_zddMaximum" ref="65b8f43b71080a7fd974d24314a532ce" args="(DdManager *dd, DdNode *S, int *nVars)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMaximum </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>nVars</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="a6e3e46579bf8f3801ec956ca35a87a8"></a><!-- doxytag: member="extrafwd.h::Extra_zddMaxNotSupSet" ref="a6e3e46579bf8f3801ec956ca35a87a8" args="(DdManager *dd, DdNode *X, DdNode *Y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMaxNotSupSet </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>X</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>Y</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="ea9fc650a01272368e44d28b6f297e31"></a><!-- doxytag: member="extrafwd.h::Extra_zddMaxUnion" ref="ea9fc650a01272368e44d28b6f297e31" args="(DdManager *dd, DdNode *S, DdNode *T)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMaxUnion </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>T</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="30e18eedb4e5f94ebac27795208cbb8f"></a><!-- doxytag: member="extrafwd.h::Extra_zddMinimal" ref="30e18eedb4e5f94ebac27795208cbb8f" args="(DdManager *dd, DdNode *S)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMinimal </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="CDDInterface_8h_source.html#l00843">polybori::CDDInterface< dd_base >::minimalElements()</a>.</p>
</div>
</div><p>
<a class="anchor" name="8231e634fcc310f5cb70d6adbe949533"></a><!-- doxytag: member="extrafwd.h::Extra_zddMinimum" ref="8231e634fcc310f5cb70d6adbe949533" args="(DdManager *dd, DdNode *S, int *nVars)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMinimum </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>nVars</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="e7d99678784f53bcb2cda56d5e25bff7"></a><!-- doxytag: member="extrafwd.h::Extra_zddMinUnion" ref="e7d99678784f53bcb2cda56d5e25bff7" args="(DdManager *dd, DdNode *S, DdNode *T)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMinUnion </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>T</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="75a9ed59a874556c964c3460252ffc46"></a><!-- doxytag: member="extrafwd.h::Extra_zddMoreThanOnceCubeFast" ref="75a9ed59a874556c964c3460252ffc46" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddMoreThanOnceCubeFast </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="9c34c7bb4ffc35a4eb461f1950f7fa6b"></a><!-- doxytag: member="extrafwd.h::Extra_zddMoreThanOneCube" ref="9c34c7bb4ffc35a4eb461f1950f7fa6b" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddMoreThanOneCube </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="7f01532ad1ab7d0f5124c56b8be96316"></a><!-- doxytag: member="extrafwd.h::Extra_zddMoreThanOneLiteral" ref="7f01532ad1ab7d0f5124c56b8be96316" args="(DdManager *dd, DdNode *zCover, int iZVar)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddMoreThanOneLiteral </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>iZVar</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="e8fe33218700f240f80bf24f609c9773"></a><!-- doxytag: member="extrafwd.h::Extra_zddMoreThanOneLiteralSet" ref="e8fe33218700f240f80bf24f609c9773" args="(DdManager *dd, DdNode *zCover, int StartLevel, int *pVars, int *pCounters)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddMoreThanOneLiteralSet </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>StartLevel</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>pVars</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>pCounters</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="75147a8057b7cc6d92f71dd8e0af0949"></a><!-- doxytag: member="extrafwd.h::Extra_zddNotContainedCubesOverArea" ref="75147a8057b7cc6d92f71dd8e0af0949" args="(DdManager *dd, DdNode *zC, DdNode *zD, DdNode *bA)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddNotContainedCubesOverArea </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zD</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bA</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="4088013793209204dd2150415fa15156"></a><!-- doxytag: member="extrafwd.h::Extra_zddNotCoveredByCover" ref="4088013793209204dd2150415fa15156" args="(DdManager *dd, DdNode *zC, DdNode *zD)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddNotCoveredByCover </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zD</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="b9712400ad8d1cba47f8a333fe869701"></a><!-- doxytag: member="extrafwd.h::Extra_zddNotSubSet" ref="b9712400ad8d1cba47f8a333fe869701" args="(DdManager *dd, DdNode *X, DdNode *Y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddNotSubSet </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>X</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>Y</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="597a7afef797611efc0a9edc5dd2934a"></a><!-- doxytag: member="extrafwd.h::Extra_zddNotSupSet" ref="597a7afef797611efc0a9edc5dd2934a" args="(DdManager *dd, DdNode *X, DdNode *Y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddNotSupSet </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>X</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>Y</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="83354f268466c71a4b86fa19498b984a"></a><!-- doxytag: member="extrafwd.h::Extra_zddOverlappingWithArea" ref="83354f268466c71a4b86fa19498b984a" args="(DdManager *dd, DdNode *zC, DdNode *bA)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddOverlappingWithArea </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bA</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="727ae5a2cb3dc9e98986ac3d85694f4f"></a><!-- doxytag: member="extrafwd.h::Extra_zddPermute" ref="727ae5a2cb3dc9e98986ac3d85694f4f" args="(DdManager *dd, DdNode *N, int *permut)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddPermute </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>N</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int * </td>
<td class="paramname"> <em>permut</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="f8d9c379781ea6cb476db711b5d98c0e"></a><!-- doxytag: member="extrafwd.h::Extra_zddPrimeProduct" ref="f8d9c379781ea6cb476db711b5d98c0e" args="(DdManager *dd, DdNode *f, DdNode *g)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddPrimeProduct </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>f</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>g</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="1500fdd30ef03a7e1a78865a82ea1388"></a><!-- doxytag: member="extrafwd.h::Extra_zddProductAlt" ref="1500fdd30ef03a7e1a78865a82ea1388" args="(DdManager *dd, DdNode *f, DdNode *g)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddProductAlt </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>f</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>g</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="e5cd1b65cba07efc3955f2f261ae5c78"></a><!-- doxytag: member="extrafwd.h::Extra_zddQuickDivisor" ref="e5cd1b65cba07efc3955f2f261ae5c78" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddQuickDivisor </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="084925cf77fb970b7b977268061bd802"></a><!-- doxytag: member="extrafwd.h::Extra_zddRandomSet" ref="084925cf77fb970b7b977268061bd802" args="(DdManager *dd, int n, int k, double d)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddRandomSet </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>n</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>k</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">double </td>
<td class="paramname"> <em>d</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="d41a226092761e6c994326b8f3957b6d"></a><!-- doxytag: member="extrafwd.h::Extra_zddResolve" ref="d41a226092761e6c994326b8f3957b6d" args="(DdManager *dd, DdNode *S, DdNode *Vars)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddResolve </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>Vars</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="cd9f96060f6796df31669989e15d626f"></a><!-- doxytag: member="extrafwd.h::Extra_zddSelectDist1Cubes" ref="cd9f96060f6796df31669989e15d626f" args="(DdManager *dd, DdNode *zA, DdNode *zB)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSelectDist1Cubes </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zA</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zB</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="b8d8c9ae83455ac549acdce69ef872c2"></a><!-- doxytag: member="extrafwd.h::Extra_zddSelectOneCube" ref="b8d8c9ae83455ac549acdce69ef872c2" args="(DdManager *dd, DdNode *zS)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSelectOneCube </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zS</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="bee810dfabd5d9fcb58e62662475f685"></a><!-- doxytag: member="extrafwd.h::Extra_zddSelectOneSubset" ref="bee810dfabd5d9fcb58e62662475f685" args="(DdManager *dd, DdNode *zS)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSelectOneSubset </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zS</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="395fa276104491f1197fa840715abcba"></a><!-- doxytag: member="extrafwd.h::Extra_zddSimplify" ref="395fa276104491f1197fa840715abcba" args="(DdManager *dd, DdNode *F1, DdNode *F12)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSimplify </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>F12</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="edae91e69efb64b4d0b65038a2d61def"></a><!-- doxytag: member="extrafwd.h::Extra_zddSingleCoveredArea" ref="edae91e69efb64b4d0b65038a2d61def" args="(DdManager *dd, DdNode *zC)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSingleCoveredArea </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="223d8d0f4f184c4d5fc7c33c89d766bb"></a><!-- doxytag: member="extrafwd.h::Extra_zddSinglesToComb" ref="223d8d0f4f184c4d5fc7c33c89d766bb" args="(DdManager *dd, DdNode *Singles)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSinglesToComb </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>Singles</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="e71887adf63ff82b71f5752b931c2b42"></a><!-- doxytag: member="extrafwd.h::Extra_zddSubSet" ref="e71887adf63ff82b71f5752b931c2b42" args="(DdManager *dd, DdNode *X, DdNode *Y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSubSet </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>X</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>Y</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="CDDInterface_8h_source.html#l00780">polybori::CDDInterface< dd_base >::subSet()</a>.</p>
</div>
</div><p>
<a class="anchor" name="1c200309b6ca1abe43ac36de9ab8da2a"></a><!-- doxytag: member="extrafwd.h::Extra_zddSupercubes" ref="1c200309b6ca1abe43ac36de9ab8da2a" args="(DdManager *dd, DdNode *zA, DdNode *zB)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSupercubes </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zA</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zB</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="4d7756c43cdee777ac3b3c97974a991a"></a><!-- doxytag: member="extrafwd.h::Extra_zddSupSet" ref="4d7756c43cdee777ac3b3c97974a991a" args="(DdManager *dd, DdNode *X, DdNode *Y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddSupSet </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>X</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>Y</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="CDDInterface_8h_source.html#l00788">polybori::CDDInterface< dd_base >::supSet()</a>.</p>
</div>
</div><p>
<a class="anchor" name="582bb0b9c4c265b9a557fe8c9d01c19e"></a><!-- doxytag: member="extrafwd.h::Extra_zddTestCubeFree" ref="582bb0b9c4c265b9a557fe8c9d01c19e" args="(DdManager *dd, DdNode *zCover)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int Extra_zddTestCubeFree </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zCover</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="a7bc51789cddc5d4969f28a87e32c3bb"></a><!-- doxytag: member="extrafwd.h::Extra_zddTuples" ref="a7bc51789cddc5d4969f28a87e32c3bb" args="(DdManager *dd, int K, DdNode *zVarsN)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddTuples </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>K</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zVarsN</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="ae96bf627f9b515ccde340baa124127e"></a><!-- doxytag: member="extrafwd.h::Extra_zddTuplesFromBdd" ref="ae96bf627f9b515ccde340baa124127e" args="(DdManager *dd, int K, DdNode *bVarsN)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddTuplesFromBdd </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>K</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bVarsN</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="b3e9d664e7fbbb038b0427a031d883ca"></a><!-- doxytag: member="extrafwd.h::Extra_zddUnionExor" ref="b3e9d664e7fbbb038b0427a031d883ca" args="(DdManager *dd, DdNode *S, DdNode *T)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddUnionExor </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>S</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>T</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="CDDInterface_8h_source.html#l00533">polybori::CDDInterface< dd_base >::Xor()</a>.</p>
</div>
</div><p>
<a class="anchor" name="a77b31754d0ee042394aaaa5aadb5088"></a><!-- doxytag: member="extrafwd.h::Extra_zddUniverse" ref="a77b31754d0ee042394aaaa5aadb5088" args="(DdManager *dd, DdNode *VarSet)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddUniverse </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>VarSet</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="af4480fb7697e6ad9d142276d9dfc30b"></a><!-- doxytag: member="extrafwd.h::Extra_zddVariable" ref="af4480fb7697e6ad9d142276d9dfc30b" args="(DdManager *dd, int iVar)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* Extra_zddVariable </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"> <em>iVar</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="abb6706d45c584fd9ecaa6f7c44d4e96"></a><!-- doxytag: member="extrafwd.h::extraZddNotContainedCubesOverArea" ref="abb6706d45c584fd9ecaa6f7c44d4e96" args="(DdManager *dd, DdNode *zC, DdNode *zD, DdNode *bA)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">DdNode* extraZddNotContainedCubesOverArea </td>
<td>(</td>
<td class="paramtype">DdManager * </td>
<td class="paramname"> <em>dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zC</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>zD</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">DdNode * </td>
<td class="paramname"> <em>bA</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
</div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:59 2009 for PolyBoRi by
<a href="http://www.doxygen.org/index.html">
<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.9 </small></address>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
a24e1a39141f9b4ca49bd1e2e23a54ba
>
files
>
643
