Sophie

Sophie

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

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_defs.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_defs.h</h1><a href="pbori__defs_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="l00159"></a>00159 <span class="comment"></span><span class="comment">//*****************************************************************************</span>
<a name="l00160"></a>00160 
<a name="l00161"></a>00161 <span class="preprocessor"># include &lt;cstddef&gt;</span>
<a name="l00162"></a>00162 
<a name="l00163"></a>00163 <span class="comment">// load cudd's c++ interface</span>
<a name="l00164"></a>00164 <span class="preprocessor"># include &lt;cuddObj.hh&gt;</span>
<a name="l00165"></a>00165 
<a name="l00166"></a>00166 <span class="preprocessor">#ifndef pbori_defs_h_</span>
<a name="l00167"></a>00167 <span class="preprocessor"></span><span class="preprocessor">#define pbori_defs_h_</span>
<a name="l00168"></a>00168 <span class="preprocessor"></span>
<a name="l00170"></a>00170 <span class="preprocessor">#ifdef __GNUC__</span>
<a name="l00171"></a>00171 <span class="preprocessor"></span><span class="preprocessor">#define LIKELY(expression) (__builtin_expect(!!(expression), 1))</span>
<a name="l00172"></a>00172 <span class="preprocessor"></span><span class="preprocessor">#define UNLIKELY(expression) (__builtin_expect(!!(expression), 0))</span>
<a name="l00173"></a>00173 <span class="preprocessor"></span><span class="preprocessor">#else</span>
<a name="l00174"></a><a class="code" href="pbori__defs_8h.html#1c5951c9a391674be15ca2883c98c7e1">00174</a> <span class="preprocessor"></span><span class="preprocessor">#define LIKELY(expression) (expression)</span>
<a name="l00175"></a><a class="code" href="pbori__defs_8h.html#2e5f5338d3e6181b9083eff7b9a3a50c">00175</a> <span class="preprocessor"></span><span class="preprocessor">#define UNLIKELY(expression) (expression)</span>
<a name="l00176"></a>00176 <span class="preprocessor"></span><span class="preprocessor">#endif </span>
<a name="l00177"></a>00177 <span class="preprocessor"></span>
<a name="l00179"></a><a class="code" href="pbori__defs_8h.html#684934f4e3e3436f734720bdd18950de">00179</a> <span class="preprocessor">#define PBORINAME polybori</span>
<a name="l00180"></a>00180 <span class="preprocessor"></span>
<a name="l00182"></a>00182 <span class="preprocessor">#ifndef PBORI_NO_DEVELOPER</span>
<a name="l00183"></a><a class="code" href="pbori__defs_8h.html#35618156c8a37d1720a406b32a18b105">00183</a> <span class="preprocessor"></span><span class="preprocessor">#  define PBORI_DEVELOPER</span>
<a name="l00184"></a>00184 <span class="preprocessor"></span><span class="preprocessor">#endif</span>
<a name="l00185"></a>00185 <span class="preprocessor"></span>
<a name="l00186"></a>00186 <span class="preprocessor">#ifndef PBORI_NO_NAMESPACES</span>
<a name="l00187"></a>00187 <span class="preprocessor"></span>
<a name="l00189"></a><a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10">00189</a> <span class="preprocessor">#  define BEGIN_NAMESPACE_PBORI namespace PBORINAME {</span>
<a name="l00190"></a>00190 <span class="preprocessor"></span>
<a name="l00192"></a><a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06">00192</a> <span class="preprocessor">#  define END_NAMESPACE_PBORI } // end of namespace </span>
<a name="l00193"></a>00193 <span class="preprocessor"></span>
<a name="l00195"></a><a class="code" href="pbori__defs_8h.html#59c0ad45ca940e58b58066f5212be084">00195</a> <span class="preprocessor">#  define USING_NAMESPACE_PBORI using namespace PBORINAME;</span>
<a name="l00196"></a>00196 <span class="preprocessor"></span>
<a name="l00198"></a><a class="code" href="pbori__defs_8h.html#d55e03103fbbb07a476faa67f334c710">00198</a> <span class="preprocessor">#  define PBORI PBORINAME</span>
<a name="l00199"></a>00199 <span class="preprocessor"></span>
<a name="l00201"></a><a class="code" href="pbori__defs_8h.html#3ded6cc38c5570991e0e98a58dcdca0f">00201</a> <span class="preprocessor">#  define USING_PBORI using PBORI</span>
<a name="l00202"></a>00202 <span class="preprocessor"></span>
<a name="l00204"></a><a class="code" href="pbori__defs_8h.html#57ece331c34260fd7daa044ec900890a">00204</a> <span class="preprocessor">#  define PBORI_BEGIN_NAMESPACE( sub_space ) namespace sub_space {</span>
<a name="l00205"></a>00205 <span class="preprocessor"></span>
<a name="l00207"></a><a class="code" href="pbori__defs_8h.html#707832f3c266d0b76e6611eb5608293f">00207</a> <span class="preprocessor">#  define PBORI_END_NAMESPACE }</span>
<a name="l00208"></a>00208 <span class="preprocessor"></span>
<a name="l00209"></a>00209 <span class="preprocessor">#else </span>
<a name="l00210"></a>00210 <span class="preprocessor"></span>
<a name="l00211"></a>00211 <span class="preprocessor">#  define BEGIN_NAMESPACE_PBORI </span>
<a name="l00212"></a>00212 <span class="preprocessor"></span><span class="preprocessor">#  define END_NAMESPACE_PBORI </span>
<a name="l00213"></a>00213 <span class="preprocessor"></span><span class="preprocessor">#  define USING_NAMESPACE_PBORI </span>
<a name="l00214"></a>00214 <span class="preprocessor"></span><span class="preprocessor">#  define PBORI </span>
<a name="l00215"></a>00215 <span class="preprocessor"></span><span class="preprocessor">#  define USING_PBORI </span>
<a name="l00216"></a>00216 <span class="preprocessor"></span><span class="preprocessor">#  define PBORI_BEGIN_NAMESPACE( sub_space ) </span>
<a name="l00217"></a>00217 <span class="preprocessor"></span><span class="preprocessor">#  define PBORI_END_NAMESPACE </span>
<a name="l00218"></a>00218 <span class="preprocessor"></span>
<a name="l00219"></a>00219 <span class="preprocessor">#endif // PBORI_NO_NAMESPACES</span>
<a name="l00220"></a>00220 <span class="preprocessor"></span>
<a name="l00222"></a>00222 <span class="preprocessor">#ifdef PBORI_DEBUG_TRACE</span>
<a name="l00223"></a>00223 <span class="preprocessor"></span><span class="preprocessor"># include &lt;iostream&gt;</span>
<a name="l00224"></a>00224 <span class="preprocessor"># define PBORI_TRACE_FUNC(text) std::cerr &lt;&lt; text &lt;&lt; std::endl;</span>
<a name="l00225"></a>00225 <span class="preprocessor"></span><span class="preprocessor">#else</span>
<a name="l00226"></a><a class="code" href="pbori__defs_8h.html#652ef33086b990b913379bf2f5b9a99e">00226</a> <span class="preprocessor"></span><span class="preprocessor"># define PBORI_TRACE_FUNC(text) </span>
<a name="l00227"></a>00227 <span class="preprocessor"></span><span class="preprocessor">#endif</span>
<a name="l00228"></a>00228 <span class="preprocessor"></span>
<a name="l00230"></a>00230 <span class="preprocessor">#ifndef PBORI_NO_STDSTREAMS</span>
<a name="l00231"></a>00231 <span class="preprocessor"></span>
<a name="l00232"></a>00232 <span class="preprocessor"># include &lt;iostream&gt;</span>
<a name="l00233"></a><a class="code" href="pbori__defs_8h.html#8299a124cc093130fac56d4ed1aeb3b2">00233</a> <span class="preprocessor"># define PBORI_OSTREAM std::ostream</span>
<a name="l00234"></a>00234 <span class="preprocessor"></span>
<a name="l00235"></a>00235 <span class="preprocessor">#else</span>
<a name="l00236"></a>00236 <span class="preprocessor"></span>
<a name="l00237"></a>00237 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00238"></a>00238 
<a name="l00240"></a>00240 <span class="keyword">struct </span><a class="code" href="pbori__defs_8h.html#8299a124cc093130fac56d4ed1aeb3b2" title="Get output stream type.">PBORI_OSTREAM</a> {};
<a name="l00241"></a>00241 
<a name="l00242"></a>00242 <span class="keyword">template</span> &lt;<span class="keyword">class</span> StreamedType&gt;
<a name="l00243"></a>00243 <a class="code" href="pbori__defs_8h.html#8299a124cc093130fac56d4ed1aeb3b2" title="Get output stream type.">PBORI_OSTREAM</a>&amp; 
<a name="l00244"></a>00244 <a class="code" href="namespacepolybori.html#6a2252bb702be1219454e5782c3132d0" title="Stream output operator.">operator&lt;&lt;</a>(<a class="code" href="pbori__defs_8h.html#8299a124cc093130fac56d4ed1aeb3b2" title="Get output stream type.">PBORI_OSTREAM</a>&amp; dummy, <span class="keyword">const</span> StreamedType&amp;) {
<a name="l00245"></a>00245   <span class="keywordflow">return</span> dummy;
<a name="l00246"></a>00246 };
<a name="l00247"></a>00247 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00248"></a>00248 
<a name="l00249"></a>00249 <span class="preprocessor">#endif // of #ifndef PBORI_NO_STDSTREAMS</span>
<a name="l00250"></a>00250 <span class="preprocessor"></span>
<a name="l00252"></a>00252 <span class="preprocessor">#ifndef PBORI_NO_BOOST_PTR</span>
<a name="l00253"></a>00253 <span class="preprocessor"></span>
<a name="l00254"></a>00254 <span class="preprocessor"># include &lt;boost/shared_ptr.hpp&gt;</span>
<a name="l00255"></a><a class="code" href="pbori__defs_8h.html#153708bc063bf46d46db7dea298e2b83">00255</a> <span class="preprocessor"># define PBORI_SHARED_PTR(Type) boost::shared_ptr&lt;Type&gt;</span>
<a name="l00256"></a>00256 <span class="preprocessor"></span>
<a name="l00257"></a>00257 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00258"></a>00258 
<a name="l00259"></a>00259 <span class="comment">// Clean second pointer</span>
<a name="l00260"></a>00260 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ValueType&gt;
<a name="l00261"></a>00261 <span class="keywordtype">void</span>
<a name="l00262"></a><a class="code" href="namespacepolybori.html#0d6cd358710e1718f9a5fb822c3a0ab9">00262</a> <a class="code" href="namespacepolybori.html#0d6cd358710e1718f9a5fb822c3a0ab9">pbori_shared_ptr_postclean</a>( <span class="keyword">const</span> <a class="code" href="pbori__defs_8h.html#153708bc063bf46d46db7dea298e2b83" title="Get shared pointer type.">PBORI_SHARED_PTR</a>(ValueType)&amp;, 
<a name="l00263"></a>00263                             <span class="keyword">const</span> <a class="code" href="pbori__defs_8h.html#153708bc063bf46d46db7dea298e2b83" title="Get shared pointer type.">PBORI_SHARED_PTR</a>(ValueType)&amp; ){
<a name="l00264"></a>00264   <span class="comment">// nothing needed for boost::shared_ptr</span>
<a name="l00265"></a>00265 }
<a name="l00266"></a>00266 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00267"></a>00267 
<a name="l00268"></a>00268 <span class="preprocessor">#else</span>
<a name="l00269"></a>00269 <span class="preprocessor"></span>
<a name="l00270"></a>00270 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00279"></a>00279 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ValueType&gt;
<a name="l00280"></a>00280 <span class="keyword">class </span>pbori_shared_ptr {
<a name="l00281"></a>00281 <span class="keyword">public</span>:
<a name="l00282"></a>00282 
<a name="l00284"></a>00284   <span class="keyword">typedef</span> ValueType value_type;
<a name="l00285"></a>00285 
<a name="l00287"></a>00287   <span class="keyword">typedef</span> pbori_shared_ptr&lt;value_type&gt; <span class="keyword">self</span>;
<a name="l00288"></a>00288 
<a name="l00291"></a>00291   pbori_shared_ptr(value_type* pRhs = NULL): 
<a name="l00292"></a>00292     pVal(pRhs), is_shared(pRhs == NULL) {}
<a name="l00293"></a>00293 
<a name="l00295"></a>00295   pbori_shared_ptr(<span class="keyword">const</span> <span class="keyword">self</span>&amp; rhs):
<a name="l00296"></a>00296     pVal(rhs.pVal), is_shared(true) {}
<a name="l00297"></a>00297 
<a name="l00299"></a>00299   ~pbori_shared_ptr(){ <span class="keywordflow">if</span> (!is_shared) <span class="keyword">delete</span> pVal; }
<a name="l00300"></a>00300 
<a name="l00302"></a>00302   <span class="keyword">self</span>&amp; operator=(<span class="keyword">const</span> <span class="keyword">self</span>&amp; rhs) {
<a name="l00303"></a>00303     pVal = rhs.pVal; is_shared = <span class="keyword">true</span>; 
<a name="l00304"></a>00304     <span class="keywordflow">return</span> *<span class="keyword">this</span>;
<a name="l00305"></a>00305   } 
<a name="l00306"></a>00306 
<a name="l00308"></a>00308 
<a name="l00309"></a>00309   value_type* operator-&gt;(){ <span class="keywordflow">return</span> pVal; }
<a name="l00310"></a>00310   <span class="keyword">const</span> value_type* operator-&gt;()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> pVal; }
<a name="l00311"></a>00311   value_type&amp; <a class="code" href="namespacepolybori.html#77e199828cafa5b365a0bd01d8ba7e02" title="Multiplication of monomials.">operator*</a>(){ <span class="keywordflow">return</span> *pVal; }
<a name="l00312"></a>00312   <span class="keyword">const</span> value_type&amp; <a class="code" href="namespacepolybori.html#77e199828cafa5b365a0bd01d8ba7e02" title="Multiplication of monomials.">operator*</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> *pVal; }
<a name="l00313"></a>00313   <span class="keywordtype">bool</span> <a class="code" href="namespacepolybori.html#d7b7beadb4e8021c43d72dd8e851d27c" title="Equality check (with constant lhs).">operator==</a>(<span class="keyword">const</span> <span class="keyword">self</span>&amp; rhs)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> (pVal==rhs.pVal); }
<a name="l00314"></a>00314   operator bool()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> pVal != NULL; }
<a name="l00316"></a>00316 
<a name="l00318"></a>00318   <span class="keywordtype">bool</span> unique()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> !is_shared; }
<a name="l00319"></a>00319 
<a name="l00320"></a>00320 <span class="keyword">protected</span>:
<a name="l00322"></a>00322   value_type* pVal;
<a name="l00323"></a>00323 
<a name="l00325"></a>00325   <span class="keywordtype">bool</span> is_shared;
<a name="l00326"></a>00326 };
<a name="l00327"></a>00327 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00328"></a>00328 
<a name="l00329"></a>00329 <span class="preprocessor"># define PBORI_SHARED_PTR(Type) PBORI::pbori_shared_ptr&lt;Type&gt;</span>
<a name="l00330"></a>00330 <span class="preprocessor"></span>
<a name="l00331"></a>00331 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00332"></a>00332 <span class="comment">// Clean second pointer</span>
<a name="l00333"></a>00333 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ValueType&gt;
<a name="l00334"></a>00334 <span class="keywordtype">void</span>
<a name="l00335"></a>00335 <a class="code" href="namespacepolybori.html#0d6cd358710e1718f9a5fb822c3a0ab9">pbori_shared_ptr_postclean</a>( <span class="keyword">const</span> <a class="code" href="pbori__defs_8h.html#153708bc063bf46d46db7dea298e2b83" title="Get shared pointer type.">PBORI_SHARED_PTR</a>(ValueType)&amp; lhs, 
<a name="l00336"></a>00336                             <a class="code" href="pbori__defs_8h.html#153708bc063bf46d46db7dea298e2b83" title="Get shared pointer type.">PBORI_SHARED_PTR</a>(ValueType)&amp; rhs ){
<a name="l00337"></a>00337   <span class="keywordflow">if</span>( lhs.unique() &amp;&amp; (lhs == rhs) )
<a name="l00338"></a>00338     rhs = <a class="code" href="pbori__defs_8h.html#153708bc063bf46d46db7dea298e2b83" title="Get shared pointer type.">PBORI_SHARED_PTR</a>(ValueType)();
<a name="l00339"></a>00339 }
<a name="l00340"></a>00340 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00341"></a>00341 
<a name="l00342"></a>00342 
<a name="l00343"></a>00343 <span class="preprocessor">#endif // of #ifndef PBORI_NO_BOOST_PTR</span>
<a name="l00344"></a>00344 <span class="preprocessor"></span>
<a name="l00345"></a>00345 
<a name="l00346"></a>00346 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00347"></a>00347 
<a name="l00349"></a>00349 <span class="keyword">template</span> &lt;<span class="keyword">class</span> DDType&gt;
<a name="l00350"></a>00350 <span class="keyword">class </span>CDDInterface;
<a name="l00351"></a>00351 
<a name="l00353"></a>00353 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ManType&gt;
<a name="l00354"></a>00354 <span class="keyword">class </span><a class="code" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to Cudd&amp;#39;s...">CDDManager</a>;
<a name="l00355"></a>00355 
<a name="l00361"></a><a class="code" href="structpolybori_1_1COrderEnums.html">00361</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1COrderEnums.html" title="This struct contains type definitions and enumerations to be used for order codes...">COrderEnums</a> {
<a name="l00363"></a><a class="code" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2c">00363</a>   <span class="keyword">enum</span> <a class="code" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2c" title="Codes For orderings.">ordercodes</a> {
<a name="l00364"></a><a class="code" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2c3f5a1c52d91bb75edeb973ff8e376cf7">00364</a>     lp,
<a name="l00365"></a><a class="code" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2c16721f5deb89e2e0a66775b6fafcb97d">00365</a>     dlex,
<a name="l00366"></a><a class="code" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2cb8b7adffe5adf5e8f5aa1db5773c2fd7">00366</a>     dp_asc,
<a name="l00367"></a><a class="code" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2cdc9126fb196c0d5b5ce66b11e7cba281">00367</a>     block_dlex,
<a name="l00368"></a><a class="code" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2cd8dd9233072b98eebfaeef7e2406c4f7">00368</a>     block_dp_asc
<a name="l00369"></a>00369   };
<a name="l00370"></a>00370 };
<a name="l00371"></a>00371 
<a name="l00377"></a><a class="code" href="structpolybori_1_1CErrorEnums.html">00377</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1CErrorEnums.html" title="This struct contains type definitions and enumerations to be used for error codes...">CErrorEnums</a> {
<a name="l00379"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b">00379</a>   <span class="keyword">enum</span> <a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b" title="Error codes enumeration.">errorcodes</a> {
<a name="l00380"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b8d883c091471f1980aab1a536ff2ff45">00380</a>     alright = 0,
<a name="l00381"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b82fe11c6bec4bb6860671bd297601a58">00381</a>     failed,
<a name="l00382"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9bc2057f18ccb6f815d63f763d46a54517">00382</a>     no_ring,
<a name="l00383"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b169abfabfe3dfa898dd91e17d5dc6f99">00383</a>     invalid,
<a name="l00384"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b10f5b92306c4ae64beef9df53d257db4">00384</a>     out_of_bounds,
<a name="l00385"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b3db9fc7f6c046dc5ae7547edb331ec74">00385</a>     io_error,
<a name="l00386"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9bada2d8c17e112221a1ca18fabcefb3d5">00386</a>     monomial_zero,
<a name="l00387"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b4c34b67e92108d26ab76668878fbded3">00387</a>     illegal_on_zero,
<a name="l00388"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9bf0be0f49410429ba04b1ca3638cdcafc">00388</a>     division_by_zero,
<a name="l00389"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b93b3fb7189a204b0dd9d7c72f5a34016">00389</a>     invalid_ite,
<a name="l00390"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b6ecb6b91df19c19b35409af8c7e1a35a">00390</a>     not_implemented,
<a name="l00391"></a>00391 
<a name="l00392"></a><a class="code" href="structpolybori_1_1CErrorEnums.html#11488a28e8b1d3cb4824beef3e996f9b471489d20f4558971128aa315e71b5f9">00392</a>     last_error
<a name="l00393"></a>00393   };
<a name="l00394"></a>00394 };
<a name="l00395"></a>00395 
<a name="l00401"></a><a class="code" href="structpolybori_1_1CCompareEnums.html">00401</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1CCompareEnums.html" title="This struct contains type definitions and enumerations to be used for comparisons...">CCompareEnums</a> {
<a name="l00403"></a><a class="code" href="structpolybori_1_1CCompareEnums.html#7c3037acee7bc222f9e651d63e3ec91e">00403</a>   <span class="keyword">enum</span> <a class="code" href="structpolybori_1_1CCompareEnums.html#7c3037acee7bc222f9e651d63e3ec91e" title="Comparision codes enumeration.">comparecodes</a> {
<a name="l00404"></a><a class="code" href="structpolybori_1_1CCompareEnums.html#7c3037acee7bc222f9e651d63e3ec91e05a0d458d5cb7ce1db6ab2626e4dcfd1">00404</a>     less_than = -1,
<a name="l00405"></a><a class="code" href="structpolybori_1_1CCompareEnums.html#7c3037acee7bc222f9e651d63e3ec91edb60bc4884dc3ef485d0c4b8f1d0114f">00405</a>     equality = 0,
<a name="l00406"></a><a class="code" href="structpolybori_1_1CCompareEnums.html#7c3037acee7bc222f9e651d63e3ec91e56d519a9c17cd5233691d61b5175cfd1">00406</a>     greater_than = +1,
<a name="l00407"></a><a class="code" href="structpolybori_1_1CCompareEnums.html#7c3037acee7bc222f9e651d63e3ec91e9906fceae94391d4384e118c6c443d6f">00407</a>     less_or_equal_max = 0,
<a name="l00408"></a><a class="code" href="structpolybori_1_1CCompareEnums.html#7c3037acee7bc222f9e651d63e3ec91e6f834869b6a150ca7b4aa60110d4cb03">00408</a>     greater_or_equal_min = 0
<a name="l00409"></a>00409   };
<a name="l00410"></a>00410 
<a name="l00411"></a><a class="code" href="structpolybori_1_1CCompareEnums.html#d965ee3372b81220782e6cd96d6ce9bff906f14b9abfc33aab90c046e1ec0d57">00411</a>   <span class="keyword">enum</span> { max_idx = CUDD_MAXINDEX };
<a name="l00412"></a>00412 };
<a name="l00413"></a>00413 
<a name="l00418"></a><a class="code" href="structpolybori_1_1CAuxTypes.html">00418</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1CAuxTypes.html" title="This struct contains auxiliary type definitions.">CAuxTypes</a> {
<a name="l00419"></a>00419   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00420"></a>00420   <span class="comment">// types for several purposes</span>
<a name="l00421"></a>00421   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00422"></a>00422 
<a name="l00424"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#ae2c602841648d0b2b240eb3b612111e">00424</a>   <span class="keyword">typedef</span> <span class="keywordtype">bool</span> bool_type;
<a name="l00425"></a>00425 
<a name="l00427"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">00427</a>   <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> size_type;
<a name="l00428"></a>00428 
<a name="l00430"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#54250b7e59ca3f754d1c1d52b07c339a">00430</a>   <span class="keyword">typedef</span> <span class="keywordtype">int</span> integer_type;
<a name="l00431"></a>00431 
<a name="l00433"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">00433</a>   <span class="keyword">typedef</span> <span class="keywordtype">int</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>;
<a name="l00434"></a>00434 
<a name="l00436"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#eb07372fd3478864402ba0e30b211d5e">00436</a>   <span class="keyword">typedef</span> std::size_t hash_type;
<a name="l00437"></a>00437 
<a name="l00439"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#3833bacefff1e7ccd8b44ac77b43f626">00439</a>   <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> errornum_type;
<a name="l00440"></a>00440 
<a name="l00442"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">00442</a>   <span class="keyword">typedef</span> <span class="keywordtype">int</span> comp_type;
<a name="l00443"></a>00443 
<a name="l00445"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#11bd178c4d6ac58c4ce140e20f926afc">00445</a>   <span class="keyword">typedef</span> <span class="keywordtype">int</span> ordercode_type;
<a name="l00446"></a>00446 
<a name="l00448"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#4a2cdc40729c10c4cb53a98270c93129">00448</a>   <span class="keyword">typedef</span> <span class="keyword">const</span> <span class="keywordtype">char</span>* errortext_type;
<a name="l00449"></a>00449 
<a name="l00451"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#e146a837e32358883da648ea0f83004d">00451</a>   <span class="keyword">typedef</span> <a class="code" href="pbori__defs_8h.html#8299a124cc093130fac56d4ed1aeb3b2" title="Get output stream type.">PBORI_OSTREAM</a> ostream_type;
<a name="l00452"></a>00452 
<a name="l00454"></a><a class="code" href="structpolybori_1_1CAuxTypes.html#5064c96eafe7bcf2b716dacb8b63113d">00454</a>   <span class="keyword">typedef</span> <span class="keyword">const</span> <span class="keywordtype">char</span>* vartext_type;
<a name="l00455"></a>00455 };
<a name="l00456"></a>00456 
<a name="l00457"></a>00457 <span class="keyword">class </span><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>;
<a name="l00458"></a>00458 <span class="keyword">class </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 name="l00459"></a>00459 
<a name="l00460"></a>00460 
<a name="l00469"></a><a class="code" href="structpolybori_1_1CTypes.html">00469</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a>: 
<a name="l00470"></a>00470   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1COrderEnums.html" title="This struct contains type definitions and enumerations to be used for order codes...">COrderEnums</a>, <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CErrorEnums.html" title="This struct contains type definitions and enumerations to be used for error codes...">CErrorEnums</a>, <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CCompareEnums.html" title="This struct contains type definitions and enumerations to be used for comparisons...">CCompareEnums</a>,
<a name="l00471"></a>00471   <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CAuxTypes.html" title="This struct contains auxiliary type definitions.">CAuxTypes</a> {
<a name="l00472"></a>00472   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00473"></a>00473   <span class="comment">// types for treatment of decision diagrams</span>
<a name="l00474"></a>00474   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00475"></a>00475 
<a name="l00477"></a>00477 
<a name="l00478"></a><a class="code" href="structpolybori_1_1CTypes.html#b4ee488ec63f9adaf17778bcffb877fe">00478</a>   <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1COrderEnums.html" title="This struct contains type definitions and enumerations to be used for order codes...">COrderEnums</a> <a class="code" href="structpolybori_1_1COrderEnums.html" title="This struct contains type definitions and enumerations to be used for order codes...">orderenums_type</a>;
<a name="l00479"></a><a class="code" href="structpolybori_1_1CTypes.html#648f7d55cd3ca4ab21e06e3b7dd77875">00479</a>   <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1CErrorEnums.html" title="This struct contains type definitions and enumerations to be used for error codes...">CErrorEnums</a> <a class="code" href="structpolybori_1_1CErrorEnums.html" title="This struct contains type definitions and enumerations to be used for error codes...">errorenums_type</a>;
<a name="l00480"></a><a class="code" href="structpolybori_1_1CTypes.html#38484502a9011077cd0362665bd5bd1e">00480</a>   <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1CCompareEnums.html" title="This struct contains type definitions and enumerations to be used for comparisons...">CCompareEnums</a> <a class="code" href="structpolybori_1_1CCompareEnums.html" title="This struct contains type definitions and enumerations to be used for comparisons...">compenums_type</a>;
<a name="l00481"></a><a class="code" href="structpolybori_1_1CTypes.html#d6b9d19de4d9bddda433b880b8291d8e">00481</a>   <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1CAuxTypes.html" title="This struct contains auxiliary type definitions.">CAuxTypes</a> <a class="code" href="structpolybori_1_1CAuxTypes.html" title="This struct contains auxiliary type definitions.">auxtypes_type</a>;
<a name="l00483"></a>00483 
<a name="l00485"></a><a class="code" href="structpolybori_1_1CTypes.html#1a4cd2f372ec4382e3f9ebb06375027c">00485</a>   <span class="keyword">typedef</span> <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> <a class="code" href="classpolybori_1_1CCuddZDD.html" title="This class defines a C++ interface to CUDD&amp;#39;s zero-suppressed decision diagram...">dd_base</a>;
<a name="l00486"></a>00486   <span class="comment">//  typedef ZDD dd_base;</span>
<a name="l00487"></a>00487 
<a name="l00489"></a><a class="code" href="structpolybori_1_1CTypes.html#3e4eac38e0848c489a3df8d86d20deb1">00489</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CDDInterface.html">CDDInterface&lt;dd_base&gt;</a> <a class="code" href="classpolybori_1_1CDDInterface.html">dd_type</a>;
<a name="l00490"></a>00490 
<a name="l00492"></a><a class="code" href="structpolybori_1_1CTypes.html#c8161bb19c890c1bf0e26efff544fbcd">00492</a>   <span class="keyword">typedef</span> ZDDvector ddvector_type;
<a name="l00493"></a>00493 
<a name="l00495"></a><a class="code" href="structpolybori_1_1CTypes.html#c46ca274b7cd7352e19eb68a205a883c">00495</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="l00496"></a>00496 
<a name="l00498"></a><a class="code" href="structpolybori_1_1CTypes.html#5d03f5b734d114bd81671c0720934da2">00498</a>   <span class="keyword">typedef</span> <a class="code" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to Cudd&amp;#39;s...">CDDManager&lt;manager_base&gt;</a> <a class="code" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to Cudd&amp;#39;s...">manager_type</a>;
<a name="l00499"></a>00499 
<a name="l00501"></a><a class="code" href="structpolybori_1_1CTypes.html#d518848bb287943b59fc6db55140f6cb">00501</a>   <span class="keyword">typedef</span> <a class="code" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to Cudd&amp;#39;s...">CDDManager&lt;manager_base&amp;&gt;</a>  <a class="code" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to Cudd&amp;#39;s...">manager_reference</a>;
<a name="l00502"></a>00502   
<a name="l00504"></a><a class="code" href="structpolybori_1_1CTypes.html#6178bf94c86c467475afd3a2029c6b4c">00504</a>   <span class="keyword">typedef</span> <a class="code" href="pbori__defs_8h.html#153708bc063bf46d46db7dea298e2b83" title="Get shared pointer type.">PBORI_SHARED_PTR</a>(<a class="code" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to Cudd&amp;#39;s...">manager_type</a>) manager_ptr;
<a name="l00505"></a>00505 
<a name="l00507"></a><a class="code" href="structpolybori_1_1CTypes.html#f86b4138683469af3ad842e19f8ad389">00507</a>   static <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a> max_index() { <span class="keywordflow">return</span> CCompareEnums::max_idx; }
<a name="l00508"></a>00508 };
<a name="l00509"></a>00509 
<a name="l00510"></a>00510 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00511"></a>00511 
<a name="l00512"></a>00512 <span class="preprocessor">#ifdef PBORI_DEVELOPER</span>
<a name="l00513"></a><a class="code" href="pbori__defs_8h.html#bf439b66bfc79ff9592a2c87d9a38b66">00513</a> <span class="preprocessor"></span><span class="preprocessor"># define PBORI_NOT_IMPLEMENTED \</span>
<a name="l00514"></a>00514 <span class="preprocessor">  throw PBORI::PBoRiError(PBORI::CTypes::not_implemented);</span>
<a name="l00515"></a>00515 <span class="preprocessor"></span><span class="preprocessor">#else</span>
<a name="l00516"></a>00516 <span class="preprocessor"></span><span class="preprocessor"># define PBORI_NOT_IMPLEMENTED </span>
<a name="l00517"></a>00517 <span class="preprocessor"></span><span class="preprocessor">#endif</span>
<a name="l00518"></a>00518 <span class="preprocessor"></span>
<a name="l00519"></a>00519 <span class="comment">// Set default addition method</span>
<a name="l00520"></a>00520 <span class="preprocessor">#if defined(PBORI_ADD_BY_ITE) || defined(PBORI_ADD_BY_OR) \</span>
<a name="l00521"></a>00521 <span class="preprocessor">    || defined(PBORI_ADD_BY_UNION) || defined(PBORI_ADD_BY_EXTRA_XOR) \</span>
<a name="l00522"></a>00522 <span class="preprocessor">    || defined(PBORI_ADD_BY_XOR)</span>
<a name="l00523"></a>00523 <span class="preprocessor"></span><span class="preprocessor">#else</span>
<a name="l00524"></a><a class="code" href="pbori__defs_8h.html#acfaa11210030cc0dcdcec4107cdf2b8">00524</a> <span class="preprocessor"></span><span class="preprocessor"># define PBORI_ADD_BY_XOR</span>
<a name="l00525"></a>00525 <span class="preprocessor"></span><span class="preprocessor">#endif </span>
<a name="l00526"></a>00526 <span class="preprocessor"></span>
<a name="l00527"></a>00527 
<a name="l00528"></a>00528 <span class="comment">// Set default union-xor method</span>
<a name="l00529"></a>00529 <span class="preprocessor">#ifdef PBORI_ADD_BY_XOR</span>
<a name="l00530"></a><a class="code" href="pbori__defs_8h.html#4d91e6409a4441ee12f5614357e43c9c">00530</a> <span class="preprocessor"></span><span class="preprocessor"># define PBORI_LOWLEVEL_XOR </span>
<a name="l00531"></a>00531 <span class="preprocessor"></span><span class="preprocessor">#endif </span>
<a name="l00532"></a>00532 <span class="preprocessor"></span>
<a name="l00533"></a>00533 <span class="comment">// Set default method for getting all used variables</span>
<a name="l00534"></a>00534 <span class="preprocessor">#if defined(PBORI_USEDVARS_BY_IDX) || defined(PBORI_USEDVARS_BY_TRANSFORM) \</span>
<a name="l00535"></a>00535 <span class="preprocessor">  || defined(PBORI_USEDVARS_HIGHLEVEL)|| defined(PBORI_USEDVARS_BY_SUPPORT)\</span>
<a name="l00536"></a>00536 <span class="preprocessor">  || defined(PBORI_USEDVARS_EXTRA)</span>
<a name="l00537"></a>00537 <span class="preprocessor"></span><span class="preprocessor">#else</span>
<a name="l00538"></a><a class="code" href="pbori__defs_8h.html#bd915264be0d5e193fb9078047f680bd">00538</a> <span class="preprocessor"></span><span class="preprocessor"># define PBORI_USEDVARS_BY_IDX</span>
<a name="l00539"></a>00539 <span class="preprocessor"></span><span class="comment">//PBORI_USEDVARS_EXTRA</span>
<a name="l00540"></a>00540 <span class="preprocessor">#endif </span>
<a name="l00541"></a>00541 <span class="preprocessor"></span>
<a name="l00542"></a>00542 <span class="preprocessor">#endif // of #ifndef pbori_defs_h_</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