<!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: Member List</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 class="current"><a href="annotated.html"><span>Classes</span></a></li> <li><a href="files.html"><span>Files</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="annotated.html"><span>Class List</span></a></li> <li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li> <li><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> </div> <div class="contents"> <h1>polybori::CDDManager< CCuddInterface & > Member List</h1>This is the complete list of members for <a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a>, including all inherited members.<p><table> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#0da74166e91fb1c3fc8eab7b269bcf62">base</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#f856431f8a08c75c2b2e0c9087c7a4df">blank</a>() const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#e524e57e1d965b05d40856419dc2cda6">CDDManager</a>(const manager_type &rhs)</td><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#ae869f27cbed27104950514bb259e1d8">CDDManager</a>(const dd_type &dd)</td><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#bfd7aebe95cdabc9e7e35465465183e9">CDDManager</a>(const self &rhs)</td><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#f454a05604bfe19f380a569efe242ec2">CDDManagerBase</a>(size_type nvars=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0)</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#ceadce8b20e5000e1bbb41207f90bd1f">CDDManagerBase</a>(const self &rhs)</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#9a86afaa258ea647507226439ec41b77">CDDManagerBase</a>(const interfaced_type &rhs)</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#b043de8d2de529f13e10ce33fa0a262c">CDDManagerBase</a>(const dd_type &dd)</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#7dee21f1e801c6b7caaf078dcc2b79e1">const_varname_reference</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#8dd479b2010cc503675d02047150f0c7">dd_type</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#c88a5f4a03a5d1ac60d2f502ecefe53a">ddVariable</a>(idx_type nvar) const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#cf97dcbb72a7349530e53ab52ec8ed3f">empty</a>() const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#d4be28e4cd0627b966413ab54d944114">fetchDiagram</a>(const dd_base &rhs) const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#26853626d70ec794c103f5ee7abafbf2">getVariableName</a>(idx_type idx) const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#cf3211fa9c7c044f12aa5ad4468b91c4">interfaced_store</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#365a2232c2dbe25ad00e3d86de3a63b3">manager</a>()</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#23b0b50958058e996d90882b71096627">manager</a>() const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#1bd3e3f48f3f6f04212517cecf86189a">manager_type</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#c696b0d81ba42d794bb971c0c591d6b9">nVariables</a>() const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#7b8c0300f3bc1ac217ced24e9157f756">operator const interfaced_type &</a>() const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#aae5a74c6dc8f2107f04a97c18df8f05">operator interfaced_type &</a>()</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#9739ed900aafac1e88cf97ad2e1f329c">persistent_cache_type</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#3dfe9aa1a49a1362ed4ca702982da6ae">persistentVariable</a>(idx_type nvar) const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#49f3150154da7c4ba7b3b829464c0949">printInfo</a>() const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#a58069aec0d228810e564f3807ccaa98">self</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#1742e18a23d82739e30c758ae6fd1982">setVariableName</a>(idx_type idx, const_varname_reference varname)</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#1dc28e8ba109592c1ffc1a43d6d9901a">storage_type</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#c1c9316374cd390d0454716dd30c35b9">variable</a>(idx_type nvar) const</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#e1e16ab8e834ceee0cae49a21d7383c2">variable_names_type</a> typedef</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#6a29d660592b13fa72fec04b806db238">~CDDManager</a>()</td><td><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classpolybori_1_1CDDManagerBase.html#7af9f658cecbf5e5bd9409195fcd1d23">~CDDManagerBase</a>()</td><td><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & ></a></td><td><code> [inline]</code></td></tr> </table></div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:02 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>