Sophie

Sophie

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

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: BoolePolyRing.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>BoolePolyRing.h</h1><a href="BoolePolyRing_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="l00160"></a>00160 <span class="comment"></span><span class="comment">//*****************************************************************************</span>
<a name="l00161"></a>00161 
<a name="l00162"></a>00162 <span class="comment">// load PolyBoRi settings</span>
<a name="l00163"></a>00163 <span class="preprocessor"># include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span>
<a name="l00164"></a>00164 
<a name="l00165"></a>00165 <span class="comment">// include basic decision diagram manager interface </span>
<a name="l00166"></a>00166 <span class="preprocessor">#include "<a class="code" href="CDDManager_8h.html">CDDManager.h</a>"</span>
<a name="l00167"></a>00167 <span class="preprocessor">#include "<a class="code" href="OrderedManager_8h.html">OrderedManager.h</a>"</span>
<a name="l00168"></a>00168 
<a name="l00169"></a>00169 <span class="preprocessor">#include "<a class="code" href="BooleRing_8h.html">BooleRing.h</a>"</span>
<a name="l00170"></a>00170 
<a name="l00171"></a>00171   <span class="comment">// temporarily for work around</span>
<a name="l00172"></a>00172 <span class="preprocessor">#include &lt;list&gt;</span>
<a name="l00173"></a>00173 
<a name="l00174"></a>00174 <span class="preprocessor">#ifndef BoolePolyRing_h_</span>
<a name="l00175"></a>00175 <span class="preprocessor"></span><span class="preprocessor">#define BoolePolyRing_h_</span>
<a name="l00176"></a>00176 <span class="preprocessor"></span>
<a name="l00177"></a>00177 
<a name="l00178"></a>00178 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00179"></a>00179 
<a name="l00180"></a>00180 <span class="keyword">class </span>COrderBase;
<a name="l00181"></a>00181 <span class="keyword">class </span>CDynamicOrderBase;
<a name="l00182"></a>00182 
<a name="l00183"></a>00183 <span class="keyword">class </span>BooleExponent;
<a name="l00184"></a>00184 <span class="keyword">class </span>BooleMonomial;
<a name="l00185"></a>00185 
<a name="l00186"></a>00186 
<a name="l00192"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html">00192</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1BoolePolyRing.html" title="This class adds order-related functionality to BooleRing.">BoolePolyRing</a>: 
<a name="l00193"></a>00193   <span class="keyword">public</span> <a class="code" href="classpolybori_1_1BooleRing.html" title="This class is just a wrapper for reinterpreting decicion diagram managers as Boolean...">BooleRing</a> {
<a name="l00194"></a>00194 
<a name="l00195"></a>00195  <span class="keyword">public</span>:
<a name="l00196"></a>00196   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00197"></a>00197   <span class="comment">// types definitions</span>
<a name="l00198"></a>00198   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00199"></a>00199 
<a name="l00201"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#2e5c9827b347dbb8fbaae0764d9da66a">00201</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BoolePolyRing.html" title="This class adds order-related functionality to BooleRing.">BoolePolyRing</a> <span class="keyword">self</span>;
<a name="l00202"></a>00202 
<a name="l00204"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#d585ec48286e8cccc590851bff698edc">00204</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BooleRing.html" title="This class is just a wrapper for reinterpreting decicion diagram managers as Boolean...">BooleRing</a> <a class="code" href="classpolybori_1_1BooleRing.html" title="This class is just a wrapper for reinterpreting decicion diagram managers as Boolean...">base</a>;
<a name="l00205"></a>00205 
<a name="l00207"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#59ca961fd801171932c3d68481518098">00207</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">exp_type</a>;
<a name="l00208"></a>00208 
<a name="l00210"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#19841fbda22c538a8e9a982f076cb404">00210</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&amp;#39;s decicion diagram...">BooleMonomial</a> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&amp;#39;s decicion diagram...">monom_type</a>;
<a name="l00211"></a>00211 
<a name="l00213"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#134809a2dbe9252f17b746cbc3d7a2e8">00213</a>   <span class="keyword">typedef</span> std::vector&lt;idx_type&gt; block_idx_type;
<a name="l00214"></a>00214 
<a name="l00216"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#3cb82e1f7a3fa38b4be3b1f4df643e89">00216</a>   <span class="keyword">typedef</span> block_idx_type::const_iterator block_iterator;
<a name="l00217"></a>00217 
<a name="l00219"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#92e72b59df2cd02d96cfc1cfe1f7e6a5">00219</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">CDynamicOrderBase</a> <a class="code" href="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">order_type</a>;
<a name="l00220"></a>00220   
<a name="l00222"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#e586749b972cd95d1cb3bcb4c16a9e6d">00222</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="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">order_type</a>) order_ptr;
<a name="l00223"></a>00223 
<a name="l00225"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#90b59c9589e1a16d2eaad1f6d27af320">00225</a>   typedef <a class="code" href="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">order_type</a>&amp; <a class="code" href="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">order_reference</a>;
<a name="l00226"></a>00226 
<a name="l00227"></a>00227   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00228"></a>00228   <span class="comment">// constructors and destructor</span>
<a name="l00229"></a>00229   <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00230"></a>00230 
<a name="l00232"></a>00232   using <a class="code" href="classpolybori_1_1BooleRing.html" title="This class is just a wrapper for reinterpreting decicion diagram managers as Boolean...">base</a>::<a class="code" href="structpolybori_1_1COrderEnums.html#c92593d81965933abfad8164d6f0ce2c" title="Codes For orderings.">ordercodes</a>;
<a name="l00233"></a>00233 
<a name="l00235"></a>00235   <a class="code" href="classpolybori_1_1BoolePolyRing.html" title="This class adds order-related functionality to BooleRing.">BoolePolyRing</a>(size_type nvars=100, 
<a name="l00236"></a>00236                 ordercode_type order = lp,
<a name="l00237"></a>00237                 bool_type make_active = true);
<a name="l00238"></a>00238 
<a name="l00240"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#1fa0ca1650f9d239757043b9a70499ea">00240</a>   ~<a class="code" href="classpolybori_1_1BoolePolyRing.html" title="This class adds order-related functionality to BooleRing.">BoolePolyRing</a>() {}
<a name="l00241"></a>00241 
<a name="l00243"></a>00243   <span class="keywordtype">void</span> activate();
<a name="l00244"></a>00244 
<a name="l00245"></a>00245 
<a name="l00247"></a>00247   <span class="keywordtype">void</span> changeOrdering(ordercode_type);
<a name="l00248"></a>00248 
<a name="l00249"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#508619b996a0c8572f36cf7f92778bb3">00249</a>   <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a> <a class="code" href="classpolybori_1_1BoolePolyRing.html#508619b996a0c8572f36cf7f92778bb3">lastBlockStart</a>() {
<a name="l00250"></a>00250     <span class="keywordflow">if</span> (ordering().isBlockOrder()) {
<a name="l00251"></a>00251       <span class="keywordflow">return</span> *(ordering().blockEnd() - 2);
<a name="l00252"></a>00252     }
<a name="l00253"></a>00253     <span class="keywordflow">else</span> <span class="keywordflow">if</span> (ordering().isLexicographical()) {
<a name="l00254"></a>00254       <span class="keywordflow">return</span> CTypes::max_idx;
<a name="l00255"></a>00255     }
<a name="l00256"></a>00256     <span class="keywordflow">return</span> 0;
<a name="l00257"></a>00257   }
<a name="l00258"></a>00258 
<a name="l00260"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#1f45f58175d56a7a7fe6a4e835eda54a">00260</a>   <a class="code" href="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">order_reference</a> <a class="code" href="classpolybori_1_1BoolePolyRing.html#1f45f58175d56a7a7fe6a4e835eda54a" title="Access ordering of *this.">ordering</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> *pOrder; }
<a name="l00261"></a>00261 
<a name="l00262"></a>00262 <span class="keyword">protected</span>:
<a name="l00264"></a><a class="code" href="classpolybori_1_1BoolePolyRing.html#ebd9ee66952d5080c633e847cf0ec262">00264</a>   order_ptr pOrder;
<a name="l00265"></a>00265 };
<a name="l00266"></a>00266 
<a name="l00267"></a>00267 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00268"></a>00268 
<a name="l00269"></a>00269 <span class="preprocessor">#endif // of #ifndef BoolePolyRing_h_</span>
</pre></div></div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:52 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