<!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::CCuddCore Class 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_1CCuddCore.html">CCuddCore</a>
</div>
</div>
<div class="contents">
<h1>polybori::CCuddCore Class Reference</h1><!-- doxytag: class="polybori::CCuddCore" -->This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers.
<a href="#_details">More...</a>
<p>
<code>#include <<a class="el" href="CCuddCore_8h_source.html">CCuddCore.h</a>></code>
<p>
<p>
<a href="classpolybori_1_1CCuddCore-members.html">List of all members.</a><table border="0" cellpadding="0" cellspacing="0">
<tr><td></td></tr>
<tr><td colspan="2"><br><h2>Get CUDD-related type definitions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#1156f672b6677c7b25350729b88e1f1a">errorfunc_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#1156f672b6677c7b25350729b88e1f1a">errorfunc_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#1d099780efc89342267e4c4173a3eb52">large_size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#1d099780efc89342267e4c4173a3eb52">large_size_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#91a2127db4890d11b34f4653f60393af">refcount_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#91a2127db4890d11b34f4653f60393af">refcount_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#77015122af98d17b7cca612a149cd89d">node_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#77015122af98d17b7cca612a149cd89d">node_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#b6f8393780cb249c495880d919e09558">mgrcore_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#b6f8393780cb249c495880d919e09558">mgrcore_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#d36c3a51f91d424038ad6cd380af6326">unary_int_function</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#d36c3a51f91d424038ad6cd380af6326">unary_int_function</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#26360a33fa8a030b055db06f81f75f7f">void_function</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#26360a33fa8a030b055db06f81f75f7f">void_function</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#0fea615421e42e625943fe3225844b80">binary_function</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#0fea615421e42e625943fe3225844b80">binary_function</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#21c98ff4d498b7a19bbbeb24e4c827ab">binary_int_function</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#21c98ff4d498b7a19bbbeb24e4c827ab">binary_int_function</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#5d05258f119e954d300f578eb3d9cbb1">ternary_function</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#5d05258f119e954d300f578eb3d9cbb1">ternary_function</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#d553ab433d565a3f507da96e903ae59c">int_unary_function</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#d553ab433d565a3f507da96e903ae59c">int_unary_function</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef mgrcore_traits< Cudd ><br class="typebreak">
::<a class="el" href="classpolybori_1_1CCuddCore.html#92df9972546cc26db8e44ec45ae9f359">idx_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#92df9972546cc26db8e44ec45ae9f359">idx_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddCore.html">CCuddCore</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#3f602e8ee24382452897eec445aaa8be">self</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Fix type of *this. <a href="#3f602e8ee24382452897eec445aaa8be"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef boost::intrusive_ptr<br class="typebreak">
< <a class="el" href="classpolybori_1_1CCuddCore.html">self</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#e019decfc7c24d36400cf8bf9c5f8f60">mgrcore_ptr</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Fix type for supported smart pointer. <a href="#e019decfc7c24d36400cf8bf9c5f8f60"></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_1CCuddCore.html#b481b743d7413ed9acfa1a6f98339025">variable_names_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define type for storing names of variables. <a href="#b481b743d7413ed9acfa1a6f98339025"></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_1CCuddCore.html#cad3c6d27f6a9a9b720810e54f2b262f">const_varname_reference</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define type for getting names of variables. <a href="#cad3c6d27f6a9a9b720810e54f2b262f"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddCore.html#b6f8393780cb249c495880d919e09558">mgrcore_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#7ef736a89183d7e6bd926f60de97f8dd">manager</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Current raw decision diagram management. <a href="#7ef736a89183d7e6bd926f60de97f8dd"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddCore.html#91a2127db4890d11b34f4653f60393af">refcount_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#46334721a02ee80a7d1f9faf33482974">ref</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Count instances pointing here. <a href="#46334721a02ee80a7d1f9faf33482974"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CVariableNames.html">variable_names_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#18b22c182e61079830a3a6aa97e076b7">m_names</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Stores names of variables. <a href="#18b22c182e61079830a3a6aa97e076b7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">std::vector< <a class="el" href="classpolybori_1_1CCuddCore.html#77015122af98d17b7cca612a149cd89d">node_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#9f6991e1d6c73dfd2543ada02a8f6d89">m_vars</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static <a class="el" href="classpolybori_1_1CCuddCore.html#1156f672b6677c7b25350729b88e1f1a">errorfunc_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#5fb2f63e4a9598c00ffcf0b339810d73">errorHandler</a> = defaultError</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Functions for handling errors from CUDD functions. <a href="#5fb2f63e4a9598c00ffcf0b339810d73"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#9e092b03039e4c687f81097b07ab05f0">verbose</a> = 0</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Control eloquence of CUDD functionality. <a href="#9e092b03039e4c687f81097b07ab05f0"></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_1CCuddCore.html#dda0b4a13cb75e82f8caffebce4049e8">CCuddCore</a> (<a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a> numVars=0, <a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a> numVarsZ=0, <a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a> numSlots=CUDD_UNIQUE_SLOTS, <a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a> cacheSize=CUDD_CACHE_SLOTS, <a class="el" href="classpolybori_1_1CCuddCore.html#1d099780efc89342267e4c4173a3eb52">large_size_type</a> maxMemory=0)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Initialize raw decision diagram management. <a href="#dda0b4a13cb75e82f8caffebce4049e8"></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_1CCuddCore.html#ebc4c396c2598a7b130ca857199b323c">~CCuddCore</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#ebc4c396c2598a7b130ca857199b323c"></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_1CCuddCore.html#4acf905d615867263eb2f439335be607">addRef</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Increment reference count. <a href="#4acf905d615867263eb2f439335be607"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddCore.html#91a2127db4890d11b34f4653f60393af">refcount_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddCore.html#8f314fd0e62db211609f0ad441d18e98">release</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Release this by decrementing reference counting. <a href="#8f314fd0e62db211609f0ad441d18e98"></a><br></td></tr>
</table>
<hr><a name="_details"></a><h2>Detailed Description</h2>
This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers.
<p>
The purpose of this wrapper is mainly to provide the necessary functionality for application of intrisive pointers (refernce counting). In addition, some global settings are stored within.<p>
<dl class="attention" compact><dt><b>Attention:</b></dt><dd>This class is intented for internal use only. See CCuddDD, <a class="el" href="classpolybori_1_1CCuddZDD.html" title="This class defines a C++ interface to CUDD's zero-suppressed decision diagram...">CCuddZDD</a>, and <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>
<hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="0fea615421e42e625943fe3225844b80"></a><!-- doxytag: member="polybori::CCuddCore::binary_function" ref="0fea615421e42e625943fe3225844b80" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#0fea615421e42e625943fe3225844b80">binary_function</a> <a class="el" href="classpolybori_1_1CCuddCore.html#0fea615421e42e625943fe3225844b80">polybori::CCuddCore::binary_function</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="21c98ff4d498b7a19bbbeb24e4c827ab"></a><!-- doxytag: member="polybori::CCuddCore::binary_int_function" ref="21c98ff4d498b7a19bbbeb24e4c827ab" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#21c98ff4d498b7a19bbbeb24e4c827ab">binary_int_function</a> <a class="el" href="classpolybori_1_1CCuddCore.html#21c98ff4d498b7a19bbbeb24e4c827ab">polybori::CCuddCore::binary_int_function</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="cad3c6d27f6a9a9b720810e54f2b262f"></a><!-- doxytag: member="polybori::CCuddCore::const_varname_reference" ref="cad3c6d27f6a9a9b720810e54f2b262f" args="" -->
<div class="memitem">
<div class="memproto">
<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_1CCuddCore.html#cad3c6d27f6a9a9b720810e54f2b262f">polybori::CCuddCore::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="1156f672b6677c7b25350729b88e1f1a"></a><!-- doxytag: member="polybori::CCuddCore::errorfunc_type" ref="1156f672b6677c7b25350729b88e1f1a" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#1156f672b6677c7b25350729b88e1f1a">errorfunc_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#1156f672b6677c7b25350729b88e1f1a">polybori::CCuddCore::errorfunc_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="92df9972546cc26db8e44ec45ae9f359"></a><!-- doxytag: member="polybori::CCuddCore::idx_type" ref="92df9972546cc26db8e44ec45ae9f359" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#92df9972546cc26db8e44ec45ae9f359">idx_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#92df9972546cc26db8e44ec45ae9f359">polybori::CCuddCore::idx_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="d553ab433d565a3f507da96e903ae59c"></a><!-- doxytag: member="polybori::CCuddCore::int_unary_function" ref="d553ab433d565a3f507da96e903ae59c" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#d553ab433d565a3f507da96e903ae59c">int_unary_function</a> <a class="el" href="classpolybori_1_1CCuddCore.html#d553ab433d565a3f507da96e903ae59c">polybori::CCuddCore::int_unary_function</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="1d099780efc89342267e4c4173a3eb52"></a><!-- doxytag: member="polybori::CCuddCore::large_size_type" ref="1d099780efc89342267e4c4173a3eb52" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#1d099780efc89342267e4c4173a3eb52">large_size_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#1d099780efc89342267e4c4173a3eb52">polybori::CCuddCore::large_size_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="e019decfc7c24d36400cf8bf9c5f8f60"></a><!-- doxytag: member="polybori::CCuddCore::mgrcore_ptr" ref="e019decfc7c24d36400cf8bf9c5f8f60" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef boost::intrusive_ptr<<a class="el" href="classpolybori_1_1CCuddCore.html">self</a>> <a class="el" href="classpolybori_1_1CCuddCore.html#e019decfc7c24d36400cf8bf9c5f8f60">polybori::CCuddCore::mgrcore_ptr</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Fix type for supported smart pointer.
<p>
</div>
</div><p>
<a class="anchor" name="b6f8393780cb249c495880d919e09558"></a><!-- doxytag: member="polybori::CCuddCore::mgrcore_type" ref="b6f8393780cb249c495880d919e09558" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#b6f8393780cb249c495880d919e09558">mgrcore_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#b6f8393780cb249c495880d919e09558">polybori::CCuddCore::mgrcore_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="77015122af98d17b7cca612a149cd89d"></a><!-- doxytag: member="polybori::CCuddCore::node_type" ref="77015122af98d17b7cca612a149cd89d" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#77015122af98d17b7cca612a149cd89d">node_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#77015122af98d17b7cca612a149cd89d">polybori::CCuddCore::node_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="91a2127db4890d11b34f4653f60393af"></a><!-- doxytag: member="polybori::CCuddCore::refcount_type" ref="91a2127db4890d11b34f4653f60393af" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#91a2127db4890d11b34f4653f60393af">refcount_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#91a2127db4890d11b34f4653f60393af">polybori::CCuddCore::refcount_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="3f602e8ee24382452897eec445aaa8be"></a><!-- doxytag: member="polybori::CCuddCore::self" ref="3f602e8ee24382452897eec445aaa8be" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddCore.html">CCuddCore</a> <a class="el" href="classpolybori_1_1CCuddCore.html">polybori::CCuddCore::self</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Fix type of *this.
<p>
</div>
</div><p>
<a class="anchor" name="c98c23ce4f58682d9c7d6f90d9269f85"></a><!-- doxytag: member="polybori::CCuddCore::size_type" ref="c98c23ce4f58682d9c7d6f90d9269f85" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">polybori::CCuddCore::size_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="5d05258f119e954d300f578eb3d9cbb1"></a><!-- doxytag: member="polybori::CCuddCore::ternary_function" ref="5d05258f119e954d300f578eb3d9cbb1" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#5d05258f119e954d300f578eb3d9cbb1">ternary_function</a> <a class="el" href="classpolybori_1_1CCuddCore.html#5d05258f119e954d300f578eb3d9cbb1">polybori::CCuddCore::ternary_function</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="d36c3a51f91d424038ad6cd380af6326"></a><!-- doxytag: member="polybori::CCuddCore::unary_int_function" ref="d36c3a51f91d424038ad6cd380af6326" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#d36c3a51f91d424038ad6cd380af6326">unary_int_function</a> <a class="el" href="classpolybori_1_1CCuddCore.html#d36c3a51f91d424038ad6cd380af6326">polybori::CCuddCore::unary_int_function</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="b481b743d7413ed9acfa1a6f98339025"></a><!-- doxytag: member="polybori::CCuddCore::variable_names_type" ref="b481b743d7413ed9acfa1a6f98339025" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CVariableNames.html">CVariableNames</a> <a class="el" href="classpolybori_1_1CVariableNames.html">polybori::CCuddCore::variable_names_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define type for storing names of variables.
<p>
</div>
</div><p>
<a class="anchor" name="26360a33fa8a030b055db06f81f75f7f"></a><!-- doxytag: member="polybori::CCuddCore::void_function" ref="26360a33fa8a030b055db06f81f75f7f" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef mgrcore_traits<Cudd>::<a class="el" href="classpolybori_1_1CCuddCore.html#26360a33fa8a030b055db06f81f75f7f">void_function</a> <a class="el" href="classpolybori_1_1CCuddCore.html#26360a33fa8a030b055db06f81f75f7f">polybori::CCuddCore::void_function</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<hr><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" name="dda0b4a13cb75e82f8caffebce4049e8"></a><!-- doxytag: member="polybori::CCuddCore::CCuddCore" ref="dda0b4a13cb75e82f8caffebce4049e8" args="(size_type numVars=0, size_type numVarsZ=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, large_size_type maxMemory=0)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::CCuddCore::CCuddCore </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a> </td>
<td class="paramname"> <em>numVars</em> = <code>0</code>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">size_type</a> </td>
<td class="paramname"> <em>numVarsZ</em> = <code>0</code>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">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_1CCuddCore.html#c98c23ce4f58682d9c7d6f90d9269f85">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"><a class="el" href="classpolybori_1_1CCuddCore.html#1d099780efc89342267e4c4173a3eb52">large_size_type</a> </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>
Initialize raw decision diagram management.
<p>
</div>
</div><p>
<a class="anchor" name="ebc4c396c2598a7b130ca857199b323c"></a><!-- doxytag: member="polybori::CCuddCore::~CCuddCore" ref="ebc4c396c2598a7b130ca857199b323c" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::CCuddCore::~CCuddCore </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="4acf905d615867263eb2f439335be607"></a><!-- doxytag: member="polybori::CCuddCore::addRef" ref="4acf905d615867263eb2f439335be607" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::CCuddCore::addRef </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Increment reference count.
<p>
<p>Referenced by <a class="el" href="CCuddCore_8h_source.html#l00167">polybori::intrusive_ptr_add_ref()</a>.</p>
</div>
</div><p>
<a class="anchor" name="8f314fd0e62db211609f0ad441d18e98"></a><!-- doxytag: member="polybori::CCuddCore::release" ref="8f314fd0e62db211609f0ad441d18e98" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CCuddCore.html#91a2127db4890d11b34f4653f60393af">refcount_type</a> polybori::CCuddCore::release </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Release this by decrementing reference counting.
<p>
<p>Referenced by <a class="el" href="CCuddCore_8h_source.html#l00173">polybori::intrusive_ptr_release()</a>.</p>
</div>
</div><p>
<hr><h2>Member Data Documentation</h2>
<a class="anchor" name="5fb2f63e4a9598c00ffcf0b339810d73"></a><!-- doxytag: member="polybori::CCuddCore::errorHandler" ref="5fb2f63e4a9598c00ffcf0b339810d73" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CCuddCore.html#1156f672b6677c7b25350729b88e1f1a">CCuddCore::errorfunc_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#5fb2f63e4a9598c00ffcf0b339810d73">polybori::CCuddCore::errorHandler</a> = defaultError<code> [static]</code> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Functions for handling errors from CUDD functions.
<p>
</div>
</div><p>
<a class="anchor" name="18b22c182e61079830a3a6aa97e076b7"></a><!-- doxytag: member="polybori::CCuddCore::m_names" ref="18b22c182e61079830a3a6aa97e076b7" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CVariableNames.html">variable_names_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#18b22c182e61079830a3a6aa97e076b7">polybori::CCuddCore::m_names</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Stores names of variables.
<p>
</div>
</div><p>
<a class="anchor" name="9f6991e1d6c73dfd2543ada02a8f6d89"></a><!-- doxytag: member="polybori::CCuddCore::m_vars" ref="9f6991e1d6c73dfd2543ada02a8f6d89" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">std::vector<<a class="el" href="classpolybori_1_1CCuddCore.html#77015122af98d17b7cca612a149cd89d">node_type</a>> <a class="el" href="classpolybori_1_1CCuddCore.html#9f6991e1d6c73dfd2543ada02a8f6d89">polybori::CCuddCore::m_vars</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="7ef736a89183d7e6bd926f60de97f8dd"></a><!-- doxytag: member="polybori::CCuddCore::manager" ref="7ef736a89183d7e6bd926f60de97f8dd" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CCuddCore.html#b6f8393780cb249c495880d919e09558">mgrcore_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#7ef736a89183d7e6bd926f60de97f8dd">polybori::CCuddCore::manager</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Current raw decision diagram management.
<p>
</div>
</div><p>
<a class="anchor" name="46334721a02ee80a7d1f9faf33482974"></a><!-- doxytag: member="polybori::CCuddCore::ref" ref="46334721a02ee80a7d1f9faf33482974" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CCuddCore.html#91a2127db4890d11b34f4653f60393af">refcount_type</a> <a class="el" href="classpolybori_1_1CCuddCore.html#46334721a02ee80a7d1f9faf33482974">polybori::CCuddCore::ref</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Count instances pointing here.
<p>
</div>
</div><p>
<a class="anchor" name="9e092b03039e4c687f81097b07ab05f0"></a><!-- doxytag: member="polybori::CCuddCore::verbose" ref="9e092b03039e4c687f81097b07ab05f0" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">bool <a class="el" href="classpolybori_1_1CCuddCore.html#9e092b03039e4c687f81097b07ab05f0">polybori::CCuddCore::verbose</a> = 0<code> [static]</code> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Control eloquence of CUDD functionality.
<p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following files:<ul>
<li><a class="el" href="CCuddCore_8h_source.html">CCuddCore.h</a><li><a class="el" href="BoolePolyRing_8cc.html">BoolePolyRing.cc</a></ul>
</div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:01 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
>
219
