Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > a24e1a39141f9b4ca49bd1e2e23a54ba > files > 250

polybori-doc-0.5rc.p9-6mdv2010.0.i586.rpm

<!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::CDDManager&lt; CCuddInterface &amp; &gt; 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&nbsp;Page</span></a></li>
      <li><a href="pages.html"><span>Related&nbsp;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&nbsp;List</span></a></li>
      <li><a href="hierarchy.html"><span>Class&nbsp;Hierarchy</span></a></li>
      <li><a href="functions.html"><span>Class&nbsp;Members</span></a></li>
    </ul>
  </div>
  <div class="navpath"><a class="el" href="namespacepolybori.html">polybori</a>::<a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">CDDManager&lt; CCuddInterface &amp; &gt;</a>
  </div>
</div>
<div class="contents">
<h1>polybori::CDDManager&lt; CCuddInterface &amp; &gt; Class Template Reference</h1><!-- doxytag: class="polybori::CDDManager&lt; CCuddInterface &amp; &gt;" --><!-- doxytag: inherits="CDDManagerBase&lt; CCuddInterface, const CCuddInterface &amp; &gt;" --><code>#include &lt;<a class="el" href="CDDManager_8h_source.html">CDDManager.h</a>&gt;</code>
<p>
<div class="dynheader">
Inheritance diagram for polybori::CDDManager&lt; CCuddInterface &amp; &gt;:</div>
<div class="dynsection">

<p><center><img src="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.png" usemap="#polybori::CDDManager< CCuddInterface & >_map" border="0" alt=""></center>
<map name="polybori::CDDManager< CCuddInterface & >_map">
<area href="classpolybori_1_1CDDManagerBase.html" alt="polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & >" shape="rect" coords="0,0,430,24">
</map>
</div>

<p>
<a href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4-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 <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#1bd3e3f48f3f6f04212517cecf86189a">manager_type</a></td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef const <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp;&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#1dc28e8ba109592c1ffc1a43d6d9901a">storage_type</a></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">
&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">manager_type</a>, <a class="el" href="classpolybori_1_1CCuddInterface.html">storage_type</a> &gt;&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#0da74166e91fb1c3fc8eab7b269bcf62">base</a></td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classCDDManager.html">CDDManager</a><br class="typebreak">
&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#a58069aec0d228810e564f3807ccaa98">self</a></td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Generic access to type of *this.  <a href="#a58069aec0d228810e564f3807ccaa98"></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">&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#e524e57e1d965b05d40856419dc2cda6">CDDManager</a> (const <a class="el" href="classpolybori_1_1CCuddInterface.html">manager_type</a> &amp;rhs)</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Constructor reference of given manager.  <a href="#e524e57e1d965b05d40856419dc2cda6"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#ae869f27cbed27104950514bb259e1d8">CDDManager</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> &amp;dd)</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Extract manager from given decision diagram.  <a href="#ae869f27cbed27104950514bb259e1d8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#bfd7aebe95cdabc9e7e35465465183e9">CDDManager</a> (const <a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">self</a> &amp;rhs)</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Copy constructor.  <a href="#bfd7aebe95cdabc9e7e35465465183e9"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#6a29d660592b13fa72fec04b806db238">~CDDManager</a> ()</td></tr>

</table>
<h3>template&lt;&gt;<br>
 class polybori::CDDManager&lt; CCuddInterface &amp; &gt;</h3>

<hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="0da74166e91fb1c3fc8eab7b269bcf62"></a><!-- doxytag: member="polybori::CDDManager&lt; CCuddInterface &amp; &gt;::base" ref="0da74166e91fb1c3fc8eab7b269bcf62" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef <a class="el" href="classpolybori_1_1CDDManagerBase.html">CDDManagerBase</a>&lt;<a class="el" href="classpolybori_1_1CCuddInterface.html">manager_type</a>, <a class="el" href="classpolybori_1_1CCuddInterface.html">storage_type</a>&gt; polybori::CDDManager&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;::<a class="el" href="classpolybori_1_1CDDManagerBase.html">base</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>

</div>
</div><p>
<a class="anchor" name="1bd3e3f48f3f6f04212517cecf86189a"></a><!-- doxytag: member="polybori::CDDManager&lt; CCuddInterface &amp; &gt;::manager_type" ref="1bd3e3f48f3f6f04212517cecf86189a" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> polybori::CDDManager&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;::<a class="el" href="classpolybori_1_1CCuddInterface.html">manager_type</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>

</div>
</div><p>
<a class="anchor" name="a58069aec0d228810e564f3807ccaa98"></a><!-- doxytag: member="polybori::CDDManager&lt; CCuddInterface &amp; &gt;::self" ref="a58069aec0d228810e564f3807ccaa98" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef <a class="el" href="classCDDManager.html">CDDManager</a>&lt;<a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a>&amp;&gt; polybori::CDDManager&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;::<a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">self</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Generic access to type of *this. 
<p>

<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDManagerBase.html#047d8b93837a36dec8c90e54a093f622">polybori::CDDManagerBase&lt; CCuddInterface, const CCuddInterface &amp; &gt;</a>.</p>

</div>
</div><p>
<a class="anchor" name="1dc28e8ba109592c1ffc1a43d6d9901a"></a><!-- doxytag: member="polybori::CDDManager&lt; CCuddInterface &amp; &gt;::storage_type" ref="1dc28e8ba109592c1ffc1a43d6d9901a" args="" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef const <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a>&amp; polybori::CDDManager&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;::<a class="el" href="classpolybori_1_1CCuddInterface.html">storage_type</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>

</div>
</div><p>
<hr><h2>Constructor &amp; Destructor Documentation</h2>
<a class="anchor" name="e524e57e1d965b05d40856419dc2cda6"></a><!-- doxytag: member="polybori::CDDManager&lt; CCuddInterface &amp; &gt;::CDDManager" ref="e524e57e1d965b05d40856419dc2cda6" args="(const manager_type &amp;rhs)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">polybori::CDDManager&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;::<a class="el" href="classCDDManager.html">CDDManager</a>           </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddInterface.html">manager_type</a> &amp;&nbsp;</td>
          <td class="paramname"> <em>rhs</em>          </td>
          <td>&nbsp;)&nbsp;</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Constructor reference of given manager. 
<p>

</div>
</div><p>
<a class="anchor" name="ae869f27cbed27104950514bb259e1d8"></a><!-- doxytag: member="polybori::CDDManager&lt; CCuddInterface &amp; &gt;::CDDManager" ref="ae869f27cbed27104950514bb259e1d8" args="(const dd_type &amp;dd)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">polybori::CDDManager&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;::<a class="el" href="classCDDManager.html">CDDManager</a>           </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> &amp;&nbsp;</td>
          <td class="paramname"> <em>dd</em>          </td>
          <td>&nbsp;)&nbsp;</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="bfd7aebe95cdabc9e7e35465465183e9"></a><!-- doxytag: member="polybori::CDDManager&lt; CCuddInterface &amp; &gt;::CDDManager" ref="bfd7aebe95cdabc9e7e35465465183e9" args="(const self &amp;rhs)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">polybori::CDDManager&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;::<a class="el" href="classCDDManager.html">CDDManager</a>           </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">self</a> &amp;&nbsp;</td>
          <td class="paramname"> <em>rhs</em>          </td>
          <td>&nbsp;)&nbsp;</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Copy constructor. 
<p>

</div>
</div><p>
<a class="anchor" name="6a29d660592b13fa72fec04b806db238"></a><!-- doxytag: member="polybori::CDDManager&lt; CCuddInterface &amp; &gt;::~CDDManager" ref="6a29d660592b13fa72fec04b806db238" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">polybori::CDDManager&lt; <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> &amp; &gt;::~<a class="el" href="classCDDManager.html">CDDManager</a>           </td>
          <td>(</td>
          <td class="paramname">          </td>
          <td>&nbsp;)&nbsp;</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<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&nbsp;
<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>