Sophie

Sophie

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

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: pbori_traits.h Source File</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><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
  <div class="tabs">
    <ul>
      <li><a href="files.html"><span>File&nbsp;List</span></a></li>
      <li><a href="globals.html"><span>File&nbsp;Members</span></a></li>
    </ul>
  </div>
<h1>pbori_traits.h</h1><a href="pbori__traits_8h.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">// -*- c++ -*-</span>
<a name="l00002"></a>00002 <span class="comment">//*****************************************************************************</span>
<a name="l00057"></a>00057 <span class="comment"></span><span class="comment">//*****************************************************************************</span>
<a name="l00058"></a>00058 
<a name="l00059"></a>00059 <span class="preprocessor">#include &lt;set&gt;</span>
<a name="l00060"></a>00060 <span class="preprocessor">#include &lt;vector&gt;</span>
<a name="l00061"></a>00061 
<a name="l00062"></a>00062 <span class="comment">// include basic definitions</span>
<a name="l00063"></a>00063 <span class="preprocessor">#include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span>
<a name="l00064"></a>00064 <span class="preprocessor">#include "<a class="code" href="pbori__tags_8h.html">pbori_tags.h</a>"</span>
<a name="l00065"></a>00065 <span class="comment">// #include "CCuddInterface.h"</span>
<a name="l00066"></a>00066 
<a name="l00067"></a>00067 <span class="preprocessor">#include &lt;boost/preprocessor/cat.hpp&gt;</span>
<a name="l00068"></a>00068 <span class="preprocessor">#include &lt;boost/preprocessor/seq/for_each.hpp&gt;</span>
<a name="l00069"></a>00069 <span class="preprocessor">#include &lt;boost/preprocessor/facilities/expand.hpp&gt;</span>
<a name="l00070"></a>00070 <span class="preprocessor">#include &lt;boost/preprocessor/stringize.hpp&gt;</span>
<a name="l00071"></a>00071 
<a name="l00072"></a>00072 <span class="preprocessor">#ifndef pbori_traits_h_</span>
<a name="l00073"></a>00073 <span class="preprocessor"></span><span class="preprocessor">#define pbori_traits_h_</span>
<a name="l00074"></a>00074 <span class="preprocessor"></span>
<a name="l00075"></a>00075 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00076"></a>00076 
<a name="l00082"></a>00082 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ValueType&gt;
<a name="l00083"></a><a class="code" href="classpolybori_1_1pbori__traits.html">00083</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a> {
<a name="l00084"></a>00084 
<a name="l00085"></a>00085 <span class="keyword">public</span>:
<a name="l00086"></a>00086   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00087"></a>00087   <span class="comment">// types for treatment of decision diagrams</span>
<a name="l00088"></a>00088   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00089"></a><a class="code" href="classpolybori_1_1pbori__traits.html#c367adac4726b8341265b856b092e004">00089</a>   <span class="keyword">typedef</span> ValueType value_type;
<a name="l00090"></a>00090 
<a name="l00092"></a><a class="code" href="classpolybori_1_1pbori__traits.html#320bbfc71a486e3ca6e4cd2ddd0b4abc">00092</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::dd_type dd_type;
<a name="l00093"></a>00093 
<a name="l00094"></a>00094 <span class="comment">//   /// Manage variables to be used by polynomials over Boolean ring</span>
<a name="l00095"></a>00095 <span class="comment">//   typedef typename value_type::manager_type manager_type;</span>
<a name="l00096"></a>00096 
<a name="l00097"></a>00097 <span class="comment">//   /// Reference to decision diagramm manager</span>
<a name="l00098"></a>00098 <span class="comment">//    typedef typename value_type::manager_reference manager_reference;</span>
<a name="l00099"></a>00099 
<a name="l00100"></a>00100 <span class="comment">//   /// Define shared pointer to decision diagram manager</span>
<a name="l00101"></a>00101 <span class="comment">//    typedef typename value_type::manager_ptr manager_ptr;</span>
<a name="l00102"></a>00102 
<a name="l00103"></a>00103   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00104"></a>00104   <span class="comment">// types for several purposes</span>
<a name="l00105"></a>00105   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00106"></a>00106 
<a name="l00108"></a><a class="code" href="classpolybori_1_1pbori__traits.html#4242f84b0a276317d2c6ead793d58ec2">00108</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::bool_type bool_type;
<a name="l00109"></a>00109 
<a name="l00111"></a><a class="code" href="classpolybori_1_1pbori__traits.html#7e9c24798f3980d0cf1c580c163831ed">00111</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::size_type size_type;
<a name="l00112"></a>00112 
<a name="l00114"></a><a class="code" href="classpolybori_1_1pbori__traits.html#81d5adf74630cbad97fc14ab163de96e">00114</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::integer_type integer_type;
<a name="l00115"></a>00115 
<a name="l00117"></a><a class="code" href="classpolybori_1_1pbori__traits.html#b35ca8e12c76db46bb69bef4af6a7450">00117</a>    <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">value_type::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>;
<a name="l00118"></a>00118 
<a name="l00120"></a><a class="code" href="classpolybori_1_1pbori__traits.html#d1ed9092dca729e2bd8c4446a8d9c1a5">00120</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::comp_type comp_type;
<a name="l00121"></a>00121 
<a name="l00123"></a><a class="code" href="classpolybori_1_1pbori__traits.html#505204aa792c60b1ee0a45dbb234e7f5">00123</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::hash_type hash_type;
<a name="l00124"></a>00124 
<a name="l00126"></a><a class="code" href="classpolybori_1_1pbori__traits.html#c99ab17f072d168c5cf24e5967db1f74">00126</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::ostream_type ostream_type;
<a name="l00127"></a>00127 
<a name="l00129"></a><a class="code" href="classpolybori_1_1pbori__traits.html#929220ef14e5ae30cf0ae296661336fd">00129</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::easy_equality_property <a class="code" href="classeasy__equality__property.html" title="defines generic base for properties">easy_equality_property</a>;
<a name="l00130"></a>00130 };
<a name="l00131"></a>00131 
<a name="l00132"></a>00132 <span class="comment">// Built-in types inherit global definitions</span>
<a name="l00133"></a>00133 <span class="keyword">template</span> &lt;&gt;
<a name="l00134"></a><a class="code" href="classpolybori_1_1pbori__traits_3_01void_01_4.html">00134</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a>&lt;void&gt;:
<a name="l00135"></a>00135   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a>, <span class="keyword">public</span> <a class="code" href="classpolybori_1_1equality__property.html">equality_property</a>&lt;valid_tag&gt; {
<a name="l00136"></a>00136 };
<a name="l00137"></a>00137 
<a name="l00138"></a>00138 <span class="keyword">template</span> &lt;&gt;
<a name="l00139"></a><a class="code" href="classpolybori_1_1pbori__traits_3_01int_01_4.html">00139</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a>&lt;int&gt;:
<a name="l00140"></a>00140   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a>, <span class="keyword">public</span> <a class="code" href="classpolybori_1_1equality__property.html">equality_property</a>&lt;valid_tag&gt; {
<a name="l00141"></a>00141 };
<a name="l00142"></a>00142 
<a name="l00143"></a>00143 <span class="keyword">template</span> &lt;&gt;
<a name="l00144"></a><a class="code" href="classpolybori_1_1pbori__traits_3_01unsigned_01int_01_4.html">00144</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a>&lt;unsigned int&gt;:
<a name="l00145"></a>00145   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a>, <span class="keyword">public</span> <a class="code" href="classpolybori_1_1equality__property.html">equality_property</a>&lt;valid_tag&gt; {
<a name="l00146"></a>00146 };
<a name="l00147"></a>00147 
<a name="l00148"></a>00148 <span class="keyword">template</span> &lt;&gt;
<a name="l00149"></a><a class="code" href="classpolybori_1_1pbori__traits_3_01long_01int_01_4.html">00149</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a>&lt;long int&gt;:
<a name="l00150"></a>00150   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a>, <span class="keyword">public</span> <a class="code" href="classpolybori_1_1equality__property.html">equality_property</a>&lt;valid_tag&gt; {
<a name="l00151"></a>00151 };
<a name="l00152"></a>00152 
<a name="l00153"></a>00153 
<a name="l00154"></a>00154 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ValueType&gt;
<a name="l00155"></a><a class="code" href="classpolybori_1_1pbori__traits_3_01std_1_1set_3_01ValueType_01_4_01_4.html">00155</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a>&lt; std::set&lt;ValueType&gt; &gt;:
<a name="l00156"></a>00156   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a>, <span class="keyword">public</span> <a class="code" href="classpolybori_1_1equality__property.html">equality_property</a>&lt;invalid_tag&gt; {
<a name="l00157"></a>00157 };
<a name="l00158"></a>00158 
<a name="l00159"></a>00159 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ValueType&gt;
<a name="l00160"></a><a class="code" href="classpolybori_1_1pbori__traits_3_01std_1_1vector_3_01ValueType_01_4_01_4.html">00160</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a>&lt; std::vector&lt;ValueType&gt; &gt;:
<a name="l00161"></a>00161   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a>, <span class="keyword">public</span> <a class="code" href="classpolybori_1_1equality__property.html">equality_property</a>&lt;invalid_tag&gt; {
<a name="l00162"></a>00162 };
<a name="l00163"></a>00163 
<a name="l00164"></a>00164 
<a name="l00170"></a>00170 <span class="keyword">template</span> &lt;<span class="keyword">class</span> FirstType, <span class="keyword">class</span> SecondType&gt;
<a name="l00171"></a>00171 <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__binary__traits.html" title="This class contains property definitions related to two types to be used in polybori...">pbori_binary_traits</a>;
<a name="l00172"></a>00172 
<a name="l00173"></a>00173 <span class="keyword">template</span> &lt;<span class="keyword">class</span> OnlyType&gt;
<a name="l00174"></a><a class="code" href="classpolybori_1_1pbori__binary__traits_3_01OnlyType_00_01OnlyType_01_4.html">00174</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__binary__traits.html" title="This class contains property definitions related to two types to be used in polybori...">pbori_binary_traits</a>&lt;OnlyType, OnlyType&gt; {
<a name="l00175"></a>00175 <span class="keyword">public</span>:
<a name="l00176"></a><a class="code" href="classpolybori_1_1pbori__binary__traits_3_01OnlyType_00_01OnlyType_01_4.html#2929e12eb26ff544993494a6d25a961a">00176</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> OnlyType::easy_equality_property <a class="code" href="classeasy__equality__property.html" title="defines generic base for properties">easy_equality_property</a>;
<a name="l00177"></a>00177 };
<a name="l00178"></a>00178 
<a name="l00179"></a>00179 <span class="keyword">template</span> &lt;<span class="keyword">class</span> FirstType, <span class="keyword">class</span> SecondType&gt;
<a name="l00180"></a><a class="code" href="classpolybori_1_1pbori__binary__traits.html">00180</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__binary__traits.html" title="This class contains property definitions related to two types to be used in polybori...">pbori_binary_traits</a>:
<a name="l00181"></a>00181   <span class="keyword">public</span> <a class="code" href="classpolybori_1_1equality__property.html">equality_property</a>&lt;invalid_tag&gt;{
<a name="l00182"></a>00182 };
<a name="l00183"></a>00183 
<a name="l00184"></a>00184 
<a name="l00185"></a>00185 
<a name="l00186"></a>00186 
<a name="l00187"></a>00187 <span class="keyword">template</span> &lt;<span class="keyword">class</span> MgrType&gt;
<a name="l00188"></a>00188 <span class="keyword">struct </span><a class="code" href="structpolybori_1_1manager__traits.html">manager_traits</a>;
<a name="l00189"></a>00189 
<a name="l00190"></a>00190 <span class="keyword">template</span> &lt;&gt;
<a name="l00191"></a><a class="code" href="structpolybori_1_1manager__traits_3_01Cudd_01_4.html">00191</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1manager__traits.html">manager_traits</a>&lt;Cudd&gt; {
<a name="l00192"></a><a class="code" href="structpolybori_1_1manager__traits_3_01Cudd_01_4.html#7f32c753e68c14221d975d6b2aadb421">00192</a>   <span class="keyword">typedef</span> ZDD dd_base;
<a name="l00193"></a><a class="code" href="structpolybori_1_1manager__traits_3_01Cudd_01_4.html#f4dc9a08bc479164b172e6a70c6de235">00193</a>   <span class="keyword">typedef</span> Cudd* core_type;
<a name="l00194"></a><a class="code" href="structpolybori_1_1manager__traits_3_01Cudd_01_4.html#74f4a9ca01bdb2b2ac3c1e735a43ba94">00194</a>   <span class="keyword">typedef</span> Cudd&amp; tmp_ref;
<a name="l00195"></a>00195 };
<a name="l00196"></a>00196 
<a name="l00197"></a>00197 <span class="keyword">template</span> &lt;&gt;
<a name="l00198"></a><a class="code" href="structpolybori_1_1manager__traits_3_01Cudd_01_5_01_4.html">00198</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1manager__traits.html">manager_traits</a>&lt;Cudd*&gt; :
<a name="l00199"></a>00199   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1manager__traits_3_01Cudd_01_4.html">manager_traits&lt;Cudd&gt;</a> {
<a name="l00200"></a>00200 };
<a name="l00201"></a>00201 
<a name="l00202"></a>00202 <span class="keyword">template</span> &lt;&gt;
<a name="l00203"></a><a class="code" href="structpolybori_1_1manager__traits_3_01DdManager_01_5_01_4.html">00203</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1manager__traits.html">manager_traits</a>&lt;DdManager*&gt; :
<a name="l00204"></a>00204   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1manager__traits_3_01Cudd_01_4.html">manager_traits&lt;Cudd&gt;</a> {
<a name="l00205"></a>00205 };
<a name="l00206"></a>00206 
<a name="l00207"></a>00207 <span class="keyword">template</span> &lt;<span class="keyword">class</span> CuddLike&gt;
<a name="l00208"></a><a class="code" href="structpolybori_1_1manager__traits.html">00208</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1manager__traits.html">manager_traits</a> {
<a name="l00209"></a><a class="code" href="structpolybori_1_1manager__traits.html#f2b3115faf3f55ad59e9c4fcde31b008">00209</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> CuddLike::dd_type dd_base;
<a name="l00210"></a><a class="code" href="structpolybori_1_1manager__traits.html#ba4f0210f557aa3eb89361a6ef3f2c34">00210</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> CuddLike::mgrcore_ptr core_type;
<a name="l00211"></a><a class="code" href="structpolybori_1_1manager__traits.html#61aeefa93900c019c8e13033c07afb9b">00211</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> CuddLike::tmp_ref tmp_ref;
<a name="l00212"></a>00212 
<a name="l00213"></a><a class="code" href="structpolybori_1_1manager__traits.html#9ef7d99f38534633a358b7026ba47a99">00213</a>   <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> large_size_type;
<a name="l00214"></a><a class="code" href="structpolybori_1_1manager__traits.html#fe4f28545884f4b68e5aa18bdd03e7c7">00214</a>   <span class="keyword">typedef</span> <span class="keywordtype">long</span> <span class="keywordtype">int</span> refcount_type;
<a name="l00215"></a>00215 
<a name="l00216"></a><a class="code" href="structpolybori_1_1manager__traits.html#d0302dd440fe483347c3cb8d1b3c3f31">00216</a>   <span class="keyword">typedef</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">CTypes::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>;
<a name="l00217"></a><a class="code" href="structpolybori_1_1manager__traits.html#abb31c0376acb15d33ce14d6874c0e87">00217</a>   <span class="keyword">typedef</span> CTypes::size_type size_type;
<a name="l00218"></a>00218 
<a name="l00219"></a><a class="code" href="structpolybori_1_1manager__traits.html#262285a3b93ab7bb480c17bbaa552659">00219</a>   <span class="keyword">typedef</span> DdNode* node_type;
<a name="l00220"></a><a class="code" href="structpolybori_1_1manager__traits.html#2f23e455fa6da2f752c3510a9de52a23">00220</a>   <span class="keyword">typedef</span> DdManager* mgrcore_type;
<a name="l00221"></a>00221 
<a name="l00222"></a><a class="code" href="structpolybori_1_1manager__traits.html#366660d484d141dba5f42617ac35f025">00222</a>   <span class="keyword">typedef</span> PFC errorfunc_type;
<a name="l00223"></a><a class="code" href="structpolybori_1_1manager__traits.html#071ba3d3bf3ad744bf0f1cc91281523b">00223</a>   <span class="keyword">typedef</span> node_type (*unary_int_function)(mgrcore_type, int);
<a name="l00224"></a><a class="code" href="structpolybori_1_1manager__traits.html#d5534813bf8e25c91a86159909947ab9">00224</a>   <span class="keyword">typedef</span> node_type (*void_function)(mgrcore_type);
<a name="l00225"></a>00225 
<a name="l00226"></a><a class="code" href="structpolybori_1_1manager__traits.html#a1b0aee09604c997c353ce3ef7946af7">00226</a>   <span class="keyword">typedef</span> DD_CTFP binary_function;
<a name="l00227"></a><a class="code" href="structpolybori_1_1manager__traits.html#3f304e22e5f5dd80144933a833436004">00227</a>   <span class="keyword">typedef</span> node_type (*binary_int_function)(mgrcore_type, node_type, int);
<a name="l00228"></a>00228   <span class="keyword">typedef</span> 
<a name="l00229"></a><a class="code" href="structpolybori_1_1manager__traits.html#57bd827632e2cee6221d45c34c39d242">00229</a>   node_type (*ternary_function)(mgrcore_type, node_type, node_type, node_type);
<a name="l00230"></a>00230 
<a name="l00231"></a><a class="code" href="structpolybori_1_1manager__traits.html#0eab9f13ff70c8033cf1d07fda5cb39b">00231</a>   <span class="keyword">typedef</span> int (*int_unary_function)(mgrcore_type, node_type);
<a name="l00232"></a>00232 };
<a name="l00233"></a>00233 
<a name="l00234"></a>00234 <span class="keyword">template</span> &lt;<span class="keyword">class</span> CuddLike&gt;
<a name="l00235"></a>00235 <span class="keyword">struct </span>mgrcore_traits;
<a name="l00236"></a>00236 
<a name="l00237"></a>00237 <span class="keyword">template</span>&lt;&gt;
<a name="l00238"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html">00238</a> <span class="keyword">struct </span>mgrcore_traits&lt;Cudd&gt; {
<a name="l00239"></a>00239 
<a name="l00240"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#98cfc57b0af096105c25f35481fc1996">00240</a>   <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> large_size_type;
<a name="l00241"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#0b7c8f75fac4f1f0bfbbdba921c6be86">00241</a>   <span class="keyword">typedef</span> <span class="keywordtype">long</span> <span class="keywordtype">int</span> refcount_type;
<a name="l00242"></a>00242 
<a name="l00243"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#1125d685a2ad4ec8d2a846558567d69d">00243</a>   <span class="keyword">typedef</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">CTypes::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>;
<a name="l00244"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#190701aaeec1a7ff6baa2ba0e95c7b5f">00244</a>   <span class="keyword">typedef</span> CTypes::size_type size_type;
<a name="l00245"></a>00245 
<a name="l00246"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#fc6a090c028ec46776a573ba5d29bc7b">00246</a>   <span class="keyword">typedef</span> DdNode* node_type;
<a name="l00247"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#68ab30e7257b7a3d87fe1eec42f98853">00247</a>   <span class="keyword">typedef</span> DdManager* mgrcore_type;
<a name="l00248"></a>00248 
<a name="l00249"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#a4068384ce437684d8ab59be5661704b">00249</a>   <span class="keyword">typedef</span> PFC errorfunc_type;
<a name="l00250"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#d248b073859833750895c0bece9ca20d">00250</a>   <span class="keyword">typedef</span> node_type (*unary_int_function)(mgrcore_type, int);
<a name="l00251"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#726b1cc507511eacf1f65da91a4111de">00251</a>   <span class="keyword">typedef</span> node_type (*void_function)(mgrcore_type);
<a name="l00252"></a>00252 
<a name="l00253"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#dec8f911dc40fdb3a4954f5e3eedb028">00253</a>   <span class="keyword">typedef</span> DD_CTFP binary_function;
<a name="l00254"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#5e06f22a1de2aa60d280eab77cd27b7e">00254</a>   <span class="keyword">typedef</span> node_type (*binary_int_function)(mgrcore_type, node_type, int);
<a name="l00255"></a>00255   <span class="keyword">typedef</span> 
<a name="l00256"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#561c0ff5a4d2402ceb099f4e6e25f7d3">00256</a>   node_type (*ternary_function)(mgrcore_type, node_type, node_type, node_type);
<a name="l00257"></a>00257 
<a name="l00258"></a><a class="code" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#a3e1a4603e7cd03626d513dafc0eb8a4">00258</a>   <span class="keyword">typedef</span> int (*int_unary_function)(mgrcore_type, node_type);
<a name="l00259"></a>00259 };
<a name="l00260"></a>00260 
<a name="l00261"></a><a class="code" href="pbori__traits_8h.html#71c5e229a8a64d32fbf0a45acce725a4">00261</a> <span class="preprocessor">#define PB_DECLARE_CUDD_TYPES(fromspace) \</span>
<a name="l00262"></a>00262 <span class="preprocessor">  typedef fromspace::errorfunc_type errorfunc_type;           \</span>
<a name="l00263"></a>00263 <span class="preprocessor">  typedef fromspace::large_size_type large_size_type;         \</span>
<a name="l00264"></a>00264 <span class="preprocessor">  typedef fromspace::refcount_type refcount_type;             \</span>
<a name="l00265"></a>00265 <span class="preprocessor">  typedef fromspace::node_type node_type;                     \</span>
<a name="l00266"></a>00266 <span class="preprocessor">  typedef fromspace::mgrcore_type mgrcore_type;               \</span>
<a name="l00267"></a>00267 <span class="preprocessor">  typedef fromspace::unary_int_function unary_int_function;   \</span>
<a name="l00268"></a>00268 <span class="preprocessor">  typedef fromspace::void_function void_function;             \</span>
<a name="l00269"></a>00269 <span class="preprocessor">  typedef fromspace::binary_function binary_function;         \</span>
<a name="l00270"></a>00270 <span class="preprocessor">  typedef fromspace::binary_int_function binary_int_function; \</span>
<a name="l00271"></a>00271 <span class="preprocessor">  typedef fromspace::ternary_function ternary_function;       \</span>
<a name="l00272"></a>00272 <span class="preprocessor">  typedef fromspace::int_unary_function int_unary_function;   \</span>
<a name="l00273"></a>00273 <span class="preprocessor">  typedef fromspace::size_type size_type;\</span>
<a name="l00274"></a>00274 <span class="preprocessor">  typedef fromspace::idx_type idx_type;</span>
<a name="l00275"></a>00275 <span class="preprocessor"></span>
<a name="l00276"></a>00276 <span class="comment">// template &lt;&gt;</span>
<a name="l00277"></a>00277 <span class="comment">// struct manager_traits&lt;CCuddInterface::mgrcore_ptr&gt; :</span>
<a name="l00278"></a>00278 <span class="comment">//   public manager_traits&lt;CCuddInterface&gt; {</span>
<a name="l00279"></a>00279 <span class="comment">// };</span>
<a name="l00280"></a>00280 
<a name="l00281"></a>00281 
<a name="l00282"></a>00282 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ZDDType&gt;
<a name="l00283"></a>00283 <span class="keyword">struct </span>zdd_traits;
<a name="l00284"></a>00284  
<a name="l00285"></a>00285 <span class="keyword">template</span> &lt;&gt;
<a name="l00286"></a><a class="code" href="structpolybori_1_1zdd__traits_3_01ZDD_01_4.html">00286</a> <span class="keyword">struct </span>zdd_traits&lt;ZDD&gt;  {
<a name="l00287"></a><a class="code" href="structpolybori_1_1zdd__traits_3_01ZDD_01_4.html#9f71fb0d7e1ebb6c5571598916a11a6c">00287</a>   <span class="keyword">typedef</span> Cudd manager_base;
<a name="l00288"></a>00288 };
<a name="l00289"></a>00289 
<a name="l00290"></a>00290 <span class="keyword">template</span> &lt;&gt;
<a name="l00291"></a><a class="code" href="structpolybori_1_1zdd__traits_3_01CCuddZDD_01_4.html">00291</a> <span class="keyword">struct </span>zdd_traits&lt;<a class="code" href="classpolybori_1_1CCuddZDD.html" title="This class defines a C++ interface to CUDD&amp;#39;s zero-suppressed decision diagram...">CCuddZDD</a>&gt;  {
<a name="l00292"></a><a class="code" href="structpolybori_1_1zdd__traits_3_01CCuddZDD_01_4.html#236812e0dfdbae8de2d337c61e9d2fae">00292</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&amp;#39;s decicion diagram manager.">CCuddInterface</a> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&amp;#39;s decicion diagram manager.">manager_base</a>;
<a name="l00293"></a>00293 };
<a name="l00294"></a>00294 
<a name="l00295"></a>00295 
<a name="l00296"></a><a class="code" href="pbori__traits_8h.html#223b97aa965f4c43c6c8883fcaa9caf0">00296</a> <span class="preprocessor">#define PB_BINARY_FUNC_CALL(count, funcname, arg_pair)                        \</span>
<a name="l00297"></a>00297 <span class="preprocessor">  BOOST_PP_EXPAND(funcname(BOOST_PP_SEQ_HEAD(arg_pair),                       \</span>
<a name="l00298"></a>00298 <span class="preprocessor">                           BOOST_PP_SEQ_HEAD(BOOST_PP_SEQ_TAIL(arg_pair))))</span>
<a name="l00299"></a>00299 <span class="preprocessor"></span>
<a name="l00300"></a>00300 <span class="keyword">template</span>&lt;<span class="keywordtype">unsigned</span> ErrorNumber&gt;
<a name="l00301"></a><a class="code" href="structpolybori_1_1cudd__error__traits.html">00301</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1cudd__error__traits.html">cudd_error_traits</a> {
<a name="l00302"></a><a class="code" href="structpolybori_1_1cudd__error__traits.html#34bad9428c82dc795fe3416eb05ae9cd">00302</a>   <span class="keyword">typedef</span> <span class="keyword">const</span> <span class="keywordtype">char</span>* result_type;
<a name="l00303"></a>00303 
<a name="l00304"></a>00304   result_type operator()() <span class="keyword">const</span>;
<a name="l00305"></a>00305 };
<a name="l00306"></a>00306 
<a name="l00307"></a>00307 
<a name="l00308"></a>00308 
<a name="l00309"></a>00309 
<a name="l00310"></a><a class="code" href="pbori__traits_8h.html#ade504927a2408d1575b08d33e4f3262">00310</a> <span class="preprocessor">#define PB_CUDD_ERROR_TRAITS(errcode, errstr)                                \</span>
<a name="l00311"></a>00311 <span class="preprocessor">  template&lt;&gt; inline cudd_error_traits&lt;errcode&gt;::result_type                  \</span>
<a name="l00312"></a>00312 <span class="preprocessor">  cudd_error_traits&lt;errcode&gt;::operator()() const {                           \</span>
<a name="l00313"></a>00313 <span class="preprocessor">    return BOOST_PP_STRINGIZE(errstr); }</span>
<a name="l00314"></a>00314 <span class="preprocessor"></span>
<a name="l00315"></a>00315 BOOST_PP_SEQ_FOR_EACH( <a class="code" href="pbori__traits_8h.html#223b97aa965f4c43c6c8883fcaa9caf0">PB_BINARY_FUNC_CALL</a>, <a class="code" href="pbori__traits_8h.html#ade504927a2408d1575b08d33e4f3262">PB_CUDD_ERROR_TRAITS</a>, 
<a name="l00316"></a>00316                        ((CUDD_MEMORY_OUT)(Out of memory.))
<a name="l00317"></a>00317                        ((CUDD_TOO_MANY_NODES)(Too many nodes.))
<a name="l00318"></a>00318                        ((CUDD_MAX_MEM_EXCEEDED)(Maximum memory exceeded.))
<a name="l00319"></a>00319                        ((CUDD_INVALID_ARG)(Invalid argument.))
<a name="l00320"></a>00320                        ((CUDD_INTERNAL_ERROR)(Internal error.))
<a name="l00321"></a>00321                        ((CUDD_NO_ERROR)(Unexpected error.))
<a name="l00322"></a>00322                        )
<a name="l00323"></a>00323 
<a name="l00324"></a>00324 <span class="preprocessor">#undef PB_CUDD_ERROR_TRAITS</span>
<a name="l00325"></a>00325 <span class="preprocessor"></span>
<a name="l00326"></a>00326 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00327"></a>00327 
<a name="l00328"></a>00328 <span class="preprocessor">#endif</span>
</pre></div></div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:59 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