<!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: polybori::CDDManagerBase< CuddLikeManType, StorageType > Class Template 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 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 class="navpath"><a class="el" href="namespacepolybori.html">polybori</a>::<a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a>
</div>
</div>
<div class="contents">
<h1>polybori::CDDManagerBase< CuddLikeManType, StorageType > Class Template Reference</h1><!-- doxytag: class="polybori::CDDManagerBase" -->this specialization of the template class <a class="el" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to CCuddInterface's...">CDDManager</a> gives an interface to Cudd-like ZDD manager (StorageType = CuddLikeManType) or a reference of the latter (StorageType = CuddLikeManType&).
<a href="#_details">More...</a>
<p>
<code>#include <<a class="el" href="CDDManager_8h_source.html">CDDManager.h</a>></code>
<p>
<p>
<a href="classpolybori_1_1CDDManagerBase-members.html">List of all members.</a><table border="0" cellpadding="0" cellspacing="0">
<tr><td></td></tr>
<tr><td colspan="2"><br><h2>Public Types</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef CuddLikeManType </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Interfacing Cudd's or CCuddInterces's zero-suppressed decision diagram type. <a href="#3cef3831afa78cabb004c509a6eaf03a"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef StorageType </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cf3211fa9c7c044f12aa5ad4468b91c4">interfaced_store</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Storing interfaced_type or reference of it. <a href="#cf3211fa9c7c044f12aa5ad4468b91c4"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a><br class="typebreak">
< <a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a>, <br class="typebreak">
<a class="el" href="classpolybori_1_1CDDManagerBase.html#cf3211fa9c7c044f12aa5ad4468b91c4">interfaced_store</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#047d8b93837a36dec8c90e54a093f622">self</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to type of *this. <a href="#047d8b93837a36dec8c90e54a093f622"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">CTypes::size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define size type. <a href="#77ca7453561bc2cd5bfe226314d1f790"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">CTypes::idx_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define index type. <a href="#d277d30d12466772a45dba571342f5f5"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1manager__traits.html">manager_traits</a><br class="typebreak">
< <a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> >::<a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define raw type for decision diagrams. <a href="#cee64e69a3ad755deaf2ee4b417d83fd"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a>< <a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#8dd479b2010cc503675d02047150f0c7">dd_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define type for decision diagrams. <a href="#8dd479b2010cc503675d02047150f0c7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef std::map< <a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a>, <br class="typebreak">
<a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#9739ed900aafac1e88cf97ad2e1f329c">persistent_cache_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define type for caching persistent variables. <a href="#9739ed900aafac1e88cf97ad2e1f329c"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CVariableNames.html">CVariableNames</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#e1e16ab8e834ceee0cae49a21d7383c2">variable_names_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define type for storing names of variables. <a href="#e1e16ab8e834ceee0cae49a21d7383c2"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <br class="typebreak">
<a class="el" href="classpolybori_1_1CVariableNames.html#8a5e6b1affc37227dc3610a2d676da5c">variable_names_type::const_reference</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#7dee21f1e801c6b7caaf078dcc2b79e1">const_varname_reference</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define type for getting names of variables. <a href="#7dee21f1e801c6b7caaf078dcc2b79e1"></a><br></td></tr>
<tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#f454a05604bfe19f380a569efe242ec2">CDDManagerBase</a> (<a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> nvars=0, <a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> numSlots=CUDD_UNIQUE_SLOTS, <a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Default constructor. <a href="#f454a05604bfe19f380a569efe242ec2"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#ceadce8b20e5000e1bbb41207f90bd1f">CDDManagerBase</a> (const <a class="el" href="classpolybori_1_1CDDManagerBase.html">self</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Copy constructor. <a href="#ceadce8b20e5000e1bbb41207f90bd1f"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#9a86afaa258ea647507226439ec41b77">CDDManagerBase</a> (const <a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Constructor from given ring. <a href="#9a86afaa258ea647507226439ec41b77"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#b043de8d2de529f13e10ce33fa0a262c">CDDManagerBase</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> &dd)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Extract manager from given decision diagram. <a href="#b043de8d2de529f13e10ce33fa0a262c"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#7af9f658cecbf5e5bd9409195fcd1d23">~CDDManagerBase</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#7af9f658cecbf5e5bd9409195fcd1d23"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#d4be28e4cd0627b966413ab54d944114">fetchDiagram</a> (const <a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get decision diagram, from the same manager, but different wrapper. <a href="#d4be28e4cd0627b966413ab54d944114"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#c88a5f4a03a5d1ac60d2f502ecefe53a">ddVariable</a> (<a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> nvar) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Access nvar-th managed variable. <a href="#c88a5f4a03a5d1ac60d2f502ecefe53a"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#c1c9316374cd390d0454716dd30c35b9">variable</a> (<a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> nvar) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Access nvar-th managed variable. <a href="#c1c9316374cd390d0454716dd30c35b9"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#3dfe9aa1a49a1362ed4ca702982da6ae">persistentVariable</a> (<a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> nvar) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Access nvar-th managed variable. <a href="#3dfe9aa1a49a1362ed4ca702982da6ae"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#c696b0d81ba42d794bb971c0c591d6b9">nVariables</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get number of managed variables. <a href="#c696b0d81ba42d794bb971c0c591d6b9"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cf97dcbb72a7349530e53ab52ec8ed3f">empty</a> () const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#f856431f8a08c75c2b2e0c9087c7a4df">blank</a> () const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#aae5a74c6dc8f2107f04a97c18df8f05">operator interfaced_type &</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Casting operator to interfaced type. <a href="#aae5a74c6dc8f2107f04a97c18df8f05"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#7b8c0300f3bc1ac217ced24e9157f756">operator const interfaced_type &</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Constant casting operator to interfaced type. <a href="#7b8c0300f3bc1ac217ced24e9157f756"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#365a2232c2dbe25ad00e3d86de3a63b3">manager</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get interfaced type. <a href="#365a2232c2dbe25ad00e3d86de3a63b3"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">const <a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#23b0b50958058e996d90882b71096627">manager</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get interfaced type. <a href="#23b0b50958058e996d90882b71096627"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#49f3150154da7c4ba7b3b829464c0949">printInfo</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Print out statistics and settings for a decision diagram manager. <a href="#49f3150154da7c4ba7b3b829464c0949"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#1742e18a23d82739e30c758ae6fd1982">setVariableName</a> (<a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> idx, <a class="el" href="classpolybori_1_1CDDManagerBase.html#7dee21f1e801c6b7caaf078dcc2b79e1">const_varname_reference</a> varname)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Set name of variable with index idx. <a href="#1742e18a23d82739e30c758ae6fd1982"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDManagerBase.html#7dee21f1e801c6b7caaf078dcc2b79e1">const_varname_reference</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManagerBase.html#26853626d70ec794c103f5ee7abafbf2">getVariableName</a> (<a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> idx) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get name of variable with index idx. <a href="#26853626d70ec794c103f5ee7abafbf2"></a><br></td></tr>
</table>
<hr><a name="_details"></a><h2>Detailed Description</h2>
<h3>template<class CuddLikeManType, class StorageType><br>
class polybori::CDDManagerBase< CuddLikeManType, StorageType ></h3>
this specialization of the template class <a class="el" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to CCuddInterface's...">CDDManager</a> gives an interface to Cudd-like ZDD manager (StorageType = CuddLikeManType) or a reference of the latter (StorageType = CuddLikeManType&).
<p>
<dl class="note" compact><dt><b>Note:</b></dt><dd>Currently CuddLikeManType may be Cudd or <a class="el" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD's decicion diagram manager.">CCuddInterface</a> </dd></dl>
<dl class="todo" compact><dt><b><a class="el" href="todo.html#_todo000006">Todo:</a></b></dt><dd>This may need clean up and/or generalization </dd></dl>
<hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="7dee21f1e801c6b7caaf078dcc2b79e1"></a><!-- doxytag: member="polybori::CDDManagerBase::const_varname_reference" ref="7dee21f1e801c6b7caaf078dcc2b79e1" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CVariableNames.html#8a5e6b1affc37227dc3610a2d676da5c">variable_names_type::const_reference</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html#7dee21f1e801c6b7caaf078dcc2b79e1">const_varname_reference</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define type for getting names of variables.
<p>
</div>
</div><p>
<a class="anchor" name="cee64e69a3ad755deaf2ee4b417d83fd"></a><!-- doxytag: member="polybori::CDDManagerBase::dd_base" ref="cee64e69a3ad755deaf2ee4b417d83fd" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1manager__traits.html">manager_traits</a><<a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a>>::<a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define raw type for decision diagrams.
<p>
</div>
</div><p>
<a class="anchor" name="8dd479b2010cc503675d02047150f0c7"></a><!-- doxytag: member="polybori::CDDManagerBase::dd_type" ref="8dd479b2010cc503675d02047150f0c7" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a><<a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a>> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define type for decision diagrams.
<p>
</div>
</div><p>
<a class="anchor" name="d277d30d12466772a45dba571342f5f5"></a><!-- doxytag: member="polybori::CDDManagerBase::idx_type" ref="d277d30d12466772a45dba571342f5f5" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">CTypes::idx_type</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define index type.
<p>
</div>
</div><p>
<a class="anchor" name="cf3211fa9c7c044f12aa5ad4468b91c4"></a><!-- doxytag: member="polybori::CDDManagerBase::interfaced_store" ref="cf3211fa9c7c044f12aa5ad4468b91c4" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef StorageType <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html#cf3211fa9c7c044f12aa5ad4468b91c4">interfaced_store</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Storing interfaced_type or reference of it.
<p>
</div>
</div><p>
<a class="anchor" name="3cef3831afa78cabb004c509a6eaf03a"></a><!-- doxytag: member="polybori::CDDManagerBase::interfaced_type" ref="3cef3831afa78cabb004c509a6eaf03a" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef CuddLikeManType <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Interfacing Cudd's or CCuddInterces's zero-suppressed decision diagram type.
<p>
</div>
</div><p>
<a class="anchor" name="9739ed900aafac1e88cf97ad2e1f329c"></a><!-- doxytag: member="polybori::CDDManagerBase::persistent_cache_type" ref="9739ed900aafac1e88cf97ad2e1f329c" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef std::map<<a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a>, <a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a>> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html#9739ed900aafac1e88cf97ad2e1f329c">persistent_cache_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define type for caching persistent variables.
<p>
</div>
</div><p>
<a class="anchor" name="047d8b93837a36dec8c90e54a093f622"></a><!-- doxytag: member="polybori::CDDManagerBase::self" ref="047d8b93837a36dec8c90e54a093f622" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a><<a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a>, <a class="el" href="classpolybori_1_1CDDManagerBase.html#cf3211fa9c7c044f12aa5ad4468b91c4">interfaced_store</a>> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html">self</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Generic access to type of *this.
<p>
<p>Reimplemented in <a class="el" href="classpolybori_1_1CDDManager_3_01Cudd_01_6_01_4.html#0dd0b67e52cf7972ee74a596a303a3b0">polybori::CDDManager< Cudd & ></a>, <a class="el" href="classpolybori_1_1CDDManager_3_01Cudd_01_4.html#fc5bf9b1e97e7c0bf1e4ad02b2d910a3">polybori::CDDManager< Cudd ></a>, <a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#a58069aec0d228810e564f3807ccaa98">polybori::CDDManager< CCuddInterface & ></a>, and <a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_4.html#8bf24df99cf958c3ba3401db413d662c">polybori::CDDManager< CCuddInterface ></a>.</p>
</div>
</div><p>
<a class="anchor" name="77ca7453561bc2cd5bfe226314d1f790"></a><!-- doxytag: member="polybori::CDDManagerBase::size_type" ref="77ca7453561bc2cd5bfe226314d1f790" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">CTypes::size_type</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define size type.
<p>
</div>
</div><p>
<a class="anchor" name="e1e16ab8e834ceee0cae49a21d7383c2"></a><!-- doxytag: member="polybori::CDDManagerBase::variable_names_type" ref="e1e16ab8e834ceee0cae49a21d7383c2" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CVariableNames.html">CVariableNames</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CVariableNames.html">variable_names_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define type for storing names of variables.
<p>
</div>
</div><p>
<hr><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" name="f454a05604bfe19f380a569efe242ec2"></a><!-- doxytag: member="polybori::CDDManagerBase::CDDManagerBase" ref="f454a05604bfe19f380a569efe242ec2" args="(size_type nvars=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a> </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> </td>
<td class="paramname"> <em>nvars</em> = <code>0</code>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> </td>
<td class="paramname"> <em>numSlots</em> = <code>CUDD_UNIQUE_SLOTS</code>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> </td>
<td class="paramname"> <em>cacheSize</em> = <code>CUDD_CACHE_SLOTS</code>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned long </td>
<td class="paramname"> <em>maxMemory</em> = <code>0</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Default constructor.
<p>
</div>
</div><p>
<a class="anchor" name="ceadce8b20e5000e1bbb41207f90bd1f"></a><!-- doxytag: member="polybori::CDDManagerBase::CDDManagerBase" ref="ceadce8b20e5000e1bbb41207f90bd1f" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a> </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CDDManagerBase.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Copy constructor.
<p>
</div>
</div><p>
<a class="anchor" name="9a86afaa258ea647507226439ec41b77"></a><!-- doxytag: member="polybori::CDDManagerBase::CDDManagerBase" ref="9a86afaa258ea647507226439ec41b77" args="(const interfaced_type &rhs)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a> </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Constructor from given ring.
<p>
</div>
</div><p>
<a class="anchor" name="b043de8d2de529f13e10ce33fa0a262c"></a><!-- doxytag: member="polybori::CDDManagerBase::CDDManagerBase" ref="b043de8d2de529f13e10ce33fa0a262c" args="(const dd_type &dd)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::<a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a> </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> & </td>
<td class="paramname"> <em>dd</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Extract manager from given decision diagram.
<p>
</div>
</div><p>
<a class="anchor" name="7af9f658cecbf5e5bd9409195fcd1d23"></a><!-- doxytag: member="polybori::CDDManagerBase::~CDDManagerBase" ref="7af9f658cecbf5e5bd9409195fcd1d23" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::~<a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a> </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Destructor.
<p>
</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="f856431f8a08c75c2b2e0c9087c7a4df"></a><!-- doxytag: member="polybori::CDDManagerBase::blank" ref="f856431f8a08c75c2b2e0c9087c7a4df" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::blank </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get decision diagram with all variables negated <dl class="note" compact><dt><b>Note:</b></dt><dd>Set containing the empty set only (or the constant polynomial one) </dd></dl>
</div>
</div><p>
<a class="anchor" name="c88a5f4a03a5d1ac60d2f502ecefe53a"></a><!-- doxytag: member="polybori::CDDManagerBase::ddVariable" ref="c88a5f4a03a5d1ac60d2f502ecefe53a" args="(idx_type nvar) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::ddVariable </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> </td>
<td class="paramname"> <em>nvar</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Access nvar-th managed variable.
<p>
</div>
</div><p>
<a class="anchor" name="cf97dcbb72a7349530e53ab52ec8ed3f"></a><!-- doxytag: member="polybori::CDDManagerBase::empty" ref="cf97dcbb72a7349530e53ab52ec8ed3f" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::empty </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get empty decision diagram <dl class="note" compact><dt><b>Note:</b></dt><dd>Corresponds to the empty set (or the zero polynomial) </dd></dl>
</div>
</div><p>
<a class="anchor" name="d4be28e4cd0627b966413ab54d944114"></a><!-- doxytag: member="polybori::CDDManagerBase::fetchDiagram" ref="d4be28e4cd0627b966413ab54d944114" args="(const dd_base &rhs) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::fetchDiagram </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get decision diagram, from the same manager, but different wrapper.
<p>
</div>
</div><p>
<a class="anchor" name="26853626d70ec794c103f5ee7abafbf2"></a><!-- doxytag: member="polybori::CDDManagerBase::getVariableName" ref="26853626d70ec794c103f5ee7abafbf2" args="(idx_type idx) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html#7dee21f1e801c6b7caaf078dcc2b79e1">const_varname_reference</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::getVariableName </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get name of variable with index idx.
<p>
</div>
</div><p>
<a class="anchor" name="23b0b50958058e996d90882b71096627"></a><!-- doxytag: member="polybori::CDDManagerBase::manager" ref="23b0b50958058e996d90882b71096627" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">const <a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a>& <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::manager </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get interfaced type.
<p>
</div>
</div><p>
<a class="anchor" name="365a2232c2dbe25ad00e3d86de3a63b3"></a><!-- doxytag: member="polybori::CDDManagerBase::manager" ref="365a2232c2dbe25ad00e3d86de3a63b3" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a>& <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::manager </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get interfaced type.
<p>
</div>
</div><p>
<a class="anchor" name="c696b0d81ba42d794bb971c0c591d6b9"></a><!-- doxytag: member="polybori::CDDManagerBase::nVariables" ref="c696b0d81ba42d794bb971c0c591d6b9" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html#77ca7453561bc2cd5bfe226314d1f790">size_type</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::nVariables </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get number of managed variables.
<p>
</div>
</div><p>
<a class="anchor" name="7b8c0300f3bc1ac217ced24e9157f756"></a><!-- doxytag: member="polybori::CDDManagerBase::operator const interfaced_type &" ref="7b8c0300f3bc1ac217ced24e9157f756" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::operator const <a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> & </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Constant casting operator to interfaced type.
<p>
</div>
</div><p>
<a class="anchor" name="aae5a74c6dc8f2107f04a97c18df8f05"></a><!-- doxytag: member="polybori::CDDManagerBase::operator interfaced_type &" ref="aae5a74c6dc8f2107f04a97c18df8f05" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::operator <a class="el" href="classpolybori_1_1CDDManagerBase.html#3cef3831afa78cabb004c509a6eaf03a">interfaced_type</a> & </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Casting operator to interfaced type.
<p>
</div>
</div><p>
<a class="anchor" name="3dfe9aa1a49a1362ed4ca702982da6ae"></a><!-- doxytag: member="polybori::CDDManagerBase::persistentVariable" ref="3dfe9aa1a49a1362ed4ca702982da6ae" args="(idx_type nvar) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::persistentVariable </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> </td>
<td class="paramname"> <em>nvar</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Access nvar-th managed variable.
<p>
</div>
</div><p>
<a class="anchor" name="49f3150154da7c4ba7b3b829464c0949"></a><!-- doxytag: member="polybori::CDDManagerBase::printInfo" ref="49f3150154da7c4ba7b3b829464c0949" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">void <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::printInfo </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Print out statistics and settings for a decision diagram manager.
<p>
</div>
</div><p>
<a class="anchor" name="1742e18a23d82739e30c758ae6fd1982"></a><!-- doxytag: member="polybori::CDDManagerBase::setVariableName" ref="1742e18a23d82739e30c758ae6fd1982" args="(idx_type idx, const_varname_reference varname)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname">void <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::setVariableName </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> </td>
<td class="paramname"> <em>idx</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#7dee21f1e801c6b7caaf078dcc2b79e1">const_varname_reference</a> </td>
<td class="paramname"> <em>varname</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Set name of variable with index idx.
<p>
</div>
</div><p>
<a class="anchor" name="c1c9316374cd390d0454716dd30c35b9"></a><!-- doxytag: member="polybori::CDDManagerBase::variable" ref="c1c9316374cd390d0454716dd30c35b9" args="(idx_type nvar) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class CuddLikeManType, class StorageType> </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDManagerBase.html#cee64e69a3ad755deaf2ee4b417d83fd">dd_base</a> <a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase</a>< CuddLikeManType, StorageType >::variable </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDManagerBase.html#d277d30d12466772a45dba571342f5f5">idx_type</a> </td>
<td class="paramname"> <em>nvar</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Access nvar-th managed variable.
<p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="CDDManager_8h_source.html">CDDManager.h</a></ul>
</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>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
a24e1a39141f9b4ca49bd1e2e23a54ba
>
files
>
245
