<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8"> <title>PolyBoRi: pbori_func.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>pbori_func.h</h1><a href="pbori__func_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="l00150"></a>00150 <span class="comment"></span><span class="comment">//*****************************************************************************</span> <a name="l00151"></a>00151 <a name="l00152"></a>00152 <span class="comment">// get polybori definitions</span> <a name="l00153"></a>00153 <span class="preprocessor">#include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span> <a name="l00154"></a>00154 <a name="l00155"></a>00155 <span class="comment">// get polybori properties</span> <a name="l00156"></a>00156 <span class="preprocessor">#include "<a class="code" href="pbori__traits_8h.html">pbori_traits.h</a>"</span> <a name="l00157"></a>00157 <a name="l00158"></a>00158 <span class="comment">// get standard string and string stream functionality</span> <a name="l00159"></a>00159 <span class="preprocessor">#include <string></span> <a name="l00160"></a>00160 <span class="preprocessor">#include <sstream></span> <a name="l00161"></a>00161 <a name="l00162"></a>00162 <a name="l00163"></a>00163 <span class="comment">// get map/hash_map functionality from stl/stl-ext</span> <a name="l00164"></a><a class="code" href="pbori__func_8h.html#fcbed1dccd53fc187afcc90031c9c6f3">00164</a> <span class="preprocessor">#define HAVE_HASH_MAP 1</span> <a name="l00165"></a>00165 <span class="preprocessor"></span><span class="preprocessor">#ifdef HAVE_HASH_MAP</span> <a name="l00166"></a>00166 <span class="preprocessor"></span><span class="preprocessor"># include <ext/hash_map></span> <a name="l00167"></a>00167 <span class="preprocessor">#else</span> <a name="l00168"></a>00168 <span class="preprocessor"></span><span class="preprocessor"># include <map></span> <a name="l00169"></a>00169 <span class="preprocessor">#endif</span> <a name="l00170"></a>00170 <span class="preprocessor"></span> <a name="l00171"></a>00171 <span class="preprocessor">#ifndef pbori_func_h_</span> <a name="l00172"></a>00172 <span class="preprocessor"></span><span class="preprocessor">#define pbori_func_h_</span> <a name="l00173"></a>00173 <span class="preprocessor"></span> <a name="l00174"></a>00174 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&#39;s namespace.">BEGIN_NAMESPACE_PBORI</a> <a name="l00175"></a>00175 <a name="l00178"></a>00178 <span class="keyword">template</span> <<span class="keyword">class</span> ListType, <span class="keyword">class</span> ValueType = <span class="keyword">typename</span> ListType::value_type > <a name="l00179"></a><a class="code" href="classpolybori_1_1push__back.html">00179</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1push__back.html" title="Accessing .push_back().">push_back</a> { <a name="l00180"></a>00180 <span class="keyword">public</span>: <a name="l00181"></a>00181 <a name="l00182"></a>00182 ListType <a name="l00183"></a><a class="code" href="classpolybori_1_1push__back.html#f579c5745d6fd109cb5eb25f9d95ce89">00183</a> <a class="code" href="classpolybori_1_1push__back.html#f579c5745d6fd109cb5eb25f9d95ce89">operator()</a>(ListType theList, <span class="keyword">const</span> ValueType& elt)<span class="keyword"> const </span>{ <a name="l00184"></a>00184 theList.push_back(elt); <a name="l00185"></a>00185 <span class="keywordflow">return</span> theList; <a name="l00186"></a>00186 } <a name="l00187"></a>00187 }; <a name="l00188"></a>00188 <a name="l00191"></a>00191 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType = <span class="keyword">typename</span> RhsType::<span class="keywordtype">id</span>x_type > <a name="l00192"></a><a class="code" href="classpolybori_1_1change__idx.html">00192</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1change__idx.html">change_idx</a> { <a name="l00193"></a>00193 <span class="keyword">public</span>: <a name="l00194"></a>00194 <a name="l00195"></a><a class="code" href="classpolybori_1_1change__idx.html#8ee8ee7315f791bc84a0c65e3585d62d">00195</a> RhsType operator() (<span class="keyword">const</span> RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00196"></a>00196 <span class="keywordflow">return</span> (rhs.change(lhs)); <a name="l00197"></a>00197 } <a name="l00198"></a>00198 <a name="l00199"></a>00199 }; <a name="l00200"></a>00200 <a name="l00203"></a>00203 <span class="keyword">template</span> <<span class="keyword">class </span>RhsType = void, <a name="l00204"></a>00204 <span class="keyword">class </span>LhsType = <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">pbori_traits<RhsType>::idx_type</a> > <a name="l00205"></a>00205 <span class="keyword">class </span>change_assign; <a name="l00206"></a>00206 <a name="l00209"></a>00209 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00210"></a><a class="code" href="classpolybori_1_1change__assign.html">00210</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1change__assign.html" title="Accessing .changeAssign().">change_assign</a> { <a name="l00211"></a>00211 <span class="keyword">public</span>: <a name="l00212"></a>00212 <a name="l00213"></a><a class="code" href="classpolybori_1_1change__assign.html#ad7f647b511b06262278567207898e56">00213</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00214"></a>00214 <span class="keywordflow">return</span> (rhs.changeAssign(lhs)); <a name="l00215"></a>00215 } <a name="l00216"></a>00216 <a name="l00217"></a>00217 }; <a name="l00218"></a>00218 <a name="l00221"></a>00221 <span class="keyword">template</span><> <a name="l00222"></a><a class="code" href="classpolybori_1_1change__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">00222</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1change__assign.html" title="Accessing .changeAssign().">change_assign</a><void, <a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a><void>::<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>> { <a name="l00223"></a>00223 <span class="keyword">public</span>: <a name="l00224"></a>00224 <a name="l00225"></a>00225 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00226"></a><a class="code" href="classpolybori_1_1change__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html#0e1cbef22a95e698db8ee7ab9ff8fb6f">00226</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00227"></a>00227 <span class="keywordflow">return</span> (rhs.changeAssign(lhs)); <a name="l00228"></a>00228 } <a name="l00229"></a>00229 <a name="l00230"></a>00230 }; <a name="l00231"></a>00231 <a name="l00234"></a>00234 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType = <span class="keyword">typename</span> RhsType::<span class="keywordtype">id</span>x_type> <a name="l00235"></a><a class="code" href="classpolybori_1_1subset1__assign.html">00235</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1subset1__assign.html" title="Accessing .subset1Assign().">subset1_assign</a> { <a name="l00236"></a>00236 <span class="keyword">public</span>: <a name="l00237"></a>00237 <a name="l00238"></a><a class="code" href="classpolybori_1_1subset1__assign.html#f70ff3d65af79f520fcbb0438b4d486d">00238</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00239"></a>00239 (rhs.subset1Assign(lhs)); <a name="l00240"></a>00240 <span class="keywordflow">return</span> rhs; <a name="l00241"></a>00241 } <a name="l00242"></a>00242 }; <a name="l00243"></a>00243 <a name="l00246"></a>00246 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00247"></a><a class="code" href="classpolybori_1_1subset0__assign.html">00247</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1subset0__assign.html">subset0_assign</a> { <a name="l00248"></a>00248 <span class="keyword">public</span>: <a name="l00249"></a>00249 <a name="l00250"></a><a class="code" href="classpolybori_1_1subset0__assign.html#2d435086ed1304c8b57673dfd60112dd">00250</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00251"></a>00251 <span class="keywordflow">return</span> (rhs.subset0Assign(lhs)); <a name="l00252"></a>00252 } <a name="l00253"></a>00253 }; <a name="l00256"></a>00256 <span class="keyword">template</span> <<span class="keyword">class </span>RhsType, <a name="l00257"></a>00257 <span class="keyword">class </span>LhsType = <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">pbori_traits<RhsType>::idx_type</a> > <a name="l00258"></a><a class="code" href="classpolybori_1_1unite__assign.html">00258</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1unite__assign.html" title="Accessing .uniteAssign().">unite_assign</a>: <a name="l00259"></a>00259 <span class="keyword">public</span> std::binary_function<RhsType&, const LhsType&, RhsType&> { <a name="l00260"></a>00260 <a name="l00261"></a>00261 <span class="keyword">public</span>: <a name="l00262"></a><a class="code" href="classpolybori_1_1unite__assign.html#bce1ead3ba198e693cc17ecba7bc27bb">00262</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00263"></a>00263 <span class="keywordflow">return</span> (rhs.uniteAssign(lhs)); <a name="l00264"></a>00264 } <a name="l00265"></a>00265 }; <a name="l00266"></a>00266 <a name="l00267"></a>00267 <a name="l00268"></a>00268 <span class="comment">// @class project_ith</span> <a name="l00274"></a>00274 <span class="comment"></span> <a name="l00275"></a>00275 <span class="keyword">template</span> <<span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> ITH, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> NLEN = ITH> <a name="l00276"></a><a class="code" href="classproject__ith.html">00276</a> <span class="keyword">class </span><a class="code" href="classproject__ith.html" title="Virtually does nothing with the given arguments.">project_ith</a>; <a name="l00277"></a>00277 <a name="l00280"></a>00280 <span class="keyword">template</span> <<span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> NLEN> <a name="l00281"></a><a class="code" href="classpolybori_1_1project__ith_3_010_00_01NLEN_01_4.html">00281</a> <span class="keyword">class </span><a class="code" href="classproject__ith.html" title="Virtually does nothing with the given arguments.">project_ith</a><0, NLEN> { <a name="l00282"></a>00282 <a name="l00283"></a>00283 <span class="keyword">public</span>: <a name="l00285"></a>00285 <span class="keyword">template</span> <<span class="keyword">class</span> ValueType> <a name="l00286"></a><a class="code" href="classpolybori_1_1project__ith_3_010_00_01NLEN_01_4.html#c9e182d482357368461bc4d41f84a5a1">00286</a> <span class="keywordtype">void</span> operator() (<span class="keyword">const</span> ValueType&, ...)<span class="keyword"> const </span>{ } <a name="l00287"></a>00287 }; <a name="l00288"></a>00288 <a name="l00291"></a>00291 <span class="keyword">template</span> <<span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> NLEN> <a name="l00292"></a><a class="code" href="classpolybori_1_1project__ith_3_011_00_01NLEN_01_4.html">00292</a> <span class="keyword">class </span><a class="code" href="classproject__ith.html" title="Virtually does nothing with the given arguments.">project_ith</a><1, NLEN> { <a name="l00293"></a>00293 <a name="l00294"></a>00294 <span class="keyword">public</span>: <a name="l00296"></a>00296 <span class="keyword">template</span> <<span class="keyword">class</span> ValueType> <a name="l00297"></a><a class="code" href="classpolybori_1_1project__ith_3_011_00_01NLEN_01_4.html#b232521c8be0322a1349ef9454164d6e">00297</a> <span class="keyword">const</span> ValueType& operator() (<span class="keyword">const</span> ValueType& value, ...)<span class="keyword"> const </span>{ <a name="l00298"></a>00298 <span class="keywordflow">return</span> value; <a name="l00299"></a>00299 } <a name="l00300"></a>00300 <a name="l00302"></a>00302 <span class="keyword">template</span> <<span class="keyword">class</span> ValueType> <a name="l00303"></a><a class="code" href="classpolybori_1_1project__ith_3_011_00_01NLEN_01_4.html#1367a8dc915e806f192071983d07dbba">00303</a> ValueType& operator() (ValueType& value, ...)<span class="keyword"> const </span>{ <a name="l00304"></a>00304 <span class="keywordflow">return</span> value; <a name="l00305"></a>00305 } <a name="l00306"></a>00306 }; <a name="l00307"></a>00307 <a name="l00308"></a>00308 <a name="l00311"></a>00311 <span class="keyword">template</span> <<span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> NLEN> <a name="l00312"></a><a class="code" href="classpolybori_1_1project__ith_3_012_00_01NLEN_01_4.html">00312</a> <span class="keyword">class </span><a class="code" href="classproject__ith.html" title="Virtually does nothing with the given arguments.">project_ith</a><2, NLEN> { <a name="l00313"></a>00313 <a name="l00314"></a>00314 <span class="keyword">public</span>: <a name="l00316"></a>00316 <span class="keyword">template</span> <<span class="keyword">class</span> FirstType, <span class="keyword">class</span> ValueType> <a name="l00317"></a>00317 <span class="keyword">const</span> ValueType& <a name="l00318"></a><a class="code" href="classpolybori_1_1project__ith_3_012_00_01NLEN_01_4.html#dab4dd622d1c8dde7cbb81ff03460782">00318</a> operator() (<span class="keyword">const</span> FirstType&, <span class="keyword">const</span> ValueType& value, ...)<span class="keyword"> const </span>{ <a name="l00319"></a>00319 <span class="keywordflow">return</span> value; <a name="l00320"></a>00320 } <a name="l00321"></a>00321 <a name="l00323"></a>00323 <span class="keyword">template</span> <<span class="keyword">class</span> FirstType, <span class="keyword">class</span> ValueType> <a name="l00324"></a><a class="code" href="classpolybori_1_1project__ith_3_012_00_01NLEN_01_4.html#ce842b19d633cddffdd766d61fd65905">00324</a> ValueType& operator() (<span class="keyword">const</span> FirstType&, ValueType& value, ...)<span class="keyword"> const </span>{ <a name="l00325"></a>00325 <span class="keywordflow">return</span> value; <a name="l00326"></a>00326 } <a name="l00327"></a>00327 }; <a name="l00328"></a>00328 <a name="l00329"></a>00329 <a name="l00332"></a>00332 <span class="keyword">template</span> <<span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> NLEN> <a name="l00333"></a><a class="code" href="classpolybori_1_1project__ith_3_013_00_01NLEN_01_4.html">00333</a> <span class="keyword">class </span><a class="code" href="classproject__ith.html" title="Virtually does nothing with the given arguments.">project_ith</a><3, NLEN> { <a name="l00334"></a>00334 <a name="l00335"></a>00335 <span class="keyword">public</span>: <a name="l00337"></a>00337 <span class="keyword">template</span> <<span class="keyword">class</span> FirstType, <span class="keyword">class</span> SecondType, <span class="keyword">class</span> ValueType> <a name="l00338"></a>00338 <span class="keyword">const</span> ValueType& <a name="l00339"></a><a class="code" href="classpolybori_1_1project__ith_3_013_00_01NLEN_01_4.html#6ee82ef9deedcdf03ac14cfaee695339">00339</a> operator() (<span class="keyword">const</span> FirstType&, <span class="keyword">const</span> SecondType&, <a name="l00340"></a>00340 <span class="keyword">const</span> ValueType& value, ...)<span class="keyword"> const </span>{ <a name="l00341"></a>00341 <span class="keywordflow">return</span> value; <a name="l00342"></a>00342 } <a name="l00343"></a>00343 <a name="l00345"></a>00345 <span class="keyword">template</span> <<span class="keyword">class</span> FirstType, <span class="keyword">class</span> SecondType, <span class="keyword">class</span> ValueType> <a name="l00346"></a><a class="code" href="classpolybori_1_1project__ith_3_013_00_01NLEN_01_4.html#b8497c62f2cd31c2f78a8db3b35f4830">00346</a> ValueType& operator() (<span class="keyword">const</span> FirstType&, <span class="keyword">const</span> SecondType&, <a name="l00347"></a>00347 ValueType& value, ...)<span class="keyword"> const </span>{ <a name="l00348"></a>00348 <span class="keywordflow">return</span> value; <a name="l00349"></a>00349 } <a name="l00350"></a>00350 }; <a name="l00351"></a>00351 <a name="l00352"></a>00352 <span class="comment">/*</span> <a name="l00353"></a>00353 <span class="comment">class print_all {</span> <a name="l00354"></a>00354 <span class="comment">public:</span> <a name="l00355"></a>00355 <span class="comment"></span> <a name="l00356"></a>00356 <span class="comment"> print_all(std::ostream& os_):os(os_){}</span> <a name="l00357"></a>00357 <span class="comment"></span> <a name="l00358"></a>00358 <span class="comment"> template<class Type></span> <a name="l00359"></a>00359 <span class="comment"> Type& operator()(Type& val){</span> <a name="l00360"></a>00360 <span class="comment"> std::copy(val.begin(), val.end(), </span> <a name="l00361"></a>00361 <span class="comment"> std::ostream_iterator<typename Type::value_type>(os, ", "));</span> <a name="l00362"></a>00362 <span class="comment"> return val;</span> <a name="l00363"></a>00363 <span class="comment"> }</span> <a name="l00364"></a>00364 <span class="comment"> std::ostream& os;</span> <a name="l00365"></a>00365 <span class="comment">};</span> <a name="l00366"></a>00366 <span class="comment">*/</span> <a name="l00367"></a>00367 <a name="l00370"></a><a class="code" href="classpolybori_1_1dummy__iterator.html">00370</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1dummy__iterator.html" title="An iterator which virtually does nothing.">dummy_iterator</a> { <a name="l00371"></a>00371 <span class="keyword">public</span>: <a name="l00372"></a>00372 <a name="l00374"></a><a class="code" href="classpolybori_1_1dummy__iterator.html#d1531b6a2d750174ae9320631281b68a">00374</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1dummy__iterator.html" title="An iterator which virtually does nothing.">dummy_iterator</a> <span class="keyword">self</span>; <a name="l00375"></a>00375 <a name="l00376"></a>00376 <span class="keyword">template</span> <<span class="keyword">class</span> Type> <a name="l00377"></a><a class="code" href="classpolybori_1_1dummy__iterator.html#fa0336a78e63b757346cf6ffd3d569fe">00377</a> <span class="keyword">const</span> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1dummy__iterator.html#fa0336a78e63b757346cf6ffd3d569fe">operator=</a>(<span class="keyword">const</span> Type&)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> *<span class="keyword">this</span>;} <a name="l00378"></a>00378 <a name="l00379"></a><a class="code" href="classpolybori_1_1dummy__iterator.html#45bf0cb8df8d3a2f7023561e8ce6b0fe">00379</a> <span class="keyword">const</span> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1dummy__iterator.html#45bf0cb8df8d3a2f7023561e8ce6b0fe">operator*</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> *<span class="keyword">this</span>;} <a name="l00380"></a><a class="code" href="classpolybori_1_1dummy__iterator.html#edcfde1cca985b54863c8dd13fba9894">00380</a> <span class="keyword">const</span> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1dummy__iterator.html#edcfde1cca985b54863c8dd13fba9894">operator++</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> *<span class="keyword">this</span>;} <a name="l00381"></a><a class="code" href="classpolybori_1_1dummy__iterator.html#39327dd569496c7c24bd6f742186fd5b">00381</a> <span class="keyword">const</span> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1dummy__iterator.html#39327dd569496c7c24bd6f742186fd5b">operator++</a>(<span class="keywordtype">int</span>)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> *<span class="keyword">this</span>;} <a name="l00382"></a>00382 }; <a name="l00383"></a>00383 <a name="l00384"></a>00384 <span class="keyword">template</span> <> <a name="l00385"></a><a class="code" href="classpolybori_1_1pbori__traits_3_01dummy__iterator_01_4.html">00385</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a><<a class="code" href="classpolybori_1_1dummy__iterator.html" title="An iterator which virtually does nothing.">dummy_iterator</a>>: <a name="l00386"></a>00386 <span class="keyword">public</span> <a class="code" href="structpolybori_1_1CTypes.html" title="This struct contains type definitions to be used in library classes.">CTypes</a> { <a name="l00387"></a>00387 }; <a name="l00388"></a>00388 <a name="l00394"></a>00394 <span class="keyword">template</span> <<span class="keyword">class</span> IntType, IntType INTCONST, <span class="keyword">class</span> ResultType = IntType> <a name="l00395"></a><a class="code" href="structpolybori_1_1integral__constant.html">00395</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1integral__constant.html" title="integral_constant&lt;int_type, NUM&gt;()() returns NUM of int_type, instead of possibly...">integral_constant</a> { <a name="l00396"></a>00396 <a name="l00397"></a><a class="code" href="structpolybori_1_1integral__constant.html#eac0f72a9bdb3c78850f78332185b467">00397</a> <span class="keyword">typedef</span> ResultType result_type; <a name="l00398"></a><a class="code" href="structpolybori_1_1integral__constant.html#4adfc8762665f982da35aca0b78bb3cb">00398</a> result_type <a class="code" href="structpolybori_1_1integral__constant.html#4adfc8762665f982da35aca0b78bb3cb">operator()</a>(...)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> INTCONST; } <a name="l00399"></a>00399 }; <a name="l00400"></a>00400 <a name="l00404"></a>00404 <span class="keyword">template</span> <<span class="keyword">class</span> BinaryOp, <span class="keyword">class</span> FirstOp, <span class="keyword">class</span> SecondOp> <a name="l00405"></a><a class="code" href="classpolybori_1_1binary__composition.html">00405</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1binary__composition.html" title="Compose a binary function with two default constructable unary functions.">binary_composition</a>: <a name="l00406"></a>00406 <span class="keyword">public</span> <a class="code" href="classBinaryOp.html">BinaryOp</a> { <a name="l00407"></a>00407 <a name="l00408"></a>00408 <span class="keyword">public</span>: <a name="l00409"></a>00409 <a name="l00411"></a>00411 <a name="l00412"></a><a class="code" href="classpolybori_1_1binary__composition.html#a3dbd7c92550d7b39153441462d234ed">00412</a> <span class="keyword">typedef</span> <a class="code" href="classBinaryOp.html">BinaryOp</a> <a class="code" href="classBinaryOp.html">base</a>; <a name="l00413"></a><a class="code" href="classpolybori_1_1binary__composition.html#bf62d52c4df0e07d8918156f1cb18b44">00413</a> <span class="keyword">typedef</span> FirstOp first_op_type; <a name="l00414"></a><a class="code" href="classpolybori_1_1binary__composition.html#bea49c6e30ba6314019a76e469ce639a">00414</a> <span class="keyword">typedef</span> SecondOp second_op_type; <a name="l00416"></a>00416 <a name="l00417"></a>00417 <span class="comment">// Constructor</span> <a name="l00418"></a><a class="code" href="classpolybori_1_1binary__composition.html#44989251a3fa0940f05151e13d896944">00418</a> <a class="code" href="classpolybori_1_1binary__composition.html" title="Compose a binary function with two default constructable unary functions.">binary_composition</a>(<span class="keyword">const</span> <a class="code" href="classBinaryOp.html">base</a>& binop = <a class="code" href="classBinaryOp.html">base</a>(), <a name="l00419"></a>00419 <span class="keyword">const</span> first_op_type& unop1 = first_op_type(), <a name="l00420"></a>00420 <span class="keyword">const</span> second_op_type& unop2 = second_op_type() ): <a name="l00421"></a>00421 <a class="code" href="classBinaryOp.html">base</a>(binop), first_op(unop1), second_op(unop2) {} <a name="l00422"></a>00422 <a name="l00424"></a><a class="code" href="classpolybori_1_1binary__composition.html#16d26afed063448a365c09712b66a303">00424</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> base::result_type result_type; <a name="l00425"></a>00425 <a name="l00427"></a>00427 <span class="keyword">template</span> <<span class="keyword">class</span> FirstType, <span class="keyword">class</span> SecondType> <a name="l00428"></a><a class="code" href="classpolybori_1_1binary__composition.html#28b559e7d1c75491c51e5a76ab2eccc7">00428</a> result_type operator()(<span class="keyword">const</span> FirstType& first, <a name="l00429"></a>00429 <span class="keyword">const</span> SecondType& second)<span class="keyword"> const </span>{ <a name="l00430"></a>00430 <span class="keywordflow">return</span> base::operator()(first_op(first), second_op(second)); <a name="l00431"></a>00431 } <a name="l00432"></a>00432 <a name="l00434"></a>00434 <span class="keyword">template</span> <<span class="keyword">class</span> FirstType, <span class="keyword">class</span> SecondType> <a name="l00435"></a><a class="code" href="classpolybori_1_1binary__composition.html#c82cb0fe9cc5690382c89ce734f3b024">00435</a> result_type operator()(FirstType& first, <a name="l00436"></a>00436 <span class="keyword">const</span> SecondType& second)<span class="keyword"> const </span>{ <a name="l00437"></a>00437 <span class="keywordflow">return</span> base::operator()(first_op(first), second_op(second)); <a name="l00438"></a>00438 } <a name="l00439"></a>00439 <a name="l00441"></a>00441 <span class="keyword">template</span> <<span class="keyword">class</span> FirstType, <span class="keyword">class</span> SecondType> <a name="l00442"></a><a class="code" href="classpolybori_1_1binary__composition.html#e8563b14aa71e20867c4eabbf685e187">00442</a> result_type operator()(<span class="keyword">const</span> FirstType& first, <a name="l00443"></a>00443 SecondType& second)<span class="keyword"> const </span>{ <a name="l00444"></a>00444 <span class="keywordflow">return</span> base::operator()(first_op(first), second_op(second)); <a name="l00445"></a>00445 } <a name="l00446"></a>00446 <a name="l00447"></a>00447 <span class="keyword">protected</span>: <a name="l00448"></a><a class="code" href="classpolybori_1_1binary__composition.html#60041019306bfb2952326a0bd0acf81f">00448</a> first_op_type first_op; <a name="l00449"></a><a class="code" href="classpolybori_1_1binary__composition.html#12ad608d5917a3d3abcbeaa5c12f391a">00449</a> second_op_type second_op; <a name="l00450"></a>00450 }; <a name="l00451"></a>00451 <a name="l00455"></a>00455 <span class="keyword">template</span> <<span class="keyword">class</span> BinaryOp, <span class="keyword">class</span> UnaryOperation> <a name="l00456"></a><a class="code" href="classpolybori_1_1symmetric__composition.html">00456</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1symmetric__composition.html" title="Compose a binary function with a default constructable unary function for both arguments...">symmetric_composition</a>: <a name="l00457"></a>00457 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1binary__composition.html" title="Compose a binary function with two default constructable unary functions.">binary_composition</a><BinaryOp, UnaryOperation, UnaryOperation> { <a name="l00458"></a>00458 <a name="l00459"></a>00459 <span class="keyword">public</span>: <a name="l00460"></a>00460 <a name="l00462"></a>00462 <a name="l00463"></a><a class="code" href="classpolybori_1_1symmetric__composition.html#4c4e2416bd96d62bc91b94df11ffd0f8">00463</a> <span class="keyword">typedef</span> <a class="code" href="classBinaryOp.html">BinaryOp</a> <a class="code" href="classBinaryOp.html">binary_op_type</a>; <a name="l00464"></a><a class="code" href="classpolybori_1_1symmetric__composition.html#d2f2d0be0c8d6e43ee270119f5028479">00464</a> <span class="keyword">typedef</span> UnaryOperation unary_op_type; <a name="l00465"></a>00465 <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1binary__composition.html" title="Compose a binary function with two default constructable unary functions.">binary_composition<binary_op_type, unary_op_type, unary_op_type></a> <a name="l00466"></a><a class="code" href="classpolybori_1_1symmetric__composition.html#98e9ad213ab93859556782a16a8a8290">00466</a> <a class="code" href="classpolybori_1_1binary__composition.html" title="Compose a binary function with two default constructable unary functions.">base</a>; <a name="l00468"></a>00468 <a name="l00469"></a>00469 <span class="comment">// Constructor</span> <a name="l00470"></a><a class="code" href="classpolybori_1_1symmetric__composition.html#e0e224dd851743ef9aad59ed6dfd08ba">00470</a> <a class="code" href="classpolybori_1_1symmetric__composition.html" title="Compose a binary function with a default constructable unary function for both arguments...">symmetric_composition</a>(<span class="keyword">const</span> <a class="code" href="classBinaryOp.html">binary_op_type</a>& binop = <a class="code" href="classBinaryOp.html">binary_op_type</a>(), <a name="l00471"></a>00471 <span class="keyword">const</span> unary_op_type& unop = unary_op_type() ): <a name="l00472"></a>00472 <a class="code" href="classpolybori_1_1binary__composition.html" title="Compose a binary function with two default constructable unary functions.">base</a>(binop, unop, unop) {} <a name="l00473"></a>00473 }; <a name="l00474"></a>00474 <a name="l00477"></a>00477 <span class="keyword">template</span><<span class="keyword">class</span> ValueType> <a name="l00478"></a><a class="code" href="classpolybori_1_1maximum__iteration.html">00478</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1maximum__iteration.html" title="Returns maximun of given argument and previous calls.">maximum_iteration</a> { <a name="l00479"></a>00479 <span class="keyword">public</span>: <a name="l00480"></a><a class="code" href="classpolybori_1_1maximum__iteration.html#d08457c345071e47aff327e34af18c7a">00480</a> <a class="code" href="classpolybori_1_1maximum__iteration.html#d08457c345071e47aff327e34af18c7a">maximum_iteration</a>(ValueType & init) : max(init){} <a name="l00481"></a>00481 <a name="l00482"></a><a class="code" href="classpolybori_1_1maximum__iteration.html#c284071d16341cdd8fbde1c8c7e3e4f8">00482</a> ValueType& <a class="code" href="classpolybori_1_1maximum__iteration.html#c284071d16341cdd8fbde1c8c7e3e4f8">operator()</a>(<span class="keyword">const</span> ValueType& val)<span class="keyword"> const </span>{ <a name="l00483"></a>00483 <span class="keywordflow">return</span> max = std::max(max, val); <a name="l00484"></a>00484 } <a name="l00485"></a>00485 <a name="l00486"></a>00486 <span class="keyword">private</span>: <a name="l00487"></a>00487 ValueType & max; <a name="l00488"></a>00488 }; <a name="l00489"></a>00489 <a name="l00492"></a>00492 <span class="keyword">template</span> <<span class="keyword">class</span> DDType> <a name="l00493"></a><a class="code" href="classpolybori_1_1dd__add__assign.html">00493</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1dd__add__assign.html" title="Defines addition operation with assignment for decision diagrams.">dd_add_assign</a> { <a name="l00494"></a>00494 <span class="keyword">public</span>: <a name="l00495"></a>00495 <a name="l00496"></a><a class="code" href="classpolybori_1_1dd__add__assign.html#f80e811c1cf6d01dc0ac62912a2dc4ec">00496</a> DDType& <a class="code" href="classpolybori_1_1dd__add__assign.html#f80e811c1cf6d01dc0ac62912a2dc4ec">operator()</a>(DDType& lhs, <span class="keyword">const</span> DDType& rhs)<span class="keyword"> const </span>{ <a name="l00497"></a>00497 <span class="comment">// several possible implementations</span> <a name="l00498"></a>00498 <span class="keywordflow">return</span> <a name="l00499"></a>00499 <span class="preprocessor">#ifdef PBORI_ADD_BY_ITE</span> <a name="l00500"></a>00500 <span class="preprocessor"></span> lhs.iteAssign(lhs.diff(rhs), rhs); <a name="l00501"></a>00501 <a name="l00502"></a>00502 <span class="preprocessor"># elif defined(PBORI_ADD_BY_OR)</span> <a name="l00503"></a>00503 <span class="preprocessor"></span> (lhs = (lhs.diff(rhs)).unite(rhs.diff(lhs))); <a name="l00504"></a>00504 <a name="l00505"></a>00505 <span class="preprocessor"># elif defined(PBORI_ADD_BY_UNION)</span> <a name="l00506"></a>00506 <span class="preprocessor"></span> (lhs = lhs.unite(rhs).diff( lhs.intersect(rhs) ) ); <a name="l00507"></a>00507 <span class="preprocessor"># elif defined(PBORI_ADD_BY_EXTRA_XOR) || defined(PBORI_ADD_BY_XOR)</span> <a name="l00508"></a>00508 <span class="preprocessor"></span> (lhs = lhs.Xor(rhs)); <a name="l00509"></a>00509 <span class="preprocessor">#endif</span> <a name="l00510"></a>00510 <span class="preprocessor"></span> } <a name="l00511"></a>00511 }; <a name="l00512"></a>00512 <a name="l00515"></a>00515 <span class="keyword">template</span> <<span class="keyword">class</span> DDType, <span class="keyword">class</span> IdxType = <span class="keyword">typename</span> DDType::<span class="keywordtype">id</span>x_type> <a name="l00516"></a><a class="code" href="classpolybori_1_1times__indexed__var.html">00516</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1times__indexed__var.html" title="Defines multiplication operation with the idx-th variable.">times_indexed_var</a> { <a name="l00517"></a>00517 <span class="keyword">public</span>: <a name="l00518"></a>00518 <a name="l00519"></a><a class="code" href="classpolybori_1_1times__indexed__var.html#17c61af3e048fc40e530d940bb965a37">00519</a> DDType& <a class="code" href="classpolybori_1_1times__indexed__var.html#17c61af3e048fc40e530d940bb965a37">operator()</a>(DDType& lhs, IdxType idx)<span class="keyword"> const </span>{ <a name="l00520"></a>00520 <a name="l00521"></a>00521 <span class="comment">// get all terms not containing the variable with index idx</span> <a name="l00522"></a>00522 DDType tmp( lhs.subset0(idx) ); <a name="l00523"></a>00523 <a name="l00524"></a>00524 <span class="comment">// get the complementary terms</span> <a name="l00525"></a>00525 lhs.diffAssign(tmp); <a name="l00526"></a>00526 <a name="l00527"></a>00527 <span class="comment">// construct polynomial terms</span> <a name="l00528"></a>00528 <a class="code" href="classpolybori_1_1dd__add__assign.html" title="Defines addition operation with assignment for decision diagrams.">dd_add_assign<DDType></a>()(lhs, tmp.change(idx)); <a name="l00529"></a>00529 <a name="l00530"></a>00530 <span class="keywordflow">return</span> lhs; <a name="l00531"></a>00531 } <a name="l00532"></a>00532 <a name="l00533"></a>00533 }; <a name="l00534"></a>00534 <a name="l00537"></a>00537 <span class="keyword">template</span> <<span class="keyword">class</span> DDType, <span class="keyword">class</span> IdxType = <span class="keyword">typename</span> DDType::<span class="keywordtype">id</span>x_type> <a name="l00538"></a><a class="code" href="classpolybori_1_1append__indexed__divisor.html">00538</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1append__indexed__divisor.html" title="Defines multiplication (with assignment) with the idx-th variable.">append_indexed_divisor</a> { <a name="l00539"></a>00539 <span class="keyword">public</span>: <a name="l00540"></a>00540 <a name="l00541"></a><a class="code" href="classpolybori_1_1append__indexed__divisor.html#50275a8c0cac7b75f52e7fc8b7714de2">00541</a> DDType& <a class="code" href="classpolybori_1_1append__indexed__divisor.html#50275a8c0cac7b75f52e7fc8b7714de2">operator()</a>(DDType& lhs, IdxType idx)<span class="keyword"> const </span>{ <a name="l00542"></a>00542 <a name="l00543"></a>00543 lhs.uniteAssign( lhs.change(idx) ); <a name="l00544"></a>00544 <span class="keywordflow">return</span> lhs; <a name="l00545"></a>00545 } <a name="l00546"></a>00546 <a name="l00547"></a>00547 }; <a name="l00548"></a>00548 <a name="l00551"></a>00551 <span class="comment">// template <class RhsType = void,</span> <a name="l00552"></a>00552 <span class="comment">// class LhsType = typename RhsType::value_type ></span> <a name="l00553"></a>00553 <span class="comment">// class inserts:</span> <a name="l00554"></a>00554 <span class="comment">// public std::binary_function<RhsType&, const LhsType&, RhsType&> {</span> <a name="l00555"></a>00555 <span class="comment">// public:</span> <a name="l00556"></a>00556 <a name="l00557"></a>00557 <span class="comment">// RhsType& operator() (RhsType& rhs, const LhsType& lhs) const {</span> <a name="l00558"></a>00558 <span class="comment">// rhs.insert(lhs);</span> <a name="l00559"></a>00559 <span class="comment">// return rhs;</span> <a name="l00560"></a>00560 <span class="comment">// } </span> <a name="l00561"></a>00561 <a name="l00562"></a>00562 <span class="comment">// };</span> <a name="l00563"></a>00563 <a name="l00564"></a>00564 <a name="l00567"></a>00567 <span class="keyword">template</span> <<span class="keyword">class </span>RhsType = void, <a name="l00568"></a>00568 <span class="keyword">class </span>LhsType = <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">pbori_traits<RhsType>::idx_type</a> > <a name="l00569"></a>00569 <span class="keyword">class </span>inserts; <a name="l00570"></a>00570 <a name="l00571"></a>00571 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00572"></a><a class="code" href="classpolybori_1_1inserts.html">00572</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1inserts.html" title="Accessing .insert().">inserts</a>: <a name="l00573"></a>00573 <span class="keyword">public</span> std::binary_function<RhsType&, const LhsType&, RhsType&> { <a name="l00574"></a>00574 <span class="keyword">public</span>: <a name="l00575"></a>00575 <a name="l00576"></a><a class="code" href="classpolybori_1_1inserts.html#14bc5c9716caf7ad8f6d27c5cbdb98ac">00576</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00577"></a>00577 rhs.insert(lhs); <a name="l00578"></a>00578 <span class="keywordflow">return</span> rhs; <a name="l00579"></a>00579 } <a name="l00580"></a>00580 }; <a name="l00581"></a>00581 <a name="l00582"></a>00582 <span class="keyword">template</span> <> <a name="l00583"></a><a class="code" href="classpolybori_1_1inserts_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">00583</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1inserts.html" title="Accessing .insert().">inserts</a><void, <a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a><void>::<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>> { <a name="l00584"></a>00584 <span class="keyword">public</span>: <a name="l00585"></a>00585 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00586"></a><a class="code" href="classpolybori_1_1inserts_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html#e89da41e0d6280fca84286b5aba02dcc">00586</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00587"></a>00587 rhs.insert(lhs); <a name="l00588"></a>00588 <span class="keywordflow">return</span> rhs; <a name="l00589"></a>00589 } <a name="l00590"></a>00590 }; <a name="l00591"></a>00591 <a name="l00592"></a>00592 <a name="l00595"></a>00595 <span class="keyword">template</span> <<span class="keyword">class </span>RhsType = void, <a name="l00596"></a>00596 <span class="keyword">class </span>LhsType = <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">pbori_traits<RhsType>::idx_type</a> > <a name="l00597"></a>00597 <span class="keyword">class </span>insert_assign; <a name="l00598"></a>00598 <a name="l00599"></a>00599 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00600"></a><a class="code" href="classpolybori_1_1insert__assign.html">00600</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1insert__assign.html" title="Accessing .insertAssign().">insert_assign</a>: <a name="l00601"></a>00601 <span class="keyword">public</span> std::binary_function<RhsType&, const LhsType&, RhsType&> { <a name="l00602"></a>00602 <span class="keyword">public</span>: <a name="l00603"></a>00603 <a name="l00604"></a><a class="code" href="classpolybori_1_1insert__assign.html#f5c272edc6815471cf566d32fa35b8f0">00604</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00605"></a>00605 rhs.insertAssign(lhs); <a name="l00606"></a>00606 <span class="keywordflow">return</span> rhs; <a name="l00607"></a>00607 } <a name="l00608"></a>00608 }; <a name="l00609"></a>00609 <a name="l00610"></a>00610 <span class="keyword">template</span> <> <a name="l00611"></a><a class="code" href="classpolybori_1_1insert__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">00611</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1insert__assign.html" title="Accessing .insertAssign().">insert_assign</a><void, <a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a><void>::<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>> { <a name="l00612"></a>00612 <span class="keyword">public</span>: <a name="l00613"></a>00613 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00614"></a><a class="code" href="classpolybori_1_1insert__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html#da23a95dc6c196b73e320bcea93315d6">00614</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00615"></a>00615 rhs.insertAssign(lhs); <a name="l00616"></a>00616 <span class="keywordflow">return</span> rhs; <a name="l00617"></a>00617 } <a name="l00618"></a>00618 }; <a name="l00619"></a>00619 <a name="l00620"></a>00620 <a name="l00621"></a>00621 <a name="l00624"></a>00624 <span class="keyword">template</span> <<span class="keyword">class </span>RhsType = void, <a name="l00625"></a>00625 <span class="keyword">class </span>LhsType = <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">pbori_traits<RhsType>::idx_type</a> > <a name="l00626"></a>00626 <span class="keyword">class </span>removes; <a name="l00627"></a>00627 <a name="l00628"></a>00628 <a name="l00629"></a>00629 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00630"></a><a class="code" href="classpolybori_1_1removes.html">00630</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1removes.html" title="Accessing .remove().">removes</a>: <a name="l00631"></a>00631 <span class="keyword">public</span> std::binary_function<RhsType&, const LhsType&, RhsType&> { <a name="l00632"></a>00632 <span class="keyword">public</span>: <a name="l00633"></a>00633 <a name="l00634"></a><a class="code" href="classpolybori_1_1removes.html#b0b22d92946f2e344fbc7029447c7765">00634</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00635"></a>00635 rhs.remove(lhs); <a name="l00636"></a>00636 <span class="keywordflow">return</span> rhs; <a name="l00637"></a>00637 } <a name="l00638"></a>00638 }; <a name="l00639"></a>00639 <a name="l00640"></a>00640 <a name="l00641"></a>00641 <span class="keyword">template</span> <> <a name="l00642"></a><a class="code" href="classpolybori_1_1removes_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">00642</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1removes.html" title="Accessing .remove().">removes</a><void, <a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a><void>::<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>> { <a name="l00643"></a>00643 <span class="keyword">public</span>: <a name="l00644"></a>00644 <a name="l00645"></a>00645 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00646"></a><a class="code" href="classpolybori_1_1removes_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html#d6878a7ca4ae9b4d5278b29a5f165cd9">00646</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00647"></a>00647 rhs.remove(lhs); <a name="l00648"></a>00648 <span class="keywordflow">return</span> rhs; <a name="l00649"></a>00649 } <a name="l00650"></a>00650 }; <a name="l00651"></a>00651 <a name="l00654"></a>00654 <span class="keyword">template</span> <<span class="keyword">class </span>RhsType = void, <a name="l00655"></a>00655 <span class="keyword">class </span>LhsType = <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">pbori_traits<RhsType>::idx_type</a> > <a name="l00656"></a>00656 <span class="keyword">class </span>remove_assign; <a name="l00657"></a>00657 <a name="l00658"></a>00658 <a name="l00659"></a>00659 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00660"></a><a class="code" href="classpolybori_1_1remove__assign.html">00660</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1remove__assign.html" title="Accessing .removeAssign().">remove_assign</a>: <a name="l00661"></a>00661 <span class="keyword">public</span> std::binary_function<RhsType&, const LhsType&, RhsType&> { <a name="l00662"></a>00662 <span class="keyword">public</span>: <a name="l00663"></a>00663 <a name="l00664"></a><a class="code" href="classpolybori_1_1remove__assign.html#91063e99fdf76e4416c30db2574be649">00664</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00665"></a>00665 rhs.removeAssign(lhs); <a name="l00666"></a>00666 <span class="keywordflow">return</span> rhs; <a name="l00667"></a>00667 } <a name="l00668"></a>00668 }; <a name="l00669"></a>00669 <a name="l00670"></a>00670 <a name="l00671"></a>00671 <span class="keyword">template</span> <> <a name="l00672"></a><a class="code" href="classpolybori_1_1remove__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">00672</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1remove__assign.html" title="Accessing .removeAssign().">remove_assign</a><void, <a class="code" href="classpolybori_1_1pbori__traits.html" title="This class contains property definitions to be used in polybori classes.">pbori_traits</a><void>::<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>> { <a name="l00673"></a>00673 <span class="keyword">public</span>: <a name="l00674"></a>00674 <a name="l00675"></a>00675 <span class="keyword">template</span> <<span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00676"></a><a class="code" href="classpolybori_1_1remove__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html#081d33186dea8fa49cb72d72d93841ec">00676</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00677"></a>00677 rhs.removeAssign(lhs); <a name="l00678"></a>00678 <span class="keywordflow">return</span> rhs; <a name="l00679"></a>00679 } <a name="l00680"></a>00680 }; <a name="l00681"></a>00681 <a name="l00684"></a>00684 <span class="keyword">template</span> <<span class="keyword">class</span> ListType, <span class="keyword">class</span> RhsType, <span class="keyword">class</span> LhsType> <a name="l00685"></a><a class="code" href="classpolybori_1_1insert__second__to__list.html">00685</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1insert__second__to__list.html" title="Insert second argument to a given list.">insert_second_to_list</a> { <a name="l00686"></a>00686 <span class="keyword">public</span>: <a name="l00687"></a>00687 <a name="l00688"></a><a class="code" href="classpolybori_1_1insert__second__to__list.html#eef1d1fb4c95efc364df821188df63eb">00688</a> <a class="code" href="classpolybori_1_1insert__second__to__list.html" title="Insert second argument to a given list.">insert_second_to_list</a>(ListType& theList__): <a name="l00689"></a>00689 theList(theList__) {}; <a name="l00690"></a>00690 <a name="l00691"></a><a class="code" href="classpolybori_1_1insert__second__to__list.html#df9a71113fbf1264b5d76af464e63d01">00691</a> RhsType& operator() (RhsType& rhs, <span class="keyword">const</span> LhsType& lhs)<span class="keyword"> const </span>{ <a name="l00692"></a>00692 theList.insert(lhs); <a name="l00693"></a>00693 <span class="keywordflow">return</span> rhs; <a name="l00694"></a>00694 } <a name="l00695"></a>00695 <a name="l00696"></a>00696 <span class="keyword">private</span>: <a name="l00697"></a>00697 ListType& theList; <a name="l00698"></a>00698 }; <a name="l00699"></a>00699 <a name="l00700"></a>00700 <a name="l00704"></a>00704 <span class="keyword">template</span> <<span class="keyword">class</span> Type1, <span class="keyword">class</span> Type2> <a name="l00705"></a>00705 <span class="keyword">class </span>is_same_type; <a name="l00706"></a>00706 <a name="l00707"></a>00707 <span class="keyword">template</span> <<span class="keyword">class</span> Type> <a name="l00708"></a><a class="code" href="classpolybori_1_1is__same__type_3_01Type_00_01Type_01_4.html">00708</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1is__same__type.html" title="This class tests whether two types equal.">is_same_type</a><Type, Type>: <a name="l00709"></a>00709 <span class="keyword">public</span> <a class="code" href="structpolybori_1_1integral__constant.html" title="integral_constant&lt;int_type, NUM&gt;()() returns NUM of int_type, instead of possibly...">integral_constant</a><CTypes::bool_type, true> {}; <a name="l00710"></a>00710 <a name="l00711"></a>00711 <span class="keyword">template</span> <<span class="keyword">class</span> Type1, <span class="keyword">class</span> Type2> <a name="l00712"></a><a class="code" href="classpolybori_1_1is__same__type.html">00712</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1is__same__type.html" title="This class tests whether two types equal.">is_same_type</a>: <a name="l00713"></a>00713 <span class="keyword">public</span> <a class="code" href="structpolybori_1_1integral__constant.html" title="integral_constant&lt;int_type, NUM&gt;()() returns NUM of int_type, instead of possibly...">integral_constant</a><CTypes::bool_type, false> {}; <a name="l00714"></a>00714 <a name="l00715"></a>00715 <a name="l00719"></a>00719 <span class="keyword">template</span> <<span class="keyword">class</span> Type1, <span class="keyword">class</span> Type2, <span class="keyword">class</span> ThenType, <span class="keyword">class</span> ElseType> <a name="l00720"></a>00720 <span class="keyword">class </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>; <a name="l00721"></a>00721 <a name="l00722"></a>00722 <span class="keyword">template</span> <<span class="keyword">class</span> Type, <span class="keyword">class</span> ThenType, <span class="keyword">class</span> ElseType> <a name="l00723"></a><a class="code" href="classpolybori_1_1on__same__type_3_01Type_00_01Type_00_01ThenType_00_01ElseType_01_4.html">00723</a> <span class="keyword">class </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><Type, Type, ThenType, ElseType> { <a name="l00724"></a>00724 <span class="keyword">public</span>: <a name="l00725"></a><a class="code" href="classpolybori_1_1on__same__type_3_01Type_00_01Type_00_01ThenType_00_01ElseType_01_4.html#437d0cb2063e2c76b23166ed2e7249ca">00725</a> <span class="keyword">typedef</span> ThenType type; <a name="l00726"></a>00726 }; <a name="l00727"></a>00727 <a name="l00728"></a>00728 <span class="keyword">template</span> <<span class="keyword">class</span> Type1, <span class="keyword">class</span> Type2, <span class="keyword">class</span> ThenType, <span class="keyword">class</span> ElseType> <a name="l00729"></a><a class="code" href="classpolybori_1_1on__same__type.html">00729</a> <span class="keyword">class </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> { <a name="l00730"></a>00730 <span class="keyword">public</span>: <a name="l00731"></a><a class="code" href="classpolybori_1_1on__same__type.html#e3789c7bc771885e123c9ba00a4630d9">00731</a> <span class="keyword">typedef</span> ElseType <a class="code" href="classpolybori_1_1handle__else.html">type</a>; <a name="l00732"></a>00732 }; <a name="l00733"></a>00733 <a name="l00734"></a>00734 <a name="l00738"></a><a class="code" href="structpolybori_1_1internal__tag.html">00738</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1internal__tag.html" title="This class marks an internal part of a procedure.">internal_tag</a> {}; <a name="l00739"></a>00739 <a name="l00743"></a>00743 <span class="keyword">template</span><<span class="keyword">class</span> Type> <a name="l00744"></a><a class="code" href="structpolybori_1_1type__tag.html">00744</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1type__tag.html" title="This class marks a given type.">type_tag</a> {}; <a name="l00745"></a>00745 <a name="l00746"></a>00746 <span class="keyword">template</span> <<span class="keyword">class</span> Type> <a name="l00747"></a><a class="code" href="classpolybori_1_1hashes.html">00747</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1hashes.html">hashes</a> { <a name="l00748"></a>00748 <span class="keyword">public</span>: <a name="l00749"></a>00749 <a name="l00750"></a><a class="code" href="classpolybori_1_1hashes.html#1c2b6e8d05422aa12426efe7c50ef47d">00750</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> Type::hash_type hash_type; <a name="l00751"></a>00751 <a name="l00752"></a><a class="code" href="classpolybori_1_1hashes.html#ac9bab3145f1e2eb5b56d83649d327d9">00752</a> hash_type operator() (<span class="keyword">const</span> Type& rhs)<span class="keyword"> const</span>{ <a name="l00753"></a>00753 <span class="keywordflow">return</span> rhs.hash(); <a name="l00754"></a>00754 } <a name="l00755"></a>00755 }; <a name="l00756"></a>00756 <a name="l00757"></a>00757 <span class="keyword">template</span> <<span class="keyword">class</span> Type> <a name="l00758"></a><a class="code" href="classpolybori_1_1lm__hashes.html">00758</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1lm__hashes.html">lm_hashes</a> { <a name="l00759"></a>00759 <span class="keyword">public</span>: <a name="l00760"></a>00760 <a name="l00761"></a><a class="code" href="classpolybori_1_1lm__hashes.html#da11831acdae074df141f20890643226">00761</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> Type::hash_type hash_type; <a name="l00762"></a>00762 <a name="l00763"></a><a class="code" href="classpolybori_1_1lm__hashes.html#d5ea4b7ddcaae51667bcb5d8d2d76801">00763</a> hash_type operator() (<span class="keyword">const</span> Type& rhs)<span class="keyword"> const</span>{ <a name="l00764"></a>00764 <span class="keywordflow">return</span> rhs.lmHash(); <a name="l00765"></a>00765 } <a name="l00766"></a>00766 }; <a name="l00767"></a>00767 <a name="l00768"></a>00768 <span class="keyword">template</span> <<span class="keyword">class</span> Type> <a name="l00769"></a><a class="code" href="classpolybori_1_1generate__index__map.html">00769</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1generate__index__map.html">generate_index_map</a> { <a name="l00770"></a>00770 <a name="l00771"></a>00771 <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">Type::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>; <a name="l00772"></a>00772 <span class="keyword">public</span>: <a name="l00774"></a>00774 <span class="preprocessor">#ifdef HAVE_HASH_MAP</span> <a name="l00775"></a><a class="code" href="classpolybori_1_1generate__index__map.html#756553ebfd63310c19da8e39b57b535c">00775</a> <span class="preprocessor"></span> <span class="keyword">typedef</span> __gnu_cxx::hash_map<Type, idx_type, hashes<Type> > type; <a name="l00776"></a>00776 <span class="preprocessor">#else</span> <a name="l00777"></a>00777 <span class="preprocessor"></span> <span class="keyword">typedef</span> std::map<Type, idx_type> type; <a name="l00778"></a>00778 <span class="preprocessor">#endif</span> <a name="l00779"></a>00779 <span class="preprocessor"></span>}; <a name="l00780"></a>00780 <a name="l00784"></a>00784 <span class="keyword">template</span> <<span class="keyword">class</span> ListType> <a name="l00785"></a><a class="code" href="classpolybori_1_1sizes__less.html">00785</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1sizes__less.html" title="A functional for size comparisons.">sizes_less</a>: <a name="l00786"></a>00786 <span class="keyword">public</span> std::binary_function<const ListType&, const ListType&, bool> { <a name="l00787"></a>00787 <a name="l00788"></a>00788 <span class="keyword">public</span>: <a name="l00789"></a><a class="code" href="classpolybori_1_1sizes__less.html#1d652e9af535117e121c0f383866beaa">00789</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1sizes__less.html#1d652e9af535117e121c0f383866beaa">operator()</a>(<span class="keyword">const</span> ListType& lhs, <span class="keyword">const</span> ListType& rhs)<span class="keyword"> const </span>{ <a name="l00790"></a>00790 <span class="keywordflow">return</span> (lhs.size() < rhs.size()); <a name="l00791"></a>00791 } <a name="l00792"></a>00792 }; <a name="l00793"></a>00793 <a name="l00797"></a>00797 <span class="keyword">template</span> <<span class="keyword">class</span> BiIterator> <a name="l00798"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html">00798</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html">reversed_iteration_adaptor</a> { <a name="l00799"></a>00799 <span class="keyword">public</span>: <a name="l00800"></a>00800 <a name="l00802"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#70c3cf65d461d4c6988df22dcfc6c481">00802</a> <span class="keyword">typedef</span> BiIterator iterator; <a name="l00803"></a>00803 <a name="l00805"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#0e5f19311cb4acc37268952c4ae901b6">00805</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html">reversed_iteration_adaptor<iterator></a> <span class="keyword">self</span>; <a name="l00807"></a>00807 <a name="l00808"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#87f9cf5bdc284f5218f2a30342a725f8">00808</a> <span class="keyword">typedef</span> std::bidirectional_iterator_tag iterator_category; <a name="l00809"></a>00809 <span class="keyword">typedef</span> <span class="keyword">typename</span> std::iterator_traits<iterator>::difference_type <a name="l00810"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#bb6766a30ece7288e10797a7141dc1a7">00810</a> difference_type; <a name="l00811"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#46b643bb0a532e51c8818ba188a139ed">00811</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> std::iterator_traits<iterator>::pointer pointer; <a name="l00812"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#0012fe99a2a27f0043a6bbb4bce5f050">00812</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> std::iterator_traits<iterator>::reference reference; <a name="l00813"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#499fd05039202c8dc18ed2a8660fd736">00813</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> std::iterator_traits<iterator>::value_type value_type; <a name="l00815"></a>00815 <a name="l00817"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#c33565b52e81592271846401c367d7b6">00817</a> <a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html">reversed_iteration_adaptor</a>(<span class="keyword">const</span> iterator& iter): <a name="l00818"></a>00818 m_iter(iter) {} <a name="l00819"></a>00819 <a name="l00821"></a>00821 <a name="l00822"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#8a522cb9fb26e36bd7a6c7e23b0a6e91">00822</a> reference <a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#8a522cb9fb26e36bd7a6c7e23b0a6e91" title="Dereferecing operation.">operator*</a>()<span class="keyword"> const </span>{ <a name="l00823"></a>00823 <span class="keywordflow">return</span> *m_iter; <a name="l00824"></a>00824 } <a name="l00825"></a>00825 <a name="l00827"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#8b9f0b069b167a32173809d6c420573c">00827</a> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#8b9f0b069b167a32173809d6c420573c" title="Prefix increment operator.">operator++</a>() { <a name="l00828"></a>00828 --m_iter; <a name="l00829"></a>00829 <span class="keywordflow">return</span> *<span class="keyword">this</span>; <a name="l00830"></a>00830 } <a name="l00831"></a>00831 <a name="l00833"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#731a62ddb61aee99d60cb3837c588c96">00833</a> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#731a62ddb61aee99d60cb3837c588c96" title="Prefix decrement operator.">operator--</a>() { <a name="l00834"></a>00834 ++m_iter; <a name="l00835"></a>00835 <span class="keywordflow">return</span> *<span class="keyword">this</span>; <a name="l00836"></a>00836 } <a name="l00837"></a>00837 <a name="l00838"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#d2301d5bb7953e7048d70cd660ebc9d7">00838</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#d2301d5bb7953e7048d70cd660ebc9d7">operator==</a>(<span class="keyword">const</span> <span class="keyword">self</span>& rhs)<span class="keyword"> const </span>{ <a name="l00839"></a>00839 <span class="keywordflow">return</span> m_iter == rhs.m_iter; <a name="l00840"></a>00840 } <a name="l00841"></a>00841 <a name="l00842"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#0b4631704961ced2f11859a5ff31d5f0">00842</a> <span class="keywordtype">bool</span> <a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#0b4631704961ced2f11859a5ff31d5f0">operator!=</a>(<span class="keyword">const</span> <span class="keyword">self</span>& rhs)<span class="keyword"> const </span>{ <a name="l00843"></a>00843 <span class="keywordflow">return</span> m_iter != rhs.m_iter; <a name="l00844"></a>00844 } <a name="l00845"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#786d0378dda9e32f3c63b84f6492cec0">00845</a> iterator <span class="keyword">get</span>() <span class="keyword">const</span> { <a name="l00846"></a>00846 <span class="keywordflow">return</span> m_iter; <a name="l00847"></a>00847 } <a name="l00848"></a>00848 <a name="l00849"></a>00849 <span class="keyword">protected</span>: <a name="l00850"></a><a class="code" href="classpolybori_1_1reversed__iteration__adaptor.html#0884c124299f8078a44fbd2f12b2e169">00850</a> iterator m_iter; <a name="l00851"></a>00851 }; <a name="l00852"></a>00852 <a name="l00853"></a>00853 <a name="l00854"></a>00854 <span class="keyword">template</span> <<span class="keyword">class</span> DDType> <a name="l00855"></a><a class="code" href="classpolybori_1_1navigates.html">00855</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1navigates.html">navigates</a>: <a name="l00856"></a>00856 <span class="keyword">public</span> std::unary_function<DDType, typename DDType::navigator> { <a name="l00857"></a>00857 <span class="keyword">public</span>: <a name="l00859"></a><a class="code" href="classpolybori_1_1navigates.html#46dab2221665b4ece8aacf87ff84f6f8">00859</a> <span class="keyword">typedef</span> DDType dd_type; <a name="l00860"></a>00860 <a name="l00862"></a><a class="code" href="classpolybori_1_1navigates.html#65937a3e1c7ecca7a6a9eb3ff9e3ebdb">00862</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> DDType::navigator navigator; <a name="l00863"></a>00863 <a name="l00865"></a><a class="code" href="classpolybori_1_1navigates.html#22473ef5a33ee8734eba632756c99f15">00865</a> <span class="keyword">typedef</span> std::unary_function<dd_type, navigator> base; <a name="l00866"></a>00866 <a name="l00868"></a><a class="code" href="classpolybori_1_1navigates.html#e8cec4493a5627447c1d837962a8a520">00868</a> <span class="keyword">typename</span> base::result_type <a class="code" href="classpolybori_1_1navigates.html#e8cec4493a5627447c1d837962a8a520" title="The actual operation.">operator()</a>(<span class="keyword">const</span> dd_type& rhs)<span class="keyword"> const</span>{ <a name="l00869"></a>00869 <span class="keywordflow">return</span> rhs.navigation(); <a name="l00870"></a>00870 } <a name="l00871"></a>00871 <a name="l00872"></a>00872 }; <a name="l00873"></a>00873 <a name="l00874"></a>00874 <a name="l00875"></a>00875 <span class="keyword">template</span> <<span class="keyword">class</span> ValueType> <a name="l00876"></a><a class="code" href="classpolybori_1_1default__value.html">00876</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1default__value.html">default_value</a> { <a name="l00877"></a>00877 <span class="keyword">public</span>: <a name="l00878"></a><a class="code" href="classpolybori_1_1default__value.html#374004d58d0deeaa81ac0dc62aac0c28">00878</a> <span class="keyword">typedef</span> ValueType value_type; <a name="l00879"></a>00879 <a name="l00880"></a><a class="code" href="classpolybori_1_1default__value.html#e13969e8c074aedd02a1e882d4cea8ce">00880</a> value_type <a class="code" href="classpolybori_1_1default__value.html#e13969e8c074aedd02a1e882d4cea8ce">operator()</a>(...)<span class="keyword"> const</span>{ <a name="l00881"></a>00881 <span class="keywordflow">return</span> value_type(); <a name="l00882"></a>00882 } <a name="l00883"></a>00883 <a name="l00884"></a>00884 }; <a name="l00885"></a>00885 <a name="l00886"></a>00886 <span class="keyword">template</span> <<span class="keyword">template</span><<span class="keyword">class</span>> <span class="keyword">class </span>BindType, <span class="keyword">class </span>BinaryFunction, <a name="l00887"></a>00887 <span class="keyword">class </span>ValueType, <span class="keyword">class </span>ConstantOp> <a name="l00888"></a><a class="code" href="classpolybori_1_1constant__binder__base.html">00888</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1constant__binder__base.html">constant_binder_base</a> : <a name="l00889"></a>00889 <span class="keyword">public</span> BindType<BinaryFunction>{ <a name="l00890"></a>00890 <span class="keyword">public</span>: <a name="l00891"></a><a class="code" href="classpolybori_1_1constant__binder__base.html#0491c79bd9afffd92f11cfcd34a4b421">00891</a> <span class="keyword">typedef</span> BinaryFunction bin_op; <a name="l00892"></a><a class="code" href="classpolybori_1_1constant__binder__base.html#e05d06cfeb6bedb7298454042ca0f17e">00892</a> <span class="keyword">typedef</span> ConstantOp const_type; <a name="l00893"></a><a class="code" href="classpolybori_1_1constant__binder__base.html#d7e97ee471512b1a8aa9e0e235e6107e">00893</a> <span class="keyword">typedef</span> BindType<bin_op> base; <a name="l00894"></a>00894 <a name="l00895"></a><a class="code" href="classpolybori_1_1constant__binder__base.html#2ad85e640b83b39fa057490e64b86304">00895</a> <span class="keyword">typedef</span> ValueType value_type; <a name="l00896"></a>00896 <a name="l00897"></a><a class="code" href="classpolybori_1_1constant__binder__base.html#bfa67bddef21d50dd3cba185142ff936">00897</a> <a class="code" href="classpolybori_1_1constant__binder__base.html#bfa67bddef21d50dd3cba185142ff936">constant_binder_base</a>(<span class="keyword">const</span> bin_op& op = bin_op()): base(op, const_type()()) {} <a name="l00898"></a>00898 }; <a name="l00899"></a>00899 <a name="l00900"></a>00900 <span class="keyword">template</span> <<span class="keyword">class</span> BinaryFunction, <span class="keyword">class</span> ConstantOp> <a name="l00901"></a><a class="code" href="classpolybori_1_1constant__binder2nd.html">00901</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1constant__binder2nd.html">constant_binder2nd</a> : <a name="l00902"></a>00902 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1constant__binder__base.html">constant_binder_base</a><std::binder2nd, BinaryFunction, <a name="l00903"></a>00903 typename BinaryFunction::second_argument_type, <a name="l00904"></a>00904 ConstantOp> { <a name="l00905"></a>00905 }; <a name="l00906"></a>00906 <a name="l00907"></a>00907 <a name="l00908"></a>00908 <span class="keyword">template</span> <<span class="keyword">class</span> BinaryFunction, <span class="keyword">class</span> ConstantOp> <a name="l00909"></a><a class="code" href="classpolybori_1_1constant__binder1st.html">00909</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1constant__binder1st.html">constant_binder1st</a> : <a name="l00910"></a>00910 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1constant__binder__base.html">constant_binder_base</a><std::binder1st, BinaryFunction, <a name="l00911"></a>00911 typename BinaryFunction::first_argument_type, <a name="l00912"></a>00912 ConstantOp> { <a name="l00913"></a>00913 }; <a name="l00914"></a>00914 <a name="l00915"></a>00915 <span class="keyword">template</span> <<span class="keyword">template</span><<span class="keyword">class</span>> <span class="keyword">class </span>BindType, <a name="l00916"></a>00916 <span class="keyword">class </span>BinaryFunction, <span class="keyword">class </span>ValueType> <a name="l00917"></a><a class="code" href="classpolybori_1_1default__binder__base.html">00917</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1default__binder__base.html">default_binder_base</a> : <a name="l00918"></a>00918 <span class="keyword">public</span> BindType<BinaryFunction>{ <a name="l00919"></a>00919 <span class="keyword">public</span>: <a name="l00920"></a><a class="code" href="classpolybori_1_1default__binder__base.html#063a996e83111704bf9735e06d0b8b47">00920</a> <span class="keyword">typedef</span> BinaryFunction bin_op; <a name="l00921"></a><a class="code" href="classpolybori_1_1default__binder__base.html#6cb5c0ea5022cccf73ef58fc6b2c8cad">00921</a> <span class="keyword">typedef</span> BindType<bin_op> base; <a name="l00922"></a>00922 <a name="l00923"></a><a class="code" href="classpolybori_1_1default__binder__base.html#4e4f6024c468c2a2172868a48a7aed0d">00923</a> <span class="keyword">typedef</span> ValueType value_type; <a name="l00924"></a>00924 <a name="l00925"></a><a class="code" href="classpolybori_1_1default__binder__base.html#ab96b06d8d23a29d3416ba98806ccb1b">00925</a> <a class="code" href="classpolybori_1_1default__binder__base.html#ab96b06d8d23a29d3416ba98806ccb1b">default_binder_base</a>(<span class="keyword">const</span> value_type& val): base(bin_op(), val) {} <a name="l00926"></a>00926 }; <a name="l00927"></a>00927 <a name="l00928"></a>00928 <span class="keyword">template</span> <<span class="keyword">class</span> BinaryFunction> <a name="l00929"></a><a class="code" href="classpolybori_1_1default__binder2nd.html">00929</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1default__binder2nd.html">default_binder2nd</a> : <a name="l00930"></a>00930 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1default__binder__base.html">default_binder_base</a><std::binder2nd, BinaryFunction, <a name="l00931"></a>00931 typename BinaryFunction::second_argument_type> { <a name="l00932"></a>00932 <span class="keyword">public</span>: <a name="l00933"></a>00933 <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1default__binder__base.html">default_binder_base</a><std::binder2nd, BinaryFunction, <a name="l00934"></a>00934 <span class="keyword">typename</span> BinaryFunction::second_argument_type> <a name="l00935"></a><a class="code" href="classpolybori_1_1default__binder2nd.html#13a3bc97250e42bb18d010011a1b654b">00935</a> <a class="code" href="classpolybori_1_1default__binder__base.html">base</a>; <a name="l00936"></a>00936 <a name="l00937"></a><a class="code" href="classpolybori_1_1default__binder2nd.html#2cb00129140e64a65e5ede8c89c66f3a">00937</a> <a class="code" href="classpolybori_1_1default__binder2nd.html#2cb00129140e64a65e5ede8c89c66f3a">default_binder2nd</a>(<span class="keyword">const</span> <span class="keyword">typename</span> base::value_type& val): <a class="code" href="classpolybori_1_1default__binder__base.html">base</a>(val) {} <a name="l00938"></a>00938 }; <a name="l00939"></a>00939 <a name="l00940"></a>00940 <a name="l00941"></a>00941 <span class="keyword">template</span> <<span class="keyword">class</span> BinaryFunction> <a name="l00942"></a><a class="code" href="classpolybori_1_1default__binder1st.html">00942</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1default__binder1st.html">default_binder1st</a> : <a name="l00943"></a>00943 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1default__binder__base.html">default_binder_base</a><std::binder1st, BinaryFunction, <a name="l00944"></a>00944 typename BinaryFunction::first_argument_type> { <a name="l00945"></a>00945 }; <a name="l00946"></a>00946 <a name="l00947"></a>00947 <span class="comment">// /** @class property_owner</span> <a name="l00948"></a>00948 <span class="comment">// * @brief defines generic base for properties</span> <a name="l00949"></a>00949 <span class="comment">// **/</span> <a name="l00950"></a>00950 <span class="comment">// template <class ValidityTag></span> <a name="l00951"></a>00951 <span class="comment">// class property_owner {</span> <a name="l00952"></a>00952 <span class="comment">// public:</span> <a name="l00953"></a>00953 <a name="l00954"></a>00954 <span class="comment">// /// Set marker for validity</span> <a name="l00955"></a>00955 <span class="comment">// typedef typename </span> <a name="l00956"></a>00956 <span class="comment">// on_same_type<ValidityTag, valid_tag, valid_tag, invalid_tag>::type property;</span> <a name="l00957"></a>00957 <a name="l00958"></a>00958 <span class="comment">// /// Generate Boolean member function</span> <a name="l00959"></a>00959 <span class="comment">// is_same_type<property, valid_tag> hasProperty;</span> <a name="l00960"></a>00960 <span class="comment">// };</span> <a name="l00961"></a>00961 <a name="l00965"></a>00965 <span class="keyword">template</span> <<span class="keyword">class </span>ManagerType, <a name="l00966"></a>00966 <span class="keyword">class </span>IdxType = <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">ManagerType::idx_type</a>, <a name="l00967"></a>00967 <span class="keyword">class </span>VarNameType = <span class="keyword">typename</span> ManagerType::const_varname_reference> <a name="l00968"></a><a class="code" href="classpolybori_1_1variable__name.html">00968</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1variable__name.html" title="Defines generic access to variable names.">variable_name</a> { <a name="l00969"></a>00969 <span class="keyword">public</span>: <a name="l00970"></a><a class="code" href="classpolybori_1_1variable__name.html#9532f39c33f144d256d5d29c35bf3a1f">00970</a> <span class="keyword">typedef</span> ManagerType manager_type; <a name="l00971"></a><a class="code" href="classpolybori_1_1variable__name.html#56240c5afac930cb4e1648a4a4def1e6">00971</a> <span class="keyword">typedef</span> IdxType <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>; <a name="l00972"></a><a class="code" href="classpolybori_1_1variable__name.html#366570589b73c48abefa50efd631b53b">00972</a> <span class="keyword">typedef</span> VarNameType varname_type; <a name="l00973"></a>00973 <a name="l00975"></a><a class="code" href="classpolybori_1_1variable__name.html#fe30b4f9a702fba17ab7c2eca004c666">00975</a> <a class="code" href="classpolybori_1_1variable__name.html#fe30b4f9a702fba17ab7c2eca004c666" title="Constructor.">variable_name</a>(<span class="keyword">const</span> manager_type& mgr): m_mgr(mgr) {} <a name="l00976"></a>00976 <a name="l00978"></a><a class="code" href="classpolybori_1_1variable__name.html#f0f5a0ffb9ac3e6a45145c772b423cac">00978</a> varname_type <a class="code" href="classpolybori_1_1variable__name.html#f0f5a0ffb9ac3e6a45145c772b423cac" title="Funtional operator.">operator()</a>(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a> idx)<span class="keyword"> const</span>{ <a name="l00979"></a>00979 <span class="keywordflow">return</span> m_mgr.getName(idx); <a name="l00980"></a>00980 } <a name="l00981"></a>00981 <a name="l00982"></a>00982 <span class="keyword">protected</span>: <a name="l00984"></a><a class="code" href="classpolybori_1_1variable__name.html#9f44810bb3e90104746d4f154418e777">00984</a> <span class="keyword">const</span> manager_type& m_mgr; <a name="l00985"></a>00985 }; <a name="l00986"></a>00986 <a name="l00987"></a>00987 <span class="keyword">template</span> <<span class="keyword">class</span> MapType, <span class="keyword">class</span> VariableType, <span class="keyword">class</span> TermType, <span class="keyword">class</span> NodeType> <a name="l00988"></a><a class="code" href="classpolybori_1_1mapped__new__node.html">00988</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1mapped__new__node.html">mapped_new_node</a> { <a name="l00989"></a>00989 <span class="keyword">public</span>: <a name="l00990"></a><a class="code" href="classpolybori_1_1mapped__new__node.html#ec5cf50cb0a775719a7a3f9966d41e50">00990</a> <span class="keyword">typedef</span> MapType map_type; <a name="l00991"></a><a class="code" href="classpolybori_1_1mapped__new__node.html#907a15ec26dc834492e6b86d2c2431c9">00991</a> <span class="keyword">typedef</span> NodeType node_type; <a name="l00992"></a>00992 <a name="l00993"></a><a class="code" href="classpolybori_1_1mapped__new__node.html#3c20bb76c839f92fe5a49ca90b6e57e8">00993</a> <span class="keyword">typedef</span> <span class="keyword">typename</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">node_type::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>; <a name="l00994"></a>00994 <a name="l00995"></a><a class="code" href="classpolybori_1_1mapped__new__node.html#a512cdbfe0f5892fb58b576fee794650">00995</a> <a class="code" href="classpolybori_1_1mapped__new__node.html#a512cdbfe0f5892fb58b576fee794650">mapped_new_node</a>(<span class="keyword">const</span> map_type& the_map): m_map(the_map) {} <a name="l00996"></a>00996 <a name="l00997"></a><a class="code" href="classpolybori_1_1mapped__new__node.html#f89e3cdaafb8e290356643c7ba0954fb">00997</a> NodeType operator()(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a> idx, <a name="l00998"></a>00998 <span class="keyword">const</span> node_type& first, <span class="keyword">const</span> node_type& second)<span class="keyword"> const</span>{ <a name="l00999"></a>00999 <span class="keywordflow">return</span> ((TermType)VariableType(m_map[idx]))*first + second; <a name="l01000"></a>01000 } <a name="l01001"></a>01001 <a name="l01002"></a>01002 <a name="l01003"></a>01003 <a name="l01004"></a>01004 <span class="keyword">private</span>: <a name="l01005"></a>01005 <span class="keyword">const</span> map_type& m_map; <a name="l01006"></a>01006 }; <a name="l01007"></a>01007 <a name="l01008"></a>01008 <a name="l01013"></a>01013 <span class="keyword">template</span> <<span class="keyword">class</span> NewType> <a name="l01014"></a>01014 <span class="keyword">struct </span>pbori_base; <a name="l01015"></a>01015 <a name="l01016"></a>01016 <a name="l01017"></a>01017 <a name="l01018"></a>01018 <span class="keyword">template</span> <<span class="keyword">class</span> DDType> <a name="l01019"></a><a class="code" href="classpolybori_1_1get__node.html">01019</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1get__node.html">get_node</a> { <a name="l01020"></a>01020 <a name="l01021"></a>01021 <span class="keyword">public</span>: <a name="l01022"></a><a class="code" href="classpolybori_1_1get__node.html#aec7907d520062d5e9300048f739efc1">01022</a> <span class="keyword">typename</span> DDType::node_type <a class="code" href="classpolybori_1_1get__node.html#aec7907d520062d5e9300048f739efc1">operator()</a>(<span class="keyword">const</span> DDType& rhs)<span class="keyword"> const </span>{ <a name="l01023"></a>01023 <span class="keywordflow">return</span> rhs.getNode(); <a name="l01024"></a>01024 } <a name="l01025"></a>01025 }; <a name="l01026"></a>01026 <a name="l01027"></a>01027 <span class="keyword">template</span><<span class="keywordtype">unsigned</span> ErrorNumber = CUDD_INTERNAL_ERROR> <a name="l01028"></a><a class="code" href="structpolybori_1_1handle__error.html">01028</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1handle__error.html">handle_error</a> { <a name="l01029"></a><a class="code" href="structpolybori_1_1handle__error.html#6b220184eac52176b098354cd3ff75bf">01029</a> <span class="keyword">typedef</span> mgrcore_traits<Cudd>::errorfunc_type errorfunc_type; <a name="l01030"></a>01030 <a name="l01031"></a><a class="code" href="structpolybori_1_1handle__error.html#9ad69a54a846da39b8bd4bb7f29981fe">01031</a> <a class="code" href="structpolybori_1_1handle__error.html#9ad69a54a846da39b8bd4bb7f29981fe">handle_error</a>(errorfunc_type errfunc): m_errfunc(errfunc) {} <a name="l01032"></a>01032 <a name="l01033"></a><a class="code" href="structpolybori_1_1handle__error.html#54702ad816e5337aeff36fe8952a3b93">01033</a> <span class="keywordtype">bool</span> <a class="code" href="structpolybori_1_1handle__error.html#54702ad816e5337aeff36fe8952a3b93">found</a>(<span class="keywordtype">unsigned</span> err)<span class="keyword"> const </span>{ <a name="l01034"></a>01034 <span class="keywordflow">if</span> <a class="code" href="pbori__defs_8h.html#2e5f5338d3e6181b9083eff7b9a3a50c">UNLIKELY</a>(err == ErrorNumber) { <a name="l01035"></a>01035 m_errfunc(<a class="code" href="structpolybori_1_1cudd__error__traits.html">cudd_error_traits<ErrorNumber></a>()()); <a name="l01036"></a>01036 <span class="keywordflow">return</span> <span class="keyword">true</span>; <a name="l01037"></a>01037 } <a name="l01038"></a>01038 <span class="keywordflow">return</span> <span class="keyword">false</span>; <a name="l01039"></a>01039 } <a name="l01040"></a>01040 <a name="l01041"></a><a class="code" href="structpolybori_1_1handle__error.html#8ff9001cf78c02a5997239a5920c4726">01041</a> <span class="keywordtype">void</span> <a class="code" href="structpolybori_1_1handle__error.html#8ff9001cf78c02a5997239a5920c4726">operator()</a>(<span class="keywordtype">unsigned</span> err)<span class="keyword"> const </span>{ <a name="l01042"></a>01042 <span class="keywordflow">if</span> <a class="code" href="pbori__defs_8h.html#2e5f5338d3e6181b9083eff7b9a3a50c">UNLIKELY</a>(err == ErrorNumber) <a name="l01043"></a>01043 m_errfunc(<a class="code" href="structpolybori_1_1cudd__error__traits.html">cudd_error_traits<ErrorNumber></a>()()); <a name="l01044"></a>01044 <span class="keywordflow">else</span> <a name="l01045"></a>01045 <span class="keyword">reinterpret_cast<</span><span class="keyword">const </span><a class="code" href="structpolybori_1_1handle__error.html">handle_error</a><ErrorNumber - 1<span class="keyword">></span>&>(*this)(err); <a name="l01046"></a>01046 } <a name="l01047"></a>01047 <a name="l01048"></a>01048 <span class="keyword">protected</span>: <a name="l01049"></a><a class="code" href="structpolybori_1_1handle__error.html#a2ec356da4fafbbb15caa59a1b828ab8">01049</a> <span class="keyword">const</span> errorfunc_type m_errfunc; <a name="l01050"></a>01050 }; <a name="l01051"></a>01051 <a name="l01052"></a>01052 <a name="l01053"></a>01053 <span class="keyword">template</span><> <a name="l01054"></a><a class="code" href="structpolybori_1_1handle__error_3_010_01_4.html">01054</a> <span class="keyword">struct </span><a class="code" href="structpolybori_1_1handle__error.html">handle_error</a><0> { <a name="l01055"></a><a class="code" href="structpolybori_1_1handle__error_3_010_01_4.html#f5f50f33828c5bff401e47b5c0e19472">01055</a> <span class="keyword">typedef</span> mgrcore_traits<Cudd>::errorfunc_type errorfunc_type; <a name="l01056"></a>01056 <a name="l01057"></a><a class="code" href="structpolybori_1_1handle__error_3_010_01_4.html#c99304745aa8ade23f474b3c049883ee">01057</a> <a class="code" href="structpolybori_1_1handle__error_3_010_01_4.html#c99304745aa8ade23f474b3c049883ee">handle_error</a>(errorfunc_type errfunc): m_errfunc(errfunc) {} <a name="l01058"></a>01058 <a name="l01059"></a><a class="code" href="structpolybori_1_1handle__error_3_010_01_4.html#6a51ee302f8799bb3c459c47b414dcc1">01059</a> <span class="keywordtype">void</span> <a class="code" href="structpolybori_1_1handle__error_3_010_01_4.html#6a51ee302f8799bb3c459c47b414dcc1">operator()</a>(<span class="keywordtype">unsigned</span> err)<span class="keyword"> const </span>{ <a name="l01060"></a>01060 <span class="keywordflow">if</span> <a class="code" href="pbori__defs_8h.html#1c5951c9a391674be15ca2883c98c7e1" title="For optimizing if-branches.">LIKELY</a>(err == 0) <a name="l01061"></a>01061 m_errfunc(<a class="code" href="structpolybori_1_1cudd__error__traits.html">cudd_error_traits<0></a>()()); <a name="l01062"></a>01062 } <a name="l01063"></a>01063 <span class="keyword">protected</span>: <a name="l01064"></a><a class="code" href="structpolybori_1_1handle__error_3_010_01_4.html#068bad6e42d371cdb5726d1e14dc40db">01064</a> errorfunc_type m_errfunc; <a name="l01065"></a>01065 }; <a name="l01066"></a>01066 <a name="l01067"></a>01067 <a name="l01068"></a>01068 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&#39;s namespace.">END_NAMESPACE_PBORI</a> <a name="l01069"></a>01069 <a name="l01070"></a>01070 <span class="preprocessor">#endif</span> </pre></div></div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:59 2009 for PolyBoRi by <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>