Sophie

Sophie

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

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: CExpIter.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>CExpIter.h</h1><a href="CExpIter_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="l00034"></a>00034 <span class="comment"></span><span class="comment">//*****************************************************************************</span>
<a name="l00035"></a>00035 
<a name="l00036"></a>00036 <span class="comment">// include basic definitions</span>
<a name="l00037"></a>00037 <span class="preprocessor">#include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span>
<a name="l00038"></a>00038 
<a name="l00039"></a>00039 <span class="comment">// get stuff for term iteration</span>
<a name="l00040"></a>00040 <span class="preprocessor">#include "<a class="code" href="CTermStack_8h.html">CTermStack.h</a>"</span>
<a name="l00041"></a>00041 <span class="preprocessor">#include "<a class="code" href="CTermIter_8h.html">CTermIter.h</a>"</span>
<a name="l00042"></a>00042 
<a name="l00043"></a>00043 <span class="preprocessor">#ifndef CExpIter_h_</span>
<a name="l00044"></a>00044 <span class="preprocessor"></span><span class="preprocessor">#define CExpIter_h_</span>
<a name="l00045"></a>00045 <span class="preprocessor"></span>
<a name="l00046"></a>00046 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&amp;#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00047"></a>00047 
<a name="l00048"></a>00048 
<a name="l00049"></a>00049 <span class="keyword">template</span> &lt;<span class="keyword">class</span> ExpType&gt;
<a name="l00050"></a><a class="code" href="classpolybori_1_1CExpGenerator.html">00050</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CExpGenerator.html">CExpGenerator</a> {
<a name="l00051"></a>00051 
<a name="l00052"></a>00052 <span class="keyword">public</span>:
<a name="l00053"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#b4d41656f7af76121ae2723101fa30ac">00053</a>   <span class="keyword">typedef</span> ExpType value_type;
<a name="l00054"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#ea19d9b28ae13ca013cdfc8d465922eb">00054</a>   <span class="keyword">typedef</span> <span class="keyword">const</span> value_type&amp; result_type;
<a name="l00055"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#9f5a187cee2069f265a7039b2deae946">00055</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> value_type::size_type size_type;
<a name="l00056"></a>00056 
<a name="l00058"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#7e3fa411ca5c4c37313bbe227a9ed51b">00058</a>   <a class="code" href="classpolybori_1_1CExpGenerator.html#7e3fa411ca5c4c37313bbe227a9ed51b" title="Default constructor.">CExpGenerator</a>(): m_result() {}
<a name="l00059"></a>00059 
<a name="l00061"></a>00061   <span class="keyword">template</span> &lt;<span class="keyword">class</span> SequenceType&gt;
<a name="l00062"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#d366f0c922d3b390da6da9511c545e1a">00062</a>   result_type <a class="code" href="classpolybori_1_1CExpGenerator.html#d366f0c922d3b390da6da9511c545e1a" title="Return currently stored results.">operator()</a>(<span class="keyword">const</span> SequenceType&amp;)<span class="keyword"> const</span>{
<a name="l00063"></a>00063     <span class="keywordflow">return</span> m_result;
<a name="l00064"></a>00064   }
<a name="l00065"></a>00065 
<a name="l00067"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#07ece7f137f0e6276477a4c18a8f5f78">00067</a>   <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CExpGenerator.html#07ece7f137f0e6276477a4c18a8f5f78" title="Take the first nlen elements of the exponent vector only.">resize</a>(size_type nlen) { m_result.resize(nlen); }
<a name="l00068"></a>00068 
<a name="l00070"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#b8a514409f9bbff096de3ad9f5ff9b3c">00070</a>   <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CExpGenerator.html#b8a514409f9bbff096de3ad9f5ff9b3c" title="Prepare space for nlen elements.">reserve</a>(size_type nlen) { m_result.reserve(nlen); }
<a name="l00071"></a>00071 
<a name="l00073"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#8b3116e8d7439e08a9ff366273e96cef">00073</a>   size_type <a class="code" href="classpolybori_1_1CExpGenerator.html#8b3116e8d7439e08a9ff366273e96cef" title="Get current size.">size</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_result.size(); }
<a name="l00074"></a>00074 
<a name="l00076"></a>00076   <span class="keyword">template</span> &lt;<span class="keyword">class</span> Iterator&gt;
<a name="l00077"></a><a class="code" href="classpolybori_1_1CExpGenerator.html#ffaee79bf54e950700310d97fc7b3547">00077</a>   <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CExpGenerator.html#ffaee79bf54e950700310d97fc7b3547" title="Append elements to exponent vector.">append</a>(Iterator start, Iterator finish) { 
<a name="l00078"></a>00078     <span class="keywordflow">while</span> (start != finish){
<a name="l00079"></a>00079       m_result.push_back(*start);
<a name="l00080"></a>00080       ++start;
<a name="l00081"></a>00081     }
<a name="l00082"></a>00082   }
<a name="l00083"></a>00083 
<a name="l00084"></a>00084 <span class="keyword">private</span>:
<a name="l00085"></a>00085   value_type m_result;
<a name="l00086"></a>00086 };
<a name="l00087"></a>00087 
<a name="l00088"></a>00088 
<a name="l00089"></a>00089 <span class="keyword">template</span> &lt;<span class="keyword">class</span> NaviType, <span class="keyword">class</span> ExpType&gt;
<a name="l00090"></a><a class="code" href="structpolybori_1_1pbori__base_3_01CExpIter_3_01NaviType_00_01ExpType_01_4_01_4.html">00090</a> <span class="keyword">struct </span>pbori_base&lt;<a class="code" href="classpolybori_1_1CExpIter.html">CExpIter</a>&lt;NaviType, ExpType&gt; &gt; {
<a name="l00091"></a>00091 
<a name="l00092"></a><a class="code" href="structpolybori_1_1pbori__base_3_01CExpIter_3_01NaviType_00_01ExpType_01_4_01_4.html#b4f4d3463b3b0d5643a3d0f360f3fe6a">00092</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CTermStack.html" title="This class defines an iterator for the monomials in a Boolean polynomial.">CTermStack&lt;NaviType, std::forward_iterator_tag&gt;</a> <a class="code" href="classpolybori_1_1CTermStack.html" title="This class defines an iterator for the monomials in a Boolean polynomial.">stack_type</a>;
<a name="l00093"></a><a class="code" href="structpolybori_1_1pbori__base_3_01CExpIter_3_01NaviType_00_01ExpType_01_4_01_4.html#1fcd6c8c855702bf97bd200b8c7df223">00093</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CTermIter.html" title="This class defines an iterator for the monomials in a Boolean polynomial.">CTermIter&lt;stack_type, CExpGenerator&lt;ExpType&gt;</a> &gt; <a class="code" href="classpolybori_1_1CTermIter.html" title="This class defines an iterator for the monomials in a Boolean polynomial.">type</a>;
<a name="l00094"></a>00094 };
<a name="l00095"></a>00095 
<a name="l00096"></a>00096 <span class="keyword">template</span> &lt;<span class="keyword">class</span> NaviType, <span class="keyword">class</span> ExpType&gt;
<a name="l00097"></a><a class="code" href="classpolybori_1_1CExpIter.html">00097</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CExpIter.html">CExpIter</a> : 
<a name="l00098"></a>00098   <span class="keyword">public</span> pbori_base&lt;CExpIter&lt;NaviType, ExpType&gt; &gt;::type {
<a name="l00099"></a>00099 
<a name="l00100"></a>00100 <span class="keyword">public</span>:
<a name="l00102"></a><a class="code" href="classpolybori_1_1CExpIter.html#a3e52e311f31637a7149740c88e8c4ca">00102</a>   <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CExpIter.html">CExpIter&lt;NaviType, ExpType&gt;</a> <span class="keyword">self</span>;
<a name="l00103"></a>00103 
<a name="l00105"></a><a class="code" href="classpolybori_1_1CExpIter.html#d8edb431944ae0666c136b96449e06f1">00105</a>   <span class="keyword">typedef</span> <span class="keyword">typename</span> pbori_base&lt;self&gt;::type base;
<a name="l00106"></a>00106 
<a name="l00108"></a><a class="code" href="classpolybori_1_1CExpIter.html#be862da45f300f7a1219128eab8a38a9">00108</a>   <a class="code" href="classpolybori_1_1CExpIter.html#be862da45f300f7a1219128eab8a38a9" title="Construct iteraor from navigator over decision diagram structure.">CExpIter</a>(NaviType navi): base(navi, typename base::term_generator() ) {
<a name="l00109"></a>00109     base::m_getTerm.reserve(base::m_stack.size());
<a name="l00110"></a>00110     base::m_getTerm.append(base::begin(), base::end()); 
<a name="l00111"></a>00111   }
<a name="l00112"></a>00112   
<a name="l00114"></a><a class="code" href="classpolybori_1_1CExpIter.html#65c61486427cc298283db5c381ffcf5e">00114</a>   <a class="code" href="classpolybori_1_1CExpIter.html#65c61486427cc298283db5c381ffcf5e" title="Default Constructor.">CExpIter</a>(): base() {}
<a name="l00115"></a>00115 
<a name="l00117"></a><a class="code" href="classpolybori_1_1CExpIter.html#08b9e1a67996a64503632206db33a26b">00117</a>   <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CExpIter.html#08b9e1a67996a64503632206db33a26b" title="Incrementation operation core.">increment</a>() { 
<a name="l00118"></a>00118     assert(!base::m_stack.empty());
<a name="l00119"></a>00119     <span class="keywordflow">if</span> (base::m_stack.markedOne()) {
<a name="l00120"></a>00120       base::m_stack.clearOne();
<a name="l00121"></a>00121     }
<a name="l00122"></a>00122     <span class="keywordflow">else</span> {
<a name="l00123"></a>00123       base::m_stack.next();
<a name="l00124"></a>00124       base::m_getTerm.resize( base::m_stack.size() == 0 ?
<a name="l00125"></a>00125                               0: 
<a name="l00126"></a>00126                               base::m_stack.size() - 1);
<a name="l00127"></a>00127 
<a name="l00128"></a>00128       <span class="keywordflow">if</span> (!base::m_stack.empty()) {
<a name="l00129"></a>00129         base::m_stack.followThen();
<a name="l00130"></a>00130         base::m_stack.terminate();
<a name="l00131"></a>00131      }
<a name="l00132"></a>00132     }
<a name="l00133"></a>00133     base::m_getTerm.reserve(base::m_stack.size());
<a name="l00134"></a>00134     base::m_getTerm.append(base::begin() + base::m_getTerm.size(), base::end());
<a name="l00135"></a>00135   }
<a name="l00136"></a>00136 
<a name="l00138"></a><a class="code" href="classpolybori_1_1CExpIter.html#a1aac80742939b125c966cb8f533e5d4">00138</a>   <span class="keyword">self</span>&amp; <a class="code" href="classpolybori_1_1CExpIter.html#a1aac80742939b125c966cb8f533e5d4" title="Prefix incrementation operation.">operator++</a>() {
<a name="l00139"></a>00139     increment();
<a name="l00140"></a>00140     <span class="keywordflow">return</span> *<span class="keyword">this</span>;
<a name="l00141"></a>00141   }
<a name="l00143"></a><a class="code" href="classpolybori_1_1CExpIter.html#a32efdfb26fc12620d26fd7a9568e8ea">00143</a>   <span class="keyword">self</span> <a class="code" href="classpolybori_1_1CExpIter.html#a32efdfb26fc12620d26fd7a9568e8ea" title="Postfix incrementation operation.">operator++</a>(<span class="keywordtype">int</span>) {
<a name="l00144"></a>00144     <span class="keyword">self</span> copy(*<span class="keyword">this</span>);
<a name="l00145"></a>00145     increment();
<a name="l00146"></a>00146     <span class="keywordflow">return</span> copy;
<a name="l00147"></a>00147   }
<a name="l00148"></a>00148 };
<a name="l00149"></a>00149 
<a name="l00150"></a>00150 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&amp;#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00151"></a>00151 
<a name="l00152"></a>00152 <span class="preprocessor">#endif</span>
</pre></div></div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:55 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