Sophie

Sophie

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

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::CIndexCacheHandle&lt; NaviType &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_1CIndexCacheHandle.html">CIndexCacheHandle</a>
  </div>
</div>
<div class="contents">
<h1>polybori::CIndexCacheHandle&lt; NaviType &gt; Class Template Reference</h1><!-- doxytag: class="polybori::CIndexCacheHandle" --><code>#include &lt;<a class="el" href="CDegreeCache_8h_source.html">CDegreeCache.h</a>&gt;</code>
<p>

<p>
<a href="classpolybori_1_1CIndexCacheHandle-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 NaviType&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a></td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Set actual storage type.  <a href="#72e55de0686121d64b58ef38543ad3c7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef navigator::bool_type&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#d1fca6cf997a67544a86c9ee54537eab">bool_type</a></td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Define type base.  <a href="#d1fca6cf997a67544a86c9ee54537eab"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef navigator::value_type&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#e6155c202a3f7b4836a916dd2bbdc50b">idx_type</a></td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Type for representing indices.  <a href="#e6155c202a3f7b4836a916dd2bbdc50b"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef navigator::size_type&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#ecbec27921266ef18456c982952b52d2">size_type</a></td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Type for representing size.  <a href="#ecbec27921266ef18456c982952b52d2"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddInterface.html">CTypes::manager_base</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#e841fea9464d4a2bce8979fdeca3ee24">manager_type</a></td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Type of decision diagram manager.  <a href="#e841fea9464d4a2bce8979fdeca3ee24"></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_1CIndexCacheHandle.html#43d6dd12a3633890943b798d7006adff">CIndexCacheHandle</a> (<a class="el" href="classpolybori_1_1CIndexCacheHandle.html#e6155c202a3f7b4836a916dd2bbdc50b">idx_type</a> idx, const <a class="el" href="classpolybori_1_1CCuddInterface.html">manager_type</a> &amp;mgr)</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Construct from index.  <a href="#43d6dd12a3633890943b798d7006adff"></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_1CIndexCacheHandle.html#3e36266d1d6d4c8cd7237379d870bf45">CIndexCacheHandle</a> (<a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a> navi)</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Construct from given navigator.  <a href="#3e36266d1d6d4c8cd7237379d870bf45"></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_1CIndexCacheHandle.html#5b12e510f5404ae966098e8d7dd10f1d">operator navigator</a> () const </td></tr>

<tr><td colspan="2"><br><h2>Protected Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#6dd3c3c80926ab8d1748735496ebe781">toNode</a> (<a class="el" href="classpolybori_1_1CIndexCacheHandle.html#e6155c202a3f7b4836a916dd2bbdc50b">idx_type</a> idx, const <a class="el" href="classpolybori_1_1CCuddInterface.html">manager_type</a> &amp;mgr) const </td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Convert plain number to navigation type.  <a href="#6dd3c3c80926ab8d1748735496ebe781"></a><br></td></tr>
<tr><td colspan="2"><br><h2>Protected Attributes</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#d61af37194b12e433dbba4626d978463">m_navi</a></td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">Actual navigator, which is stored.  <a href="#d61af37194b12e433dbba4626d978463"></a><br></td></tr>
</table>
<h3>template&lt;class NaviType&gt;<br>
 class polybori::CIndexCacheHandle&lt; NaviType &gt;</h3>

<hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="d1fca6cf997a67544a86c9ee54537eab"></a><!-- doxytag: member="polybori::CIndexCacheHandle::bool_type" ref="d1fca6cf997a67544a86c9ee54537eab" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">typedef navigator::bool_type <a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::<a class="el" href="classpolybori_1_1CIndexCacheHandle.html#d1fca6cf997a67544a86c9ee54537eab">bool_type</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Define type base. 
<p>
Plain Boolean type 
</div>
</div><p>
<a class="anchor" name="e6155c202a3f7b4836a916dd2bbdc50b"></a><!-- doxytag: member="polybori::CIndexCacheHandle::idx_type" ref="e6155c202a3f7b4836a916dd2bbdc50b" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">typedef navigator::value_type <a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::<a class="el" href="classpolybori_1_1CIndexCacheHandle.html#e6155c202a3f7b4836a916dd2bbdc50b">idx_type</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Type for representing indices. 
<p>

</div>
</div><p>
<a class="anchor" name="e841fea9464d4a2bce8979fdeca3ee24"></a><!-- doxytag: member="polybori::CIndexCacheHandle::manager_type" ref="e841fea9464d4a2bce8979fdeca3ee24" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddInterface.html">CTypes::manager_base</a> <a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::<a class="el" href="classpolybori_1_1CCuddInterface.html">manager_type</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Type of decision diagram manager. 
<p>

</div>
</div><p>
<a class="anchor" name="72e55de0686121d64b58ef38543ad3c7"></a><!-- doxytag: member="polybori::CIndexCacheHandle::navigator" ref="72e55de0686121d64b58ef38543ad3c7" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">typedef NaviType <a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::<a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Set actual storage type. 
<p>

</div>
</div><p>
<a class="anchor" name="ecbec27921266ef18456c982952b52d2"></a><!-- doxytag: member="polybori::CIndexCacheHandle::size_type" ref="ecbec27921266ef18456c982952b52d2" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">typedef navigator::size_type <a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::<a class="el" href="classpolybori_1_1CIndexCacheHandle.html#ecbec27921266ef18456c982952b52d2">size_type</a>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Type for representing size. 
<p>

</div>
</div><p>
<hr><h2>Constructor &amp; Destructor Documentation</h2>
<a class="anchor" name="43d6dd12a3633890943b798d7006adff"></a><!-- doxytag: member="polybori::CIndexCacheHandle::CIndexCacheHandle" ref="43d6dd12a3633890943b798d7006adff" args="(idx_type idx, const manager_type &amp;mgr)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::<a class="el" href="classpolybori_1_1CIndexCacheHandle.html">CIndexCacheHandle</a>           </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#e6155c202a3f7b4836a916dd2bbdc50b">idx_type</a>&nbsp;</td>
          <td class="paramname"> <em>idx</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></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>mgr</em></td><td>&nbsp;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td><td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Construct from index. 
<p>

</div>
</div><p>
<a class="anchor" name="3e36266d1d6d4c8cd7237379d870bf45"></a><!-- doxytag: member="polybori::CIndexCacheHandle::CIndexCacheHandle" ref="3e36266d1d6d4c8cd7237379d870bf45" args="(navigator navi)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::<a class="el" href="classpolybori_1_1CIndexCacheHandle.html">CIndexCacheHandle</a>           </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a>&nbsp;</td>
          <td class="paramname"> <em>navi</em>          </td>
          <td>&nbsp;)&nbsp;</td>
          <td><code> [inline, explicit]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Construct from given navigator. 
<p>

</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="5b12e510f5404ae966098e8d7dd10f1d"></a><!-- doxytag: member="polybori::CIndexCacheHandle::operator navigator" ref="5b12e510f5404ae966098e8d7dd10f1d" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::operator <a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a>           </td>
          <td>(</td>
          <td class="paramname">          </td>
          <td>&nbsp;)&nbsp;</td>
          <td> const<code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>

</div>
</div><p>
<a class="anchor" name="6dd3c3c80926ab8d1748735496ebe781"></a><!-- doxytag: member="polybori::CIndexCacheHandle::toNode" ref="6dd3c3c80926ab8d1748735496ebe781" args="(idx_type idx, const manager_type &amp;mgr) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a> <a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::toNode           </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#e6155c202a3f7b4836a916dd2bbdc50b">idx_type</a>&nbsp;</td>
          <td class="paramname"> <em>idx</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></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>mgr</em></td><td>&nbsp;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td><td> const<code> [inline, protected]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Convert plain number to navigation type. 
<p>

<p>References <a class="el" href="CCuddInterface_8h_source.html#l00337">polybori::CCuddInterface::getVar()</a>, <a class="el" href="pbori__defs_8h_source.html#l00174">LIKELY</a>, <a class="el" href="CCuddInterface_8h_source.html#l00343">polybori::CCuddInterface::nVariables()</a>, and <a class="el" href="CCuddInterface_8h_source.html#l00195">polybori::CCuddInterface::zddZero()</a>.</p>

</div>
</div><p>
<hr><h2>Member Data Documentation</h2>
<a class="anchor" name="d61af37194b12e433dbba4626d978463"></a><!-- doxytag: member="polybori::CIndexCacheHandle::m_navi" ref="d61af37194b12e433dbba4626d978463" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class NaviType &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html#72e55de0686121d64b58ef38543ad3c7">navigator</a> <a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle</a>&lt; NaviType &gt;::<a class="el" href="classpolybori_1_1CIndexCacheHandle.html#d61af37194b12e433dbba4626d978463">m_navi</a><code> [protected]</code>          </td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
Actual navigator, which is stored. 
<p>

</div>
</div><p>
<hr>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="CDegreeCache_8h_source.html">CDegreeCache.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>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional