<!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: CTermStack.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 Page</span></a></li> <li><a href="pages.html"><span>Related Pages</span></a></li> <li><a href="namespaces.html"><span>Namespaces</span></a></li> <li><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 List</span></a></li> <li><a href="globals.html"><span>File Members</span></a></li> </ul> </div> <h1>CTermStack.h</h1><a href="CTermStack_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="l00099"></a>00099 <span class="comment"></span><span class="comment">//*****************************************************************************</span> <a name="l00100"></a>00100 <a name="l00101"></a>00101 <span class="comment">// get standard header</span> <a name="l00102"></a>00102 <span class="preprocessor">#include <stack></span> <a name="l00103"></a>00103 <span class="preprocessor">#include <iterator></span> <a name="l00104"></a>00104 <span class="preprocessor">#include <utility></span> <span class="comment">// for std::pair</span> <a name="l00105"></a>00105 <a name="l00106"></a>00106 <span class="comment">// include basic definitions</span> <a name="l00107"></a>00107 <span class="preprocessor">#include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span> <a name="l00108"></a>00108 <a name="l00109"></a>00109 <span class="comment">// include polybori functionals</span> <a name="l00110"></a>00110 <span class="preprocessor">#include "<a class="code" href="pbori__func_8h.html">pbori_func.h</a>"</span> <a name="l00111"></a>00111 <a name="l00112"></a>00112 <span class="comment">// include polybori properties</span> <a name="l00113"></a>00113 <span class="preprocessor">#include "<a class="code" href="pbori__traits_8h.html">pbori_traits.h</a>"</span> <a name="l00114"></a>00114 <a name="l00115"></a>00115 <span class="preprocessor">#include "<a class="code" href="pbori__routines_8h.html">pbori_routines.h</a>"</span> <a name="l00116"></a>00116 <a name="l00117"></a>00117 <span class="comment">// include boost's indirect iterator facilities</span> <a name="l00118"></a>00118 <span class="preprocessor">#include <boost/iterator/indirect_iterator.hpp></span> <a name="l00119"></a>00119 <a name="l00120"></a>00120 <span class="preprocessor">#include "<a class="code" href="BooleEnv_8h.html">BooleEnv.h</a>"</span> <a name="l00121"></a>00121 <span class="preprocessor">#include "<a class="code" href="CDegreeCache_8h.html">CDegreeCache.h</a>"</span> <a name="l00122"></a>00122 <span class="preprocessor">#include "<a class="code" href="CBidirectTermIter_8h.html">CBidirectTermIter.h</a>"</span> <a name="l00123"></a>00123 <a name="l00124"></a>00124 <a name="l00125"></a>00125 <a name="l00126"></a>00126 <span class="preprocessor">#ifndef CTermStack_h_</span> <a name="l00127"></a>00127 <span class="preprocessor"></span><span class="preprocessor">#define CTermStack_h_</span> <a name="l00128"></a>00128 <span class="preprocessor"></span> <a name="l00129"></a>00129 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&#39;s namespace.">BEGIN_NAMESPACE_PBORI</a> <a name="l00130"></a>00130 <a name="l00132"></a>00132 <span class="keyword">template</span><<span class="keyword">class</span> NavigatorType> <a name="l00133"></a><a class="code" href="structpolybori_1_1cached__deg.html">00133</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1cached__deg.html">cached_deg</a> { <a name="l00134"></a><a class="code" href="structpolybori_1_1cached__deg.html#e1f566d8ed7e6c2169375ddf8296bea1">00134</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CDegreeCache.html">CDegreeCache<></a> <a class="code" href="classpolybori_1_1CDegreeCache.html">cache_type</a>; <a name="l00135"></a><a class="code" href="structpolybori_1_1cached__deg.html#b7046b392043e760a68dba7b722cbbe0">00135</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&#39;s decicion diagram manager.">cache_type::manager_type</a> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&#39;s decicion diagram manager.">manager_type</a>; <a name="l00136"></a><a class="code" href="structpolybori_1_1cached__deg.html#0f4e58eaac9994c1580aa9fc8ac4d3ca">00136</a> <a class="code" href="structpolybori_1_1cached__deg.html#0f4e58eaac9994c1580aa9fc8ac4d3ca">cached_deg</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&#39;s decicion diagram manager.">manager_type</a> & mgr): m_deg_cache(mgr) {} <a name="l00137"></a>00137 <a name="l00138"></a>00138 <span class="keyword">typename</span> NavigatorType::size_type <a name="l00139"></a><a class="code" href="structpolybori_1_1cached__deg.html#def55c87f707a08cd94b45aa0a813790">00139</a> <a class="code" href="structpolybori_1_1cached__deg.html#def55c87f707a08cd94b45aa0a813790">operator()</a>(NavigatorType navi)<span class="keyword"> const </span>{ <a name="l00140"></a>00140 <span class="keywordflow">return</span> <a class="code" href="namespacepolybori.html#11073584b523f82b3febaac201b86365">dd_cached_degree</a>(m_deg_cache, navi); <a name="l00141"></a>00141 } <a name="l00142"></a><a class="code" href="structpolybori_1_1cached__deg.html#63f2fb83be3ef190ad0a4bea65b6eaf6">00142</a> <a class="code" href="classpolybori_1_1CDegreeCache.html">cache_type</a> m_deg_cache; <a name="l00143"></a>00143 }; <a name="l00144"></a>00144 <a name="l00146"></a>00146 <a name="l00147"></a>00147 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType> <a name="l00148"></a><a class="code" href="classpolybori_1_1cached__block__deg.html">00148</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1cached__block__deg.html">cached_block_deg</a> { <a name="l00149"></a>00149 <span class="keyword">public</span>: <a name="l00150"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#5e062177f354a020e2a2b4173b1b1823">00150</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">NavigatorType::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>; <a name="l00151"></a>00151 <a name="l00152"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#e3739246aea303c3f7b0e9267a4349ca">00152</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1cached__block__deg.html">cached_block_deg<NavigatorType></a> <span class="keyword">self</span>; <a name="l00153"></a>00153 <a name="l00155"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#0e0eda43cb04806486542a1af23904a9">00155</a> <span class="keyword">typedef</span> std::vector<idx_type> block_idx_type; <a name="l00156"></a>00156 <a name="l00158"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#7b239b4c8ea314f97fa3d88803a26ed3">00158</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> block_idx_type::const_iterator block_iterator; <a name="l00159"></a>00159 <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CBlockDegreeCache.html">CBlockDegreeCache<CCacheTypes::block_degree, CTypes::dd_type></a> <a name="l00160"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#f45016737de3dffcc9e3288f0a7a3ea9">00160</a> <a class="code" href="classpolybori_1_1CBlockDegreeCache.html">cache_type</a>; <a name="l00161"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#c3c7c0ed9c8b5d9f6d2ef16fa25a078a">00161</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&#39;s decicion diagram manager.">cache_type::manager_type</a> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&#39;s decicion diagram manager.">manager_type</a>; <a name="l00162"></a>00162 <a name="l00163"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#a153adf33bc74e4b290f4944baa7a096">00163</a> <a class="code" href="classpolybori_1_1cached__block__deg.html">cached_block_deg</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1CCuddInterface.html" title="This class defines a C++ interface to CUDD&#39;s decicion diagram manager.">manager_type</a>& mgr): <a name="l00164"></a>00164 <span class="comment">// m_indices(BoolePolyRing::blockRingBegin()), </span> <a name="l00165"></a>00165 m_current_block(<a class="code" href="classpolybori_1_1BooleEnv.html" title="This class is just a wrapper accessing global structures.">BooleEnv</a>::blockBegin()), <a name="l00166"></a>00166 m_deg_cache(mgr) { } <a name="l00167"></a>00167 <a name="l00168"></a>00168 <span class="keyword">typename</span> NavigatorType::size_type <a name="l00169"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#9ea859a0271ce5c5467fc1cfc21d781d">00169</a> <a class="code" href="classpolybori_1_1cached__block__deg.html#9ea859a0271ce5c5467fc1cfc21d781d">operator()</a>(NavigatorType navi)<span class="keyword"> const </span>{ <a name="l00170"></a>00170 <span class="keywordflow">return</span> <a class="code" href="namespacepolybori.html#3584bc11f3fe3a429096290a64d3a5fc">dd_cached_block_degree</a>(m_deg_cache, navi, max()); <a name="l00171"></a>00171 } <a name="l00172"></a>00172 <a name="l00173"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#7ea58a7c799f2ccba0fd06df4d4aadac">00173</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a> <a class="code" href="classpolybori_1_1cached__block__deg.html#7ea58a7c799f2ccba0fd06df4d4aadac">min</a>()<span class="keyword"> const </span>{ <a name="l00174"></a>00174 assert(*m_current_block != 0); <span class="comment">// assuming first element to be zero</span> <a name="l00175"></a>00175 <span class="keywordflow">return</span> *(m_current_block - 1); <a name="l00176"></a>00176 } <a name="l00177"></a>00177 <a name="l00178"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#32452b70cd75f0526538378c0a43cc7d">00178</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a> <a class="code" href="classpolybori_1_1cached__block__deg.html#32452b70cd75f0526538378c0a43cc7d">max</a>()<span class="keyword"> const </span>{ <a name="l00179"></a>00179 <span class="keywordflow">return</span> *m_current_block; <a name="l00180"></a>00180 } <a name="l00181"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#0973e937ea6ae090ba27c8b6b1580eb5">00181</a> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1cached__block__deg.html#0973e937ea6ae090ba27c8b6b1580eb5">operator++</a>(){ <a name="l00182"></a>00182 assert(max() != CTypes::max_idx); <a name="l00183"></a>00183 ++m_current_block; <a name="l00184"></a>00184 <span class="keywordflow">return</span> *<span class="keyword">this</span>; <a name="l00185"></a>00185 } <a name="l00186"></a>00186 <a name="l00187"></a><a class="code" href="classpolybori_1_1cached__block__deg.html#0de01744ca5e75911f7a18c9b4cf2c33">00187</a> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1cached__block__deg.html#0de01744ca5e75911f7a18c9b4cf2c33">operator--</a>(){ <a name="l00188"></a>00188 assert(min() != 0); <a name="l00189"></a>00189 --m_current_block; <a name="l00190"></a>00190 <span class="keywordflow">return</span> *<span class="keyword">this</span>; <a name="l00191"></a>00191 } <a name="l00192"></a>00192 <a name="l00193"></a>00193 <span class="keyword">private</span>: <a name="l00194"></a>00194 <span class="comment">// block_iterator m_indices;</span> <a name="l00195"></a>00195 block_iterator m_current_block; <a name="l00196"></a>00196 <a name="l00197"></a>00197 cache_type m_deg_cache; <a name="l00198"></a>00198 }; <a name="l00199"></a>00199 <a name="l00200"></a>00200 <a name="l00201"></a>00201 <a name="l00202"></a>00202 <a name="l00210"></a>00210 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> BaseType = <span class="keywordtype">int</span>ernal_tag> <a name="l00211"></a><a class="code" href="classpolybori_1_1CTermStackBase.html">00211</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CTermStackBase.html">CTermStackBase</a>: <a name="l00212"></a>00212 <span class="keyword">public</span> <a class="code" href="classBaseType.html">BaseType</a> { <a name="l00213"></a>00213 <a name="l00214"></a>00214 <span class="keyword">public</span>: <a name="l00215"></a>00215 <a name="l00216"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#d64da0477e9bbafdef955746631fa5db">00216</a> <span class="keyword">template</span> <<span class="keyword">class</span>, <span class="keyword">class</span>> <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CTermStackBase.html">CTermStackBase</a>; <a name="l00217"></a>00217 <a name="l00218"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#91e72f5c1a0b169aefdec9c7c1957db4">00218</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CTermStackBase.html">CTermStackBase<NavigatorType, BaseType></a> <span class="keyword">self</span>; <a name="l00219"></a>00219 <a name="l00221"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#5a99f4669cc0d327b87d084b21aa28ea">00221</a> <span class="keyword">typedef</span> NavigatorType navigator; <a name="l00223"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#e27e30ce28d3d0a789350e6a2e470dda">00223</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">navigator::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>; <a name="l00224"></a>00224 <a name="l00226"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#84afdb81a3c53bf90ae0f0c65ea1b09e">00226</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> navigator::size_type size_type; <a name="l00227"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#5f27f2879471fe88b57cd7146e9ff9bc">00227</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> navigator::bool_type bool_type; <a name="l00228"></a>00228 <a name="l00229"></a>00229 <a name="l00231"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#e8781db9ab6595cccf2b2c7a663f3319">00231</a> <span class="keyword">typedef</span> std::deque<navigator> stack_type; <a name="l00232"></a>00232 <a name="l00233"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#fa4b3db6992f1376fac40dd59b92d37d">00233</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> stack_type::reference reference; <a name="l00234"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#0be6eb82bc26ea75518fdcfe0b40f4f6">00234</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> stack_type::const_reference const_reference; <a name="l00235"></a>00235 <a name="l00236"></a>00236 <span class="keyword">typedef</span> boost::indirect_iterator<<span class="keyword">typename</span> stack_type::const_iterator, <a name="l00237"></a>00237 <span class="keyword">typename</span> navigator::value_type, <a name="l00238"></a>00238 boost::use_default, <a name="l00239"></a>00239 <span class="keyword">typename</span> navigator::reference> <a name="l00240"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#aa24acaa321c73cfbf67da18d85d839e">00240</a> const_iterator; <a name="l00241"></a>00241 <a name="l00242"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#1460895497755ad9a784c50658661d08">00242</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> stack_type::const_iterator stack_iterator; <a name="l00243"></a>00243 <a name="l00244"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#67b29a95a4f6a4f0d1ec689b5bfab1a6">00244</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> stack_type::const_reverse_iterator stack_reverse_iterator; <a name="l00245"></a>00245 <a name="l00246"></a>00246 <span class="keyword">typedef</span> boost::indirect_iterator<<span class="keyword">typename</span> stack_type::const_reverse_iterator, <a name="l00247"></a>00247 <span class="keyword">typename</span> navigator::value_type, <a name="l00248"></a>00248 boost::use_default, <a name="l00249"></a>00249 <span class="keyword">typename</span> navigator::reference> <a name="l00250"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#7644af35d736db31556c862f716e765e">00250</a> const_reverse_iterator; <a name="l00251"></a>00251 <a name="l00252"></a>00252 <span class="keyword">private</span>: <a name="l00253"></a>00253 <span class="keywordtype">void</span> pop() { m_stack.pop_back(); } <a name="l00254"></a>00254 <a name="l00255"></a>00255 <span class="keyword">protected</span>: <a name="l00256"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#72f535e48116e340d4f0636ceb011fc2">00256</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#72f535e48116e340d4f0636ceb011fc2">push</a>(navigator __x) { m_stack.push_back(__x); } <a name="l00257"></a>00257 <a name="l00258"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#6288c5df40ef37bc7a1ff10b1d10b5e7">00258</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#6288c5df40ef37bc7a1ff10b1d10b5e7">clear</a>() { m_stack.clear(); } <a name="l00259"></a>00259 <a name="l00260"></a>00260 <span class="comment">// reference top() { return m_stack.back(); }</span> <a name="l00261"></a>00261 <a name="l00262"></a>00262 <span class="keyword">public</span>: <a name="l00263"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#e15f2667460ecab7ca5c09bd997bee48">00263</a> const_reference <a class="code" href="classpolybori_1_1CTermStackBase.html#e15f2667460ecab7ca5c09bd997bee48">top</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_stack.back(); } <a name="l00264"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#6655fa0a45e012a1f902598e9290dd66">00264</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a> <a class="code" href="classpolybori_1_1CTermStackBase.html#6655fa0a45e012a1f902598e9290dd66">index</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> *top(); } <a name="l00265"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#dfd2b5ac359aca43136b83f992f69a98">00265</a> bool_type <a class="code" href="classpolybori_1_1CTermStackBase.html#dfd2b5ac359aca43136b83f992f69a98">empty</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_stack.empty(); } <a name="l00266"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#3f011445428aba38c19a084672466f52">00266</a> size_type <a class="code" href="classpolybori_1_1CTermStackBase.html#3f011445428aba38c19a084672466f52">size</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_stack.size(); } <a name="l00267"></a>00267 <a name="l00268"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#44f207e2866903a0fb1092d964f3b550">00268</a> const_iterator <a class="code" href="classpolybori_1_1CTermStackBase.html#44f207e2866903a0fb1092d964f3b550">begin</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> stackBegin(); } <a name="l00269"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#30387a8cfe60321f9c863ef9d4945ae5">00269</a> const_iterator <a class="code" href="classpolybori_1_1CTermStackBase.html#30387a8cfe60321f9c863ef9d4945ae5">end</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> stackEnd(); } <a name="l00270"></a>00270 <a name="l00271"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#61cc2627bf475504f4a35be737ca25fe">00271</a> const_reverse_iterator <a class="code" href="classpolybori_1_1CTermStackBase.html#61cc2627bf475504f4a35be737ca25fe">rbegin</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> stackRBegin(); } <a name="l00272"></a>00272 <a name="l00273"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#08dec8b4678437a0d6296da579388796">00273</a> const_reverse_iterator <a class="code" href="classpolybori_1_1CTermStackBase.html#08dec8b4678437a0d6296da579388796">rend</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> stackREnd(); } <a name="l00274"></a>00274 <a name="l00276"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#948e758964f465a9eb0fd0d87e3ac33e">00276</a> navigator <a class="code" href="classpolybori_1_1CTermStackBase.html#948e758964f465a9eb0fd0d87e3ac33e" title="Get navigator of stack start.">navigation</a>()<span class="keyword"> const </span>{ <a name="l00277"></a>00277 assert(m_stack.begin() != m_stack.end()); <a name="l00278"></a>00278 <span class="keywordflow">return</span> *m_stack.begin(); <a name="l00279"></a>00279 } <a name="l00280"></a>00280 <a name="l00282"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#5a802424cbe858609164be88f0199f79">00282</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> stack_type::value_type top_type; <a name="l00283"></a>00283 <a name="l00285"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#714d54658284e5274dca714aa0e7d01d">00285</a> <a class="code" href="classpolybori_1_1CTermStackBase.html#714d54658284e5274dca714aa0e7d01d" title="Default constructor.">CTermStackBase</a>(): <a class="code" href="classBaseType.html">BaseType</a>(), m_stack() { } <a name="l00286"></a>00286 <a name="l00288"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#3a3c463340dd1b9e81430679940d5193">00288</a> <a class="code" href="classpolybori_1_1CTermStackBase.html#3a3c463340dd1b9e81430679940d5193" title="Construct from initial navigator.">CTermStackBase</a>(navigator navi): <a class="code" href="classBaseType.html">BaseType</a>(), m_stack() { <a name="l00289"></a>00289 push(navi); <a name="l00290"></a>00290 } <a name="l00291"></a>00291 <a name="l00293"></a>00293 <a name="l00294"></a>00294 <a name="l00296"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#5203792cccd5399ee9599710353280b3">00296</a> bool_type <a class="code" href="classpolybori_1_1CTermStackBase.html#5203792cccd5399ee9599710353280b3" title="default Copy Constructor">equal</a>(<span class="keyword">const</span> <span class="keyword">self</span>& rhs)<span class="keyword"> const </span>{ <a name="l00297"></a>00297 <a name="l00298"></a>00298 <span class="keywordflow">if</span>(empty() || rhs.empty()) <a name="l00299"></a>00299 <span class="keywordflow">return</span> (empty() && rhs.empty()); <a name="l00300"></a>00300 <span class="keywordflow">else</span> <a name="l00301"></a>00301 <span class="keywordflow">return</span> (m_stack == rhs.m_stack); <a name="l00302"></a>00302 } <a name="l00303"></a>00303 <a name="l00304"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#3da8de6037c6bb4319f4cb7ca241c47b">00304</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#3da8de6037c6bb4319f4cb7ca241c47b">incrementThen</a>() { <a name="l00305"></a>00305 assert(!top().isConstant()); <a name="l00306"></a>00306 <a name="l00307"></a>00307 push(top()); <a name="l00308"></a>00308 m_stack.back().incrementThen(); <a name="l00309"></a>00309 } <a name="l00310"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#f067963ba26e9e62b282a72575aeae20">00310</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#f067963ba26e9e62b282a72575aeae20">incrementElse</a>() { <a name="l00311"></a>00311 assert(!isConstant()); <a name="l00312"></a>00312 m_stack.back().incrementElse(); <a name="l00313"></a>00313 } <a name="l00314"></a>00314 <a name="l00315"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#0513e4985ae05f7520f39c859d93e0bd">00315</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#0513e4985ae05f7520f39c859d93e0bd">decrementNode</a>() { <a name="l00316"></a>00316 assert(!empty()); <a name="l00317"></a>00317 pop(); <a name="l00318"></a>00318 } <a name="l00319"></a>00319 <a name="l00320"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#f24a7209263f1b552703690834ea6498">00320</a> bool_type <a class="code" href="classpolybori_1_1CTermStackBase.html#f24a7209263f1b552703690834ea6498">isConstant</a>()<span class="keyword"> const </span>{ <a name="l00321"></a>00321 assert(!empty()); <a name="l00322"></a>00322 <span class="keywordflow">return</span> top().isConstant(); <a name="l00323"></a>00323 } <a name="l00324"></a>00324 <a name="l00325"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#73eb07eb5b4a9baec0f60d861c53f17e">00325</a> bool_type <a class="code" href="classpolybori_1_1CTermStackBase.html#73eb07eb5b4a9baec0f60d861c53f17e">isTerminated</a>()<span class="keyword"> const </span>{ <a name="l00326"></a>00326 assert(!empty()); <a name="l00327"></a>00327 <span class="keywordflow">return</span> top().isTerminated(); <a name="l00328"></a>00328 } <a name="l00329"></a>00329 <a name="l00330"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#4c95d2f13baede57dd537efd736eecc1">00330</a> bool_type <a class="code" href="classpolybori_1_1CTermStackBase.html#4c95d2f13baede57dd537efd736eecc1">isInvalid</a>()<span class="keyword"> const </span>{ <a name="l00331"></a>00331 assert(!empty()); <a name="l00332"></a>00332 <span class="keywordflow">return</span> top().isEmpty(); <a name="l00333"></a>00333 } <a name="l00334"></a>00334 <a name="l00335"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#9378f9f3c7d3ed747bf2ddcc18af4f32">00335</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#9378f9f3c7d3ed747bf2ddcc18af4f32">followThen</a>() { <a name="l00336"></a>00336 assert(!empty()); <a name="l00337"></a>00337 <span class="keywordflow">while</span>(!isConstant()) <a name="l00338"></a>00338 incrementThen(); <a name="l00339"></a>00339 } <a name="l00340"></a>00340 <a name="l00341"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#3c59bd0e85d6457a4caf84b7dc1d4a74">00341</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#3c59bd0e85d6457a4caf84b7dc1d4a74">markOne</a>() { <a name="l00342"></a>00342 assert(empty()); <a name="l00343"></a>00343 push(navigator()); <a name="l00344"></a>00344 } <a name="l00345"></a>00345 <a name="l00346"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#f32e0d2720c4070958c1e9d0eee52fff">00346</a> bool_type <a class="code" href="classpolybori_1_1CTermStackBase.html#f32e0d2720c4070958c1e9d0eee52fff">markedOne</a>()<span class="keyword"> const </span>{ <a name="l00347"></a>00347 <span class="keywordflow">if</span> (empty()) <a name="l00348"></a>00348 <span class="keywordflow">return</span> <span class="keyword">false</span>; <a name="l00349"></a>00349 <span class="keywordflow">else</span> <a name="l00350"></a>00350 <span class="keywordflow">return</span> !m_stack.front().isValid(); <a name="l00351"></a>00351 } <a name="l00352"></a>00352 <a name="l00353"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#c26f826732d6ffb40f20cbe1207a6def">00353</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#c26f826732d6ffb40f20cbe1207a6def">clearOne</a>() { <a name="l00354"></a>00354 pop(); <a name="l00355"></a>00355 assert(empty()); <a name="l00356"></a>00356 } <a name="l00357"></a>00357 <a name="l00358"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#eb11cb1fc141b24ddfaec591077baab4">00358</a> size_type <a class="code" href="classpolybori_1_1CTermStackBase.html#eb11cb1fc141b24ddfaec591077baab4">deg</a>()<span class="keyword"> const </span>{ <a name="l00359"></a>00359 <span class="keywordflow">return</span> (markedOne()? 0: size()); <a name="l00360"></a>00360 } <a name="l00361"></a>00361 <a name="l00362"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#a6b99018b35611ef8cdda301e7486b12">00362</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#a6b99018b35611ef8cdda301e7486b12">invalidate</a>() { <a name="l00363"></a>00363 push(BooleEnv::zero().navigation()); <a name="l00364"></a>00364 } <a name="l00365"></a>00365 <a name="l00366"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#1416a3f39f14de7de605162b16a74b16">00366</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#1416a3f39f14de7de605162b16a74b16">restart</a>(navigator navi) { <a name="l00367"></a>00367 assert(empty()); <a name="l00368"></a>00368 push(navi); <a name="l00369"></a>00369 } <a name="l00370"></a>00370 <a name="l00371"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#e78589d8e4fc5ce51fbc5540419186ad">00371</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#e78589d8e4fc5ce51fbc5540419186ad">isOne</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> markedOne(); } <a name="l00372"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#be50e49bdcdcabf4314ca6dd69073c5d">00372</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#be50e49bdcdcabf4314ca6dd69073c5d">isZero</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> empty(); } <a name="l00373"></a>00373 <a name="l00374"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#000bd00a07dfc9c5ed0b1fd4ffd977dd">00374</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#000bd00a07dfc9c5ed0b1fd4ffd977dd">atBegin</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> empty(); } <a name="l00375"></a>00375 <a name="l00376"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#7db2c8f4752b6989991d8c0f760de156">00376</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#7db2c8f4752b6989991d8c0f760de156">atEnd</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#7db2c8f4752b6989991d8c0f760de156">atEnd</a>(top()); } <a name="l00377"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#10e0d4f5a3336cd4a5585ca69546ef81">00377</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#10e0d4f5a3336cd4a5585ca69546ef81">atEnd</a>(navigator navi)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> navi.isConstant(); } <a name="l00378"></a>00378 <a name="l00379"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#329d23dd436a896c8b3c74e4050e3a20">00379</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#329d23dd436a896c8b3c74e4050e3a20">validEnd</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#329d23dd436a896c8b3c74e4050e3a20">validEnd</a>(top()); } <a name="l00380"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#6456cbfffb4dd5b959efa4073f7284a3">00380</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#6456cbfffb4dd5b959efa4073f7284a3">validEnd</a>(navigator navi)<span class="keyword"> const </span>{ <a name="l00381"></a>00381 <span class="keywordflow">while</span>(!navi.isConstant()) { <a name="l00382"></a>00382 navi.incrementElse(); <a name="l00383"></a>00383 } <a name="l00384"></a>00384 <span class="keywordflow">return</span> navi.terminalValue(); <a name="l00385"></a>00385 } <a name="l00386"></a>00386 <a name="l00387"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#bcc629e730d808d8ab9098cdef80e1d2">00387</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#bcc629e730d808d8ab9098cdef80e1d2">print</a>()<span class="keyword"> const</span>{ <a name="l00388"></a>00388 std::cout <<<span class="stringliteral">"("</span>; <a name="l00389"></a>00389 std::copy(begin(), end(), std::ostream_iterator<int>(cout, <span class="stringliteral">", "</span>)); <a name="l00390"></a>00390 std::cout <<<span class="stringliteral">")"</span>; <a name="l00391"></a>00391 } <a name="l00392"></a>00392 <a name="l00393"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#305bcf6aa1445535d55c26d96d358fd5">00393</a> stack_iterator <a class="code" href="classpolybori_1_1CTermStackBase.html#305bcf6aa1445535d55c26d96d358fd5">stackBegin</a>()<span class="keyword"> const </span>{ <a name="l00394"></a>00394 <span class="keywordflow">if</span> (markedOne()) <a name="l00395"></a>00395 <span class="keywordflow">return</span> m_stack.end(); <a name="l00396"></a>00396 <span class="keywordflow">else</span> <a name="l00397"></a>00397 <span class="keywordflow">return</span> m_stack.begin(); <a name="l00398"></a>00398 } <a name="l00399"></a>00399 <a name="l00400"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#2c982d06da8786a42d256d9e833621ea">00400</a> stack_iterator <a class="code" href="classpolybori_1_1CTermStackBase.html#2c982d06da8786a42d256d9e833621ea">stackEnd</a>()<span class="keyword"> const </span>{ <a name="l00401"></a>00401 <span class="keywordflow">return</span> m_stack.end(); <a name="l00402"></a>00402 } <a name="l00403"></a>00403 <a name="l00404"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#11202d32c94dec44b94df3438aa4ca9d">00404</a> stack_reverse_iterator <a class="code" href="classpolybori_1_1CTermStackBase.html#11202d32c94dec44b94df3438aa4ca9d">stackRBegin</a>()<span class="keyword"> const </span>{ <a name="l00405"></a>00405 <span class="keywordflow">if</span> (markedOne()) <a name="l00406"></a>00406 <span class="keywordflow">return</span> m_stack.rend(); <a name="l00407"></a>00407 <span class="keywordflow">else</span> <a name="l00408"></a>00408 <span class="keywordflow">return</span> m_stack.rbegin(); <a name="l00409"></a>00409 } <a name="l00410"></a>00410 <a name="l00411"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#ae0d8b20a97ffa9547543ef2e6dd5231">00411</a> stack_reverse_iterator <a class="code" href="classpolybori_1_1CTermStackBase.html#ae0d8b20a97ffa9547543ef2e6dd5231">stackREnd</a>()<span class="keyword"> const </span>{ <a name="l00412"></a>00412 <span class="keywordflow">return</span> m_stack.rend(); <a name="l00413"></a>00413 } <a name="l00414"></a>00414 <span class="keyword">protected</span>: <a name="l00415"></a>00415 <a name="l00416"></a>00416 <span class="keyword">template</span> <<span class="keyword">class</span> TermStack> <a name="l00417"></a><a class="code" href="classpolybori_1_1CTermStackBase.html#29d54581dbb7f334d9cb72f4979405c5">00417</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStackBase.html#29d54581dbb7f334d9cb72f4979405c5">append</a>(<span class="keyword">const</span> TermStack& rhs) { <a name="l00418"></a>00418 assert(empty() || rhs.empty() || ((*rhs.begin()) > (*top())) ); <a name="l00419"></a>00419 m_stack.insert(m_stack.end(), rhs.m_stack.begin(), rhs.m_stack.end()); <a name="l00420"></a>00420 } <a name="l00421"></a>00421 <a name="l00422"></a>00422 <a name="l00423"></a>00423 <span class="keyword">private</span>: <a name="l00424"></a>00424 stack_type m_stack; <a name="l00425"></a>00425 }; <a name="l00426"></a>00426 <a name="l00427"></a>00427 <a name="l00428"></a>00428 <a name="l00429"></a>00429 <a name="l00430"></a>00430 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> Category, <span class="keyword">class</span> BaseType = <span class="keywordtype">int</span>ernal_tag> <a name="l00431"></a><a class="code" href="classpolybori_1_1CTermStack.html">00431</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CTermStack.html" title="This class defines an iterator for the monomials in a Boolean polynomial.">CTermStack</a>: <a name="l00432"></a>00432 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1CTermStackBase.html">CTermStackBase</a><NavigatorType, BaseType> { <a name="l00433"></a>00433 <a name="l00434"></a>00434 <span class="keyword">public</span>: <a name="l00435"></a><a class="code" href="classpolybori_1_1CTermStack.html#f141b14bcbdfebfbf1834f9b7870dfd8">00435</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CTermStackBase.html">CTermStackBase<NavigatorType, BaseType></a> <a class="code" href="classpolybori_1_1CTermStackBase.html">base</a>; <a name="l00436"></a><a class="code" href="classpolybori_1_1CTermStack.html#f0568a814ded033ba07f456b4e885bc2">00436</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CTermStack.html">CTermStack<NavigatorType, Category, BaseType></a> <span class="keyword">self</span>; <a name="l00437"></a>00437 <a name="l00439"></a><a class="code" href="classpolybori_1_1CTermStack.html#d278dea4974b812a96a0d34abdf82e2b">00439</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<NavigatorType, Category, internal_tag></a> <a class="code" href="classpolybori_1_1CTermStack.html" title="This class defines an iterator for the monomials in a Boolean polynomial.">purestack_type</a>; <a name="l00440"></a><a class="code" href="classpolybori_1_1CTermStack.html#43df7a1394b3593feca176436f9c86c3">00440</a> <span class="keyword">typedef</span> Category iterator_category; <a name="l00441"></a>00441 <a name="l00442"></a><a class="code" href="classpolybori_1_1CTermStack.html#b3dfe28bf6a9143aee57eb1a61fce8fe">00442</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::navigator navigator; <a name="l00443"></a>00443 <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="classpolybori_1_1on__same__type.html" title="This class switches betweem two types, depending on equality of types.">on_same_type</a><Category, std::forward_iterator_tag, <a name="l00444"></a>00444 <a class="code" href="classproject__ith.html" title="Virtually does nothing with the given arguments.">project_ith<0></a>, <a name="l00445"></a>00445 <a class="code" href="classpolybori_1_1handle__else.html">handle_else<NavigatorType></a> >::type <a name="l00446"></a><a class="code" href="classpolybori_1_1CTermStack.html#6eca93e906daa0e586865cac058f557d">00446</a> else_handler; <a name="l00447"></a>00447 <a name="l00448"></a><a class="code" href="classpolybori_1_1CTermStack.html#b9fa41cf7623829bab0c49b882cc9a76">00448</a> else_handler handleElse; <a name="l00449"></a>00449 <a name="l00450"></a>00450 <span class="keyword">using</span> base::incrementThen; <a name="l00451"></a>00451 <span class="keyword">using</span> base::followThen; <a name="l00452"></a>00452 <a name="l00454"></a><a class="code" href="classpolybori_1_1CTermStack.html#22c3fa6992b0158d4c313670c1a89eca">00454</a> <a class="code" href="classpolybori_1_1CTermStack.html#22c3fa6992b0158d4c313670c1a89eca" title="Default constructor.">CTermStack</a>(): <a class="code" href="classpolybori_1_1CTermStackBase.html">base</a>() { } <a name="l00455"></a>00455 <a name="l00457"></a><a class="code" href="classpolybori_1_1CTermStack.html#80e248234b8eb950f0cc3e9f2c09a08f">00457</a> <a class="code" href="classpolybori_1_1CTermStack.html#80e248234b8eb950f0cc3e9f2c09a08f" title="Construct from initial navigator.">CTermStack</a>(navigator navi): <a class="code" href="classpolybori_1_1CTermStackBase.html">base</a>(navi) { } <a name="l00458"></a>00458 <a name="l00461"></a>00461 <span class="keyword">template</span> <<span class="keyword">class</span> Dummy> <a name="l00462"></a><a class="code" href="classpolybori_1_1CTermStack.html#ae92069f951238216e3102d81574bbed">00462</a> <a class="code" href="classpolybori_1_1CTermStack.html#ae92069f951238216e3102d81574bbed">CTermStack</a>(navigator navi, <span class="keyword">const</span> Dummy&): <a class="code" href="classpolybori_1_1CTermStackBase.html">base</a>(navi) { } <a name="l00463"></a>00463 <a name="l00464"></a><a class="code" href="classpolybori_1_1CTermStack.html#0fc5b5f4cfae68a4e9812461eab72b1c">00464</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#0fc5b5f4cfae68a4e9812461eab72b1c">init</a>() { <a name="l00465"></a>00465 followThen(); <a name="l00466"></a>00466 terminate(); <a name="l00467"></a>00467 } <a name="l00468"></a>00468 <a name="l00469"></a><a class="code" href="classpolybori_1_1CTermStack.html#20b076a8184b00577a6e073a8662402c">00469</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#20b076a8184b00577a6e073a8662402c">initLast</a>() { <a name="l00470"></a>00470 followElse(); <a name="l00471"></a>00471 terminate(); <a name="l00472"></a>00472 } <a name="l00473"></a>00473 <a name="l00474"></a><a class="code" href="classpolybori_1_1CTermStack.html#c1cc07bfaa0318f6d587b607df2a1f49">00474</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#c1cc07bfaa0318f6d587b607df2a1f49">incrementElse</a>() { <a name="l00475"></a>00475 assert(!base::empty()); <a name="l00476"></a>00476 handleElse(base::top()); <a name="l00477"></a>00477 base::incrementElse(); <a name="l00478"></a>00478 } <a name="l00479"></a>00479 <a name="l00480"></a><a class="code" href="classpolybori_1_1CTermStack.html#12e725cb958cd98fa7545d43a46482a1">00480</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#12e725cb958cd98fa7545d43a46482a1">next</a>() { <a name="l00481"></a>00481 <a name="l00482"></a>00482 <span class="keywordtype">bool</span> invalid = <span class="keyword">true</span>; <a name="l00483"></a>00483 <span class="keywordflow">while</span> (!base::empty() && invalid) { <a name="l00484"></a>00484 incrementElse(); <a name="l00485"></a>00485 <span class="keywordflow">if</span> (invalid = base::isInvalid()) <a name="l00486"></a>00486 base::decrementNode(); <a name="l00487"></a>00487 } <a name="l00488"></a>00488 } <a name="l00489"></a>00489 <a name="l00490"></a><a class="code" href="classpolybori_1_1CTermStack.html#2249b2d035b75c6b25335b3362f5f1a7">00490</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#2249b2d035b75c6b25335b3362f5f1a7">previous</a>() { <a name="l00491"></a>00491 previous(Category()); <a name="l00492"></a>00492 } <a name="l00493"></a>00493 <a name="l00494"></a>00494 <a name="l00495"></a><a class="code" href="classpolybori_1_1CTermStack.html#9b48d52caffa4909c88da39c621a4ecb">00495</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#9b48d52caffa4909c88da39c621a4ecb">increment</a>() { <a name="l00496"></a>00496 assert(!base::empty()); <a name="l00497"></a>00497 <span class="keywordflow">if</span> (base::markedOne()) { <a name="l00498"></a>00498 base::clearOne(); <a name="l00499"></a>00499 <span class="keywordflow">return</span>; <a name="l00500"></a>00500 } <a name="l00501"></a>00501 <a name="l00502"></a>00502 next(); <a name="l00503"></a>00503 <span class="keywordflow">if</span> (!base::empty()) { <a name="l00504"></a>00504 followThen(); <a name="l00505"></a>00505 terminate(); <a name="l00506"></a>00506 } <a name="l00507"></a>00507 <a name="l00508"></a>00508 } <a name="l00509"></a>00509 <a name="l00510"></a><a class="code" href="classpolybori_1_1CTermStack.html#a0d381364a14b740d5a14dd4e08e07f4">00510</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#a0d381364a14b740d5a14dd4e08e07f4">decrement</a>() { <a name="l00511"></a>00511 <a name="l00512"></a>00512 <span class="keywordflow">if</span> (base::markedOne()) { <a name="l00513"></a>00513 base::clearOne(); <a name="l00514"></a>00514 } <a name="l00515"></a>00515 <a name="l00516"></a>00516 previous(); <a name="l00517"></a>00517 followElse(); <a name="l00518"></a>00518 base::decrementNode(); <a name="l00519"></a>00519 <a name="l00520"></a>00520 } <a name="l00521"></a>00521 <a name="l00522"></a><a class="code" href="classpolybori_1_1CTermStack.html#524cea849b71f5197261966d8c20f94d">00522</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#524cea849b71f5197261966d8c20f94d">terminate</a>() { <a name="l00523"></a>00523 assert(!base::empty()); <a name="l00524"></a>00524 <a name="l00525"></a>00525 <span class="keywordtype">bool</span> isZero = base::isInvalid(); <a name="l00526"></a>00526 base::decrementNode(); <a name="l00527"></a>00527 <span class="keywordflow">if</span> (base::empty() && !isZero) <a name="l00528"></a>00528 base::markOne(); <a name="l00529"></a>00529 } <a name="l00530"></a>00530 <a name="l00531"></a>00531 <a name="l00532"></a><a class="code" href="classpolybori_1_1CTermStack.html#941190f6126b5b95539fa8853766aa5e">00532</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#941190f6126b5b95539fa8853766aa5e">followElse</a>() { <a name="l00533"></a>00533 <span class="keywordflow">while</span>( !base::isConstant() ) <span class="comment">// if still in interior of a path</span> <a name="l00534"></a>00534 incrementValidElse(); <a name="l00535"></a>00535 } <a name="l00536"></a>00536 <a name="l00537"></a><a class="code" href="classpolybori_1_1CTermStack.html#6787e02a80265a59581169285664982b">00537</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#6787e02a80265a59581169285664982b">incrementValidElse</a>() { <a name="l00538"></a>00538 assert(!base::empty() && !base::isConstant()); <a name="l00539"></a>00539 <span class="keywordflow">if</span>(!base::top().elseBranch().isEmpty()) <a name="l00540"></a>00540 incrementElse(); <span class="comment">// go in direction of last term, if possible</span> <a name="l00541"></a>00541 <span class="keywordflow">else</span> <a name="l00542"></a>00542 incrementThen(); <a name="l00543"></a>00543 } <a name="l00544"></a>00544 <span class="keyword">protected</span>: <a name="l00545"></a>00545 <span class="keyword">template</span> <<span class="keyword">class</span> TermStack> <a name="l00546"></a><a class="code" href="classpolybori_1_1CTermStack.html#7b2c60de4e8d6babbc10a3208bf6fd59">00546</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CTermStack.html#7b2c60de4e8d6babbc10a3208bf6fd59">append</a>(<span class="keyword">const</span> TermStack& rhs) { <a name="l00547"></a>00547 base::append(rhs); <a name="l00548"></a>00548 append(rhs, Category()); <a name="l00549"></a>00549 } <a name="l00550"></a>00550 <a name="l00551"></a>00551 <span class="keyword">private</span>: <a name="l00552"></a>00552 <span class="keywordtype">void</span> previous(std::forward_iterator_tag); <a name="l00553"></a>00553 <span class="keywordtype">void</span> previous(std::bidirectional_iterator_tag); <a name="l00554"></a>00554 <a name="l00555"></a>00555 <span class="keyword">template</span> <<span class="keyword">class</span> TermStack> <a name="l00556"></a>00556 <span class="keywordtype">void</span> append(<span class="keyword">const</span> TermStack&, std::forward_iterator_tag){} <a name="l00557"></a>00557 <a name="l00558"></a>00558 <span class="keyword">template</span> <<span class="keyword">class</span> TermStack> <a name="l00559"></a>00559 <span class="keywordtype">void</span> append(<span class="keyword">const</span> TermStack& rhs, std::bidirectional_iterator_tag){ <a name="l00560"></a>00560 handleElse.append(rhs.handleElse); <a name="l00561"></a>00561 } <a name="l00562"></a>00562 }; <a name="l00563"></a>00563 <a name="l00564"></a>00564 <a name="l00565"></a>00565 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> Category, <span class="keyword">class</span> BaseType> <a name="l00566"></a>00566 <span class="keyword">inline</span> <span class="keywordtype">void</span> CTermStack<NavigatorType, Category, BaseType>::previous( <a name="l00567"></a>00567 std::forward_iterator_tag) { } <a name="l00568"></a>00568 <a name="l00569"></a>00569 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> Category, <span class="keyword">class</span> BaseType> <a name="l00570"></a>00570 <span class="keyword">inline</span> <span class="keywordtype">void</span> CTermStack<NavigatorType, Category, BaseType>::previous( <a name="l00571"></a>00571 std::bidirectional_iterator_tag) { <a name="l00572"></a>00572 <a name="l00573"></a>00573 <span class="keywordflow">if</span>(handleElse.empty()) { <a name="l00574"></a>00574 base::clear(); <a name="l00575"></a>00575 <span class="keywordflow">return</span>; <a name="l00576"></a>00576 } <a name="l00577"></a>00577 <a name="l00578"></a>00578 navigator navi = handleElse.top(); <a name="l00579"></a>00579 <a name="l00580"></a>00580 assert(base::top().isValid()); <a name="l00581"></a>00581 <a name="l00582"></a>00582 <span class="keywordflow">while</span>(!base::empty() && (base::index() >= *navi) ) { <a name="l00583"></a>00583 base::decrementNode(); <a name="l00584"></a>00584 } <a name="l00585"></a>00585 <a name="l00586"></a>00586 handleElse.pop(); <a name="l00587"></a>00587 base::push(navi); <a name="l00588"></a>00588 incrementThen(); <a name="l00589"></a>00589 } <a name="l00590"></a>00590 <a name="l00591"></a>00591 <a name="l00592"></a>00592 <span class="keyword">template</span> <<span class="keyword">class </span>NavigatorType, <span class="keyword">class </span>BlockProperty, <span class="keyword">class </span>Category, <span class="keyword">class</span> <a name="l00593"></a>00593 <a class="code" href="classBaseType.html">BaseType</a> = internal_tag> <a name="l00594"></a>00594 <span class="keyword">class </span>CDegStackCore; <a name="l00595"></a>00595 <a name="l00597"></a>00597 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> Category, <span class="keyword">class</span> BaseType> <a name="l00598"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html">00598</a> <span class="keyword">class </span>CDegStackCore<NavigatorType, <a class="code" href="structpolybori_1_1invalid__tag.html" title="This class shows, whether a property of an order is invalid.">invalid_tag</a>, Category, BaseType>: <a name="l00599"></a>00599 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1CTermStack.html" title="This class defines an iterator for the monomials in a Boolean polynomial.">CTermStack</a><NavigatorType, Category, BaseType> { <a name="l00600"></a>00600 <a name="l00601"></a>00601 <span class="keyword">public</span>: <a name="l00602"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#1e613fd6656df857709712f5bdc7b96f">00602</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CTermStack.html">CTermStack<NavigatorType, Category, BaseType></a> <a class="code" href="classpolybori_1_1CTermStack.html">base</a>; <a name="l00603"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#4720a94f5f4993f6d930bc09a84ba5a8">00603</a> <span class="keyword">typedef</span> NavigatorType navigator; <a name="l00604"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#5fd3cfc2ece31a410177cf0c85ab64b0">00604</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="structpolybori_1_1cached__deg.html">cached_deg<navigator>::manager_type</a> manager_type; <a name="l00605"></a>00605 <a name="l00606"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#8c71d5272d002168a20e571af3a97b6a">00606</a> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#8c71d5272d002168a20e571af3a97b6a">CDegStackCore</a>(): <a class="code" href="classpolybori_1_1CTermStack.html">base</a>(), getDeg(typename manager_type::mgrcore_ptr()) {} <a name="l00607"></a>00607 <a name="l00608"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#6882ac568c681c4718f52d3c94a99c69">00608</a> CDegStackCore(navigator navi, <span class="keyword">const</span> manager_type& mgr): <a name="l00609"></a>00609 <a class="code" href="classpolybori_1_1CTermStack.html">base</a>(navi), getDeg(mgr) {} <a name="l00610"></a>00610 <a name="l00611"></a>00611 <a name="l00612"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#809ce0f1f17e88b1f72bd22c0fbeec85">00612</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#809ce0f1f17e88b1f72bd22c0fbeec85">gotoEnd</a>() { <a name="l00613"></a>00613 assert(!base::empty()); <a name="l00614"></a>00614 <span class="keywordflow">while</span>(!base::isConstant()) { <a name="l00615"></a>00615 base::incrementElse(); <a name="l00616"></a>00616 } <a name="l00617"></a>00617 } <a name="l00618"></a>00618 <a name="l00619"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#6b992cd7256a5e53b4c3a0eab973dc7e">00619</a> <a class="code" href="structpolybori_1_1cached__deg.html">cached_deg<navigator></a> getDeg; <a name="l00620"></a>00620 }; <a name="l00621"></a>00621 <a name="l00623"></a>00623 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> Category, <span class="keyword">class</span> BaseType> <a name="l00624"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html">00624</a> <span class="keyword">class </span>CDegStackCore<NavigatorType, <a class="code" href="structpolybori_1_1valid__tag.html" title="This class shows, whether a property of an order is valid.">valid_tag</a>, Category, BaseType> : <a name="l00625"></a>00625 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1CTermStack.html" title="This class defines an iterator for the monomials in a Boolean polynomial.">CTermStack</a><NavigatorType, Category, BaseType> { <a name="l00626"></a>00626 <a name="l00627"></a>00627 <span class="keyword">public</span>: <a name="l00628"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#84c59a6321b691f536851003a2d5236d">00628</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CTermStack.html">CTermStack<NavigatorType, Category, BaseType></a> <a class="code" href="classpolybori_1_1CTermStack.html">base</a>; <a name="l00629"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#931f5455f222b227e8fc7e4348d71012">00629</a> <span class="keyword">typedef</span> NavigatorType navigator; <a name="l00630"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#cce519e2a5f672ff14e972b778150d27">00630</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">base::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>; <a name="l00631"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#3e392cbbbe05fb69e7410ea201bdef05">00631</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::size_type size_type; <a name="l00632"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#fda7b5f06681ea7dff1de14ebab36fef">00632</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="classpolybori_1_1cached__block__deg.html">cached_block_deg<navigator>::manager_type</a> manager_type; <a name="l00633"></a>00633 <a name="l00634"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#aea6d594de99fbd6a47fd803dfed6417">00634</a> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#aea6d594de99fbd6a47fd803dfed6417">CDegStackCore</a>(): <a class="code" href="classpolybori_1_1CTermStack.html">base</a>(), block(typename manager_type::mgrcore_ptr()) {} <a name="l00635"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#a828c540f9eb012878ee1af03fcb5472">00635</a> CDegStackCore(navigator navi, <span class="keyword">const</span> manager_type& mgr): <a name="l00636"></a>00636 <a class="code" href="classpolybori_1_1CTermStack.html">base</a>(navi), block(mgr) {} <a name="l00637"></a>00637 <a name="l00638"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#41eabfbff411fef55e9f2e5738b8024e">00638</a> size_type <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#41eabfbff411fef55e9f2e5738b8024e">getDeg</a>(navigator navi)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> block(navi); } <a name="l00639"></a>00639 <a name="l00640"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#36d047cf3153617c29485386c6d3d0ee">00640</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#36d047cf3153617c29485386c6d3d0ee">atBegin</a>()<span class="keyword"> const </span>{ <a name="l00641"></a>00641 <span class="keywordflow">return</span> base::empty() || (base::index() < block.min()); <a name="l00642"></a>00642 } <a name="l00643"></a>00643 <a name="l00644"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#45a6bc1432c0fab926cebd37e8199101">00644</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#45a6bc1432c0fab926cebd37e8199101">atEnd</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#45a6bc1432c0fab926cebd37e8199101">atEnd</a>(base::top()); } <a name="l00645"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#575ab6013d16269428f2850f9d0015b6">00645</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#575ab6013d16269428f2850f9d0015b6">atEnd</a>(navigator navi)<span class="keyword"> const </span>{ <a name="l00646"></a>00646 <span class="keywordflow">return</span> navi.isConstant() || (*navi >= block.max()); <a name="l00647"></a>00647 } <a name="l00648"></a>00648 <a name="l00649"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#023b55eb0dbf829b118536ab9a1839eb">00649</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#023b55eb0dbf829b118536ab9a1839eb">validEnd</a>()<span class="keyword"> const</span>{ <span class="keywordflow">return</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#023b55eb0dbf829b118536ab9a1839eb">validEnd</a>(base::top()); } <a name="l00650"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#45101248c511217593498ca4f9efb2e6">00650</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#45101248c511217593498ca4f9efb2e6">validEnd</a>(navigator navi)<span class="keyword"> const </span>{ <a name="l00651"></a>00651 <a name="l00652"></a>00652 <span class="keywordflow">while</span>(!<a class="code" href="classpolybori_1_1CTermStackBase.html#7db2c8f4752b6989991d8c0f760de156">atEnd</a>(navi)) <a name="l00653"></a>00653 navi.incrementElse(); <a name="l00654"></a>00654 <a name="l00655"></a>00655 <span class="keywordflow">return</span> (navi.isConstant()? navi.terminalValue(): *navi >= block.max()); <a name="l00656"></a>00656 } <a name="l00657"></a>00657 <a name="l00658"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#8066f7c24b84193cd1aeadf94268a333">00658</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#8066f7c24b84193cd1aeadf94268a333">next</a>() { <a name="l00659"></a>00659 <a name="l00660"></a>00660 <span class="keywordtype">bool</span> invalid = <span class="keyword">true</span>; <a name="l00661"></a>00661 <span class="keywordflow">while</span> (!<a class="code" href="classpolybori_1_1CTermStackBase.html#000bd00a07dfc9c5ed0b1fd4ffd977dd">atBegin</a>() && invalid) { <a name="l00662"></a>00662 assert(!base::isConstant()); <a name="l00663"></a>00663 base::incrementElse(); <a name="l00664"></a>00664 <span class="keywordflow">if</span> (invalid = base::isInvalid()) <a name="l00665"></a>00665 base::decrementNode(); <a name="l00666"></a>00666 } <a name="l00667"></a>00667 } <a name="l00668"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#8e2e549dff80c67ab6bdba7bd3f6157f">00668</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#8e2e549dff80c67ab6bdba7bd3f6157f">previous</a>() { <a name="l00669"></a>00669 <a name="l00670"></a>00670 <span class="keywordflow">if</span>( base::handleElse.<a class="code" href="classpolybori_1_1CTermStackBase.html#dfd2b5ac359aca43136b83f992f69a98">empty</a>() || (*base::handleElse.<a class="code" href="classpolybori_1_1CTermStackBase.html#e15f2667460ecab7ca5c09bd997bee48">top</a>() < block.min()) ) { <a name="l00671"></a>00671 <span class="keywordflow">while</span>(!<a class="code" href="classpolybori_1_1CTermStackBase.html#000bd00a07dfc9c5ed0b1fd4ffd977dd">atBegin</a>()) <a name="l00672"></a>00672 base::decrementNode(); <a name="l00673"></a>00673 <span class="keywordflow">return</span>; <a name="l00674"></a>00674 } <a name="l00675"></a>00675 navigator navi = base::handleElse.top(); <a name="l00676"></a>00676 assert(base::top().isValid()); <a name="l00677"></a>00677 <a name="l00678"></a>00678 <span class="keywordflow">while</span>(!<a class="code" href="classpolybori_1_1CTermStackBase.html#000bd00a07dfc9c5ed0b1fd4ffd977dd">atBegin</a>() && (base::index() >= *navi) ) { <a name="l00679"></a>00679 base::decrementNode(); <a name="l00680"></a>00680 } <a name="l00681"></a>00681 <a name="l00682"></a>00682 <span class="keywordflow">if</span> (base::empty() || (base::index() < *navi)) { <a name="l00683"></a>00683 base::handleElse.pop(); <a name="l00684"></a>00684 base::push(navi); <a name="l00685"></a>00685 } <a name="l00686"></a>00686 base::incrementThen(); <a name="l00687"></a>00687 } <a name="l00688"></a>00688 <a name="l00689"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#408a1d7820b79b8b2f2e63e563ea369f">00689</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#408a1d7820b79b8b2f2e63e563ea369f">gotoEnd</a>() { <a name="l00690"></a>00690 assert(!base::empty()); <a name="l00691"></a>00691 <span class="keywordflow">while</span>( (!base::isConstant()) && (base::index() < block.max()) ) { <a name="l00692"></a>00692 base::incrementElse(); <a name="l00693"></a>00693 } <a name="l00694"></a>00694 } <a name="l00695"></a>00695 <a name="l00696"></a>00696 <span class="keyword">protected</span>: <a name="l00697"></a><a class="code" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#2b68c46d0800113c049f0e71caa8ddbd">00697</a> <a class="code" href="classpolybori_1_1cached__block__deg.html">cached_block_deg<navigator></a> block; <a name="l00698"></a>00698 }; <a name="l00699"></a>00699 <a name="l00700"></a>00700 <span class="keyword">template</span> <<span class="keyword">class </span>NavigatorType, <span class="keyword">class </span>BlockProperty, <span class="keyword">class </span>DescendingProperty, <a name="l00701"></a>00701 <span class="keyword">class </span>BaseType = <a class="code" href="structpolybori_1_1internal__tag.html" title="This class marks an internal part of a procedure.">internal_tag</a>> <a name="l00702"></a>00702 <span class="keyword">class </span><a class="code" href="classCDegStackBase.html">CDegStackBase</a>; <a name="l00703"></a>00703 <a name="l00704"></a>00704 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> BlockProperty, <span class="keyword">class</span> BaseType> <a name="l00705"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html">00705</a> <span class="keyword">class </span><a class="code" href="classCDegStackBase.html">CDegStackBase</a><NavigatorType, <a class="code" href="structpolybori_1_1valid__tag.html" title="This class shows, whether a property of an order is valid.">valid_tag</a>, BlockProperty, BaseType>: <a name="l00706"></a>00706 <span class="keyword">public</span> CDegStackCore<NavigatorType, BlockProperty, <a name="l00707"></a>00707 std::forward_iterator_tag, BaseType> { <a name="l00708"></a>00708 <a name="l00709"></a>00709 <span class="keyword">public</span>: <a name="l00710"></a>00710 <span class="keyword">typedef</span> CDegStackCore<NavigatorType, BlockProperty, <a name="l00711"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#eb13b18565bda42efc9f27c9b24bae96">00711</a> std::forward_iterator_tag, BaseType> base; <a name="l00712"></a>00712 <a name="l00713"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#a6964168b8b044f3b729b2adc9c99a9d">00713</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::size_type size_type; <a name="l00714"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#bc2dd545cad04674d71f2a7d3c3b48a1">00714</a> <span class="keyword">typedef</span> std::greater<size_type> size_comparer; <a name="l00715"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#c718780ea8aee87abb4d005d2eff3c56">00715</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::manager_type manager_type; <a name="l00716"></a>00716 <a name="l00717"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#781244b5c763396fbaae5f0033125755">00717</a> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#781244b5c763396fbaae5f0033125755">CDegStackBase</a>(): base() {} <a name="l00718"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#a8822bdda195be2f34a22d4147f42918">00718</a> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#a8822bdda195be2f34a22d4147f42918">CDegStackBase</a>(NavigatorType navi, <span class="keyword">const</span> manager_type& mgr): base(navi, mgr) {} <a name="l00719"></a>00719 <a name="l00720"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#9fa98ae7bb5340aef1e145b467ab2ae0">00720</a> <a class="code" href="structpolybori_1_1integral__constant.html">integral_constant<bool, false></a> takeLast; <a name="l00721"></a>00721 <a name="l00722"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#ff0080ee686054b8dba2240325cc178d">00722</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#ff0080ee686054b8dba2240325cc178d">proximate</a>() { base::next(); } <a name="l00723"></a>00723 <a name="l00724"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#c611805ae01e95bd1bc2db4214cc6ab2">00724</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#c611805ae01e95bd1bc2db4214cc6ab2">incrementBranch</a>() { base::incrementThen(); } <a name="l00725"></a>00725 <a name="l00726"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#4e1013c0b0bdc3eb6053c60d827d2a42">00726</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#4e1013c0b0bdc3eb6053c60d827d2a42">maxOnThen</a>(size_type deg)<span class="keyword"> const </span>{ <a name="l00727"></a>00727 <span class="keywordflow">return</span> (base::getDeg(base::top().thenBranch()) + 1 == deg); <a name="l00728"></a>00728 } <a name="l00729"></a>00729 <a name="l00730"></a>00730 }; <a name="l00731"></a>00731 <a name="l00732"></a>00732 <a name="l00733"></a>00733 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> BlockProperty, <span class="keyword">class</span> BaseType> <a name="l00734"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html">00734</a> <span class="keyword">class </span><a class="code" href="classCDegStackBase.html">CDegStackBase</a><NavigatorType, <a class="code" href="structpolybori_1_1invalid__tag.html" title="This class shows, whether a property of an order is invalid.">invalid_tag</a>, BlockProperty, BaseType>: <a name="l00735"></a>00735 <span class="keyword">public</span> CDegStackCore<NavigatorType, BlockProperty, <a name="l00736"></a>00736 std::bidirectional_iterator_tag, BaseType> { <a name="l00737"></a>00737 <a name="l00738"></a>00738 <span class="keyword">public</span>: <a name="l00739"></a>00739 <span class="keyword">typedef</span> CDegStackCore<NavigatorType, BlockProperty, <a name="l00740"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#e24e8b6cb4beb945875ee6a6bf22b698">00740</a> std::bidirectional_iterator_tag, BaseType> base; <a name="l00741"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#094067921eb338a50e1a0443c6a99f6f">00741</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::size_type size_type; <a name="l00742"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#724cde9c31c3ab7b60919c4a3570fcb5">00742</a> <span class="keyword">typedef</span> std::greater_equal<size_type> size_comparer; <a name="l00743"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#1f23ff9f13a9f8693c7e6b7596b9eeb1">00743</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::manager_type manager_type; <a name="l00744"></a>00744 <a name="l00745"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#10a85fc5dbc60e1a44d4473cfafe6bae">00745</a> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#10a85fc5dbc60e1a44d4473cfafe6bae">CDegStackBase</a>(): base() {} <a name="l00746"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#ec0a47ee67ebc0fdc8d3eb44813c2ca1">00746</a> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#ec0a47ee67ebc0fdc8d3eb44813c2ca1">CDegStackBase</a>(NavigatorType navi, <span class="keyword">const</span> manager_type& mgr): base(navi, mgr) {} <a name="l00747"></a>00747 <a name="l00748"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#714c803526c77787354cab159b58276d">00748</a> <a class="code" href="structpolybori_1_1integral__constant.html">integral_constant<bool, true></a> takeLast; <a name="l00749"></a>00749 <a name="l00750"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#08c287f1f6ec453dd7a7e6eafa4e6e84">00750</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#08c287f1f6ec453dd7a7e6eafa4e6e84">proximate</a>() { base::previous(); } <a name="l00751"></a>00751 <a name="l00752"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#ed880ef6baaf2811fd6c1356dbf3edb7">00752</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#ed880ef6baaf2811fd6c1356dbf3edb7">incrementBranch</a>() { base::incrementValidElse(); } <a name="l00753"></a>00753 <a name="l00754"></a><a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#1a8c510ee8e36da9c22fb9f9a0a51601">00754</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#1a8c510ee8e36da9c22fb9f9a0a51601">maxOnThen</a>(size_type deg)<span class="keyword"> const </span>{ <a name="l00755"></a>00755 <span class="keywordflow">return</span> !(base::getDeg(base::top().elseBranch()) == deg); <a name="l00756"></a>00756 } <a name="l00757"></a>00757 }; <a name="l00758"></a>00758 <a name="l00759"></a>00759 <a name="l00760"></a>00760 <span class="keyword">template</span> <<span class="keyword">class </span>NavigatorType, <span class="keyword">class </span>DescendingProperty, <a name="l00761"></a>00761 <span class="keyword">class </span>BlockProperty = invalid_tag, <span class="keyword">class </span>BaseType = internal_tag> <a name="l00762"></a><a class="code" href="classpolybori_1_1CDegTermStack.html">00762</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CDegTermStack.html">CDegTermStack</a>: <a name="l00763"></a>00763 <span class="keyword">public</span> CDegStackBase<NavigatorType, DescendingProperty, BlockProperty, BaseType> { <a name="l00764"></a>00764 <a name="l00765"></a>00765 <span class="keyword">public</span>: <a name="l00766"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#e7143dd542590912aaafb1858aa0ca6b">00766</a> <span class="keyword">typedef</span> <a class="code" href="classCDegStackBase.html">CDegStackBase<NavigatorType, DescendingProperty, BlockProperty, BaseType></a> <a class="code" href="classCDegStackBase.html">base</a>; <a name="l00767"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#25f5039192b58d6037096f9eb93cfb13">00767</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CDegTermStack.html">CDegTermStack<NavigatorType, DescendingProperty, BlockProperty, BaseType></a> <span class="keyword">self</span>; <a name="l00768"></a>00768 <a name="l00769"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#11e8d7d503cab0c1254609b1e2f2ffb6">00769</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::navigator navigator; <a name="l00770"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#524116115c5645cbfc38e689d0b7378a">00770</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> navigator::size_type size_type; <a name="l00771"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#985a0b11e5818fdc3a5e32a740dcb6fd">00771</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::manager_type manager_type; <a name="l00772"></a>00772 <a name="l00773"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#ac65bed623866c8abb98724f5395c68d">00773</a> <a class="code" href="classpolybori_1_1CDegTermStack.html#ac65bed623866c8abb98724f5395c68d">CDegTermStack</a>(): <a class="code" href="classCDegStackBase.html">base</a>(), m_start() {} <a name="l00774"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#27a1d3e0e9341d812800be2967c447e3">00774</a> <a class="code" href="classpolybori_1_1CDegTermStack.html">CDegTermStack</a>(navigator navi, <span class="keyword">const</span> manager_type& mgr): <a name="l00775"></a>00775 <a class="code" href="classCDegStackBase.html">base</a>(navi, mgr), m_start(navi) {} <a name="l00776"></a>00776 <a name="l00777"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#38a183acd50b47fe37c8b1794043a425">00777</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegTermStack.html#38a183acd50b47fe37c8b1794043a425">init</a>() { <a name="l00778"></a>00778 followDeg(); <a name="l00779"></a>00779 base::terminate(); <a name="l00780"></a>00780 } <a name="l00781"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#9fd84ac95c59ffe1ba82ed53199bf09b">00781</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegTermStack.html#9fd84ac95c59ffe1ba82ed53199bf09b">followDeg</a>() { <a name="l00782"></a>00782 assert(!base::empty()); <a name="l00783"></a>00783 <a name="l00784"></a>00784 size_type deg = base::getDeg(base::top()); <a name="l00785"></a>00785 <a name="l00786"></a>00786 <span class="keywordflow">while</span> (deg > 0) { <a name="l00787"></a>00787 <a name="l00788"></a>00788 <span class="keywordflow">if</span> ( base::maxOnThen(deg) ) { <a name="l00789"></a>00789 --deg; <a name="l00790"></a>00790 base::incrementThen(); <a name="l00791"></a>00791 } <a name="l00792"></a>00792 <span class="keywordflow">else</span> <a name="l00793"></a>00793 base::incrementElse(); <a name="l00794"></a>00794 <a name="l00795"></a>00795 } <a name="l00796"></a>00796 } <a name="l00797"></a>00797 <a name="l00798"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#10a9f7567bf7951570258edc834b4b32">00798</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegTermStack.html#10a9f7567bf7951570258edc834b4b32">increment</a>() { <a name="l00799"></a>00799 assert(!base::empty()); <a name="l00800"></a>00800 <span class="keywordflow">if</span> (base::markedOne()) { <a name="l00801"></a>00801 base::clearOne(); <a name="l00802"></a>00802 <span class="keywordflow">return</span>; <a name="l00803"></a>00803 } <a name="l00804"></a>00804 <a name="l00805"></a>00805 <a name="l00806"></a>00806 size_type upperbound = base::size(); <a name="l00807"></a>00807 degTerm(); <a name="l00808"></a>00808 <a name="l00809"></a>00809 <span class="keywordflow">if</span>(base::empty()) { <a name="l00810"></a>00810 restart(); <a name="l00811"></a>00811 findTerm(upperbound); <a name="l00812"></a>00812 } <a name="l00813"></a>00813 <span class="keywordflow">if</span>(!base::empty()) <a name="l00814"></a>00814 base::terminate(); <a name="l00815"></a>00815 } <a name="l00816"></a>00816 <a name="l00817"></a>00817 <a name="l00818"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#c6a16135609c6220154c04c5a72f6690">00818</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegTermStack.html#c6a16135609c6220154c04c5a72f6690">degTerm</a>() { <a name="l00819"></a>00819 size_type size = base::size() + 1; <a name="l00820"></a>00820 <a name="l00821"></a>00821 assert(!base::isConstant()); <a name="l00822"></a>00822 <span class="keywordtype">bool</span> doloop; <a name="l00823"></a>00823 <span class="keywordflow">do</span> { <a name="l00824"></a>00824 assert(!base::empty()); <a name="l00825"></a>00825 base::proximate(); <a name="l00826"></a>00826 <a name="l00827"></a>00827 <span class="keywordflow">if</span> (base::atBegin()) <a name="l00828"></a>00828 <span class="keywordflow">return</span>; <a name="l00829"></a>00829 <a name="l00830"></a>00830 <span class="keywordflow">while</span> (!base::atEnd() && (base::size() < size) ) { <a name="l00831"></a>00831 base::incrementBranch(); <a name="l00832"></a>00832 } <a name="l00833"></a>00833 base::gotoEnd(); <a name="l00834"></a>00834 <a name="l00835"></a>00835 <span class="keywordflow">if</span> (doloop = (base::isInvalid() || (base::size() != size)) ) <a name="l00836"></a>00836 base::decrementNode(); <a name="l00837"></a>00837 <a name="l00838"></a>00838 } <span class="keywordflow">while</span> (!base::empty() && doloop); <a name="l00839"></a>00839 <a name="l00840"></a>00840 } <a name="l00841"></a>00841 <a name="l00842"></a>00842 <a name="l00843"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#94823da2784004fb08fcfa774875967e">00843</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegTermStack.html#94823da2784004fb08fcfa774875967e">decrement</a>() {} <a name="l00844"></a>00844 <a name="l00845"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#90247daa6e42d8c802dfcb732bcff1ee">00845</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegTermStack.html#90247daa6e42d8c802dfcb732bcff1ee">findTerm</a>(size_type upperbound) { <a name="l00846"></a>00846 assert(!base::empty()); <a name="l00847"></a>00847 <a name="l00848"></a>00848 <span class="keyword">typename</span> base::purestack_type max_elt, current(base::top()); <a name="l00849"></a>00849 base::decrementNode(); <a name="l00850"></a>00850 <a name="l00851"></a>00851 <span class="keyword">typename</span> base::size_comparer comp; <a name="l00852"></a>00852 <a name="l00853"></a>00853 <span class="keywordflow">while</span> (!current.empty() && <a name="l00854"></a>00854 (base::takeLast() || (max_elt.size() != upperbound)) ) { <a name="l00855"></a>00855 <a name="l00856"></a>00856 <span class="keywordflow">while</span> (!base::atEnd(current.top()) && (current.size() < upperbound) ) <a name="l00857"></a>00857 current.incrementThen(); <a name="l00858"></a>00858 <a name="l00859"></a>00859 <span class="keywordflow">if</span> (base::validEnd(current.top())) { <a name="l00860"></a>00860 <span class="keywordflow">if</span> (comp(current.size(), max_elt.size())) <a name="l00861"></a>00861 max_elt = current; <a name="l00862"></a>00862 current.decrementNode(); <a name="l00863"></a>00863 } <a name="l00864"></a>00864 current.next(); <a name="l00865"></a>00865 } <a name="l00866"></a>00866 base::append(max_elt); <a name="l00867"></a>00867 <a name="l00868"></a>00868 <span class="keywordflow">if</span>(max_elt.empty()) <a name="l00869"></a>00869 base::invalidate(); <a name="l00870"></a>00870 } <a name="l00871"></a>00871 <a name="l00872"></a><a class="code" href="classpolybori_1_1CDegTermStack.html#bd7dfebe3ae7b1ef3bb1bd1a5cb88f8e">00872</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CDegTermStack.html#bd7dfebe3ae7b1ef3bb1bd1a5cb88f8e">restart</a>() { base::restart(m_start); } <a name="l00873"></a>00873 <a name="l00874"></a>00874 <span class="keyword">private</span>: <a name="l00875"></a>00875 navigator m_start; <a name="l00876"></a>00876 }; <a name="l00877"></a>00877 <a name="l00878"></a>00878 <a name="l00879"></a>00879 <a name="l00881"></a>00881 <span class="keyword">template</span> <<span class="keyword">class</span> NavigatorType, <span class="keyword">class</span> DescendingProperty, <span class="keyword">class</span> BaseType = <span class="keywordtype">int</span>ernal_tag> <a name="l00882"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html">00882</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1CBlockTermStack.html">CBlockTermStack</a>: <a name="l00883"></a>00883 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1CDegTermStack.html">CDegTermStack</a><NavigatorType, DescendingProperty, valid_tag, BaseType> { <a name="l00884"></a>00884 <a name="l00885"></a>00885 <span class="keyword">public</span>: <a name="l00886"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#cde5f85c6e4d2889c9c451ec252b804d">00886</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CDegTermStack.html">CDegTermStack<NavigatorType, DescendingProperty, valid_tag, BaseType></a> <a class="code" href="classpolybori_1_1CDegTermStack.html">base</a>; <a name="l00887"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#5c2ca16495f27d1d35ef8fab8892e40c">00887</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CBlockTermStack.html">CBlockTermStack<NavigatorType, DescendingProperty, BaseType></a> <span class="keyword">self</span>; <a name="l00888"></a>00888 <a name="l00889"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#435a7fcd48e9bfd3b80752ec2f441450">00889</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::navigator navigator; <a name="l00890"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#f536d191ff1a2cef43bdf31f232e8d67">00890</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> navigator::size_type size_type; <a name="l00891"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#e8157e6b73f125236b6dfe230f54fcaa">00891</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">navigator::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>; <a name="l00892"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#ad12f5a92d788e513c44c35f9472c8a4">00892</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::manager_type manager_type; <a name="l00893"></a>00893 <a name="l00895"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#001e45caa2903cb331247f3bcce285d6">00895</a> <a class="code" href="classpolybori_1_1CBlockTermStack.html">CBlockTermStack</a>(navigator navi, <span class="keyword">const</span> manager_type& mgr): <a name="l00896"></a>00896 <a class="code" href="classpolybori_1_1CDegTermStack.html">base</a>(navi, mgr) { } <a name="l00897"></a>00897 <a name="l00899"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#9a7fd394c9da50d2c0b89451f3f4db67">00899</a> <a class="code" href="classpolybori_1_1CBlockTermStack.html#9a7fd394c9da50d2c0b89451f3f4db67" title="Default Constructor.">CBlockTermStack</a>(): <a class="code" href="classpolybori_1_1CDegTermStack.html">base</a>() {} <a name="l00900"></a>00900 <a name="l00901"></a>00901 <a name="l00902"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#6b77cb8825612bb87820d65bc2c4df60">00902</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CBlockTermStack.html#6b77cb8825612bb87820d65bc2c4df60">init</a>() { <a name="l00903"></a>00903 assert(!base::empty()); <a name="l00904"></a>00904 followDeg(); <a name="l00905"></a>00905 base::terminate(); <a name="l00906"></a>00906 } <a name="l00907"></a>00907 <a name="l00908"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#9d12ffd85a10d2eda3f3df4181d43ea4">00908</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CBlockTermStack.html#9d12ffd85a10d2eda3f3df4181d43ea4">increment</a>() { <a name="l00909"></a>00909 assert(!base::empty()); <a name="l00910"></a>00910 <a name="l00911"></a>00911 <span class="keywordflow">if</span> (base::markedOne()) { <a name="l00912"></a>00912 base::clearOne(); <a name="l00913"></a>00913 <span class="keywordflow">return</span>; <a name="l00914"></a>00914 } <a name="l00915"></a>00915 <a name="l00916"></a>00916 navigator current = base::top(); <a name="l00917"></a>00917 <span class="keywordflow">while</span> (*current < base::block.min()) <a name="l00918"></a>00918 --base::block; <a name="l00919"></a>00919 <a name="l00920"></a>00920 incrementBlock(); <a name="l00921"></a>00921 <span class="keywordflow">while</span> ( (base::size() > 1 ) && base::isInvalid() ) { <a name="l00922"></a>00922 --base::block; <a name="l00923"></a>00923 base::decrementNode(); <a name="l00924"></a>00924 incrementBlock(); <a name="l00925"></a>00925 } <a name="l00926"></a>00926 <a name="l00927"></a>00927 followDeg(); <a name="l00928"></a>00928 <a name="l00929"></a>00929 assert(!base::empty()); <a name="l00930"></a>00930 base::terminate(); <a name="l00931"></a>00931 } <a name="l00932"></a>00932 <a name="l00933"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#244a8d42bd63e69753aa351afdd68527">00933</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CBlockTermStack.html#244a8d42bd63e69753aa351afdd68527">followBlockDeg</a>() { base::followDeg(); } <a name="l00934"></a>00934 <a name="l00935"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#2033d29c0ad5da7529dc634277862378">00935</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CBlockTermStack.html#2033d29c0ad5da7529dc634277862378">followDeg</a>() { <a name="l00936"></a>00936 assert(base::top().isValid()); <a name="l00937"></a>00937 <a name="l00938"></a>00938 <span class="keywordflow">if</span> (!base::isConstant() ) <a name="l00939"></a>00939 followBlockDeg(); <a name="l00940"></a>00940 <a name="l00941"></a>00941 <span class="keywordflow">while</span> (!base::isConstant() ) { <a name="l00942"></a>00942 ++base::block; <a name="l00943"></a>00943 followBlockDeg(); <a name="l00944"></a>00944 } <a name="l00945"></a>00945 } <a name="l00946"></a>00946 <a name="l00947"></a><a class="code" href="classpolybori_1_1CBlockTermStack.html#60cf2ba9169014d44c8fa37b3845991f">00947</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1CBlockTermStack.html#60cf2ba9169014d44c8fa37b3845991f">incrementBlock</a>() { <a name="l00948"></a>00948 <a name="l00949"></a>00949 assert(!base::empty()); <a name="l00950"></a>00950 size_type size = base::size() + 1; <a name="l00951"></a>00951 <a name="l00952"></a>00952 <span class="keywordflow">if</span> (base::index() < base::block.min()) { <a name="l00953"></a>00953 base::invalidate(); <a name="l00954"></a>00954 <span class="keywordflow">return</span>; <a name="l00955"></a>00955 } <a name="l00956"></a>00956 <a name="l00957"></a>00957 base::degTerm(); <a name="l00958"></a>00958 <a name="l00959"></a>00959 <span class="keywordflow">if</span> (base::size() == size) <span class="keywordflow">return</span>; <a name="l00960"></a>00960 <a name="l00961"></a>00961 <span class="keywordflow">if</span> (base::empty()) <a name="l00962"></a>00962 base::restart(); <a name="l00963"></a>00963 <span class="keywordflow">else</span> { <a name="l00964"></a>00964 assert(base::index() < base::block.min()); <a name="l00965"></a>00965 base::incrementThen(); <a name="l00966"></a>00966 } <a name="l00967"></a>00967 <a name="l00968"></a>00968 <span class="keywordflow">while</span> (!base::isConstant() && (base::index() < base::block.min())) <a name="l00969"></a>00969 base::incrementElse(); <a name="l00970"></a>00970 <a name="l00971"></a>00971 assert(size > base::size()); <a name="l00972"></a>00972 <a name="l00973"></a>00973 base::findTerm(size - base::size()); <a name="l00974"></a>00974 base::gotoEnd(); <a name="l00975"></a>00975 } <a name="l00976"></a>00976 }; <a name="l00977"></a>00977 <a name="l00978"></a>00978 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&#39;s namespace.">END_NAMESPACE_PBORI</a> <a name="l00979"></a>00979 <a name="l00980"></a>00980 <span class="preprocessor">#endif</span> </pre></div></div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:57 2009 for PolyBoRi by <a href="http://www.doxygen.org/index.html"> <img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.9 </small></address> </body> </html>