<!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: BooleExponent.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>BooleExponent.h</h1><a href="BooleExponent_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="l00070"></a>00070 <span class="comment"></span><span class="comment">//*****************************************************************************</span>
<a name="l00071"></a>00071
<a name="l00072"></a>00072 <span class="preprocessor">#ifndef BooleExponent_h_</span>
<a name="l00073"></a>00073 <span class="preprocessor"></span><span class="preprocessor">#define BooleExponent_h_</span>
<a name="l00074"></a>00074 <span class="preprocessor"></span>
<a name="l00075"></a>00075 <span class="comment">// include basic definitions</span>
<a name="l00076"></a>00076 <span class="preprocessor">#include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span>
<a name="l00077"></a>00077
<a name="l00078"></a>00078 <span class="comment">// get definition of BoolePolynomial, BooleMonomial, and BooleVariable</span>
<a name="l00079"></a>00079 <span class="preprocessor">#include "<a class="code" href="BooleMonomial_8h.html">BooleMonomial.h</a>"</span>
<a name="l00080"></a>00080 <span class="preprocessor">#include "<a class="code" href="BooleVariable_8h.html">BooleVariable.h</a>"</span>
<a name="l00081"></a>00081
<a name="l00082"></a>00082 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00083"></a>00083
<a name="l00089"></a><a class="code" href="classpolybori_1_1BooleExponent.html">00089</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a> {
<a name="l00090"></a>00090
<a name="l00091"></a>00091 <span class="keyword">public</span>:
<a name="l00092"></a>00092
<a name="l00093"></a>00093 <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00094"></a>00094 <span class="comment">// types definitions</span>
<a name="l00095"></a>00095 <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00096"></a>00096
<a name="l00098"></a>00098
<a name="l00099"></a><a class="code" href="classpolybori_1_1BooleExponent.html#38c789b304353df30f35c09224f10c95">00099</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1CDDInterface.html">CTypes::dd_type</a> <a class="code" href="classpolybori_1_1CDDInterface.html">dd_type</a>;
<a name="l00100"></a><a class="code" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">00100</a> <span class="keyword">typedef</span> CTypes::size_type size_type;
<a name="l00101"></a><a class="code" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">00101</a> <span class="keyword">typedef</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">CTypes::idx_type</a> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>;
<a name="l00102"></a><a class="code" href="classpolybori_1_1BooleExponent.html#9fb6155545ad3606f85b37107fdbb4d4">00102</a> <span class="keyword">typedef</span> CTypes::hash_type hash_type;
<a name="l00103"></a><a class="code" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">00103</a> <span class="keyword">typedef</span> CTypes::bool_type bool_type;
<a name="l00104"></a><a class="code" href="classpolybori_1_1BooleExponent.html#06fb0e2c526fc83173fcf79696e8cea9">00104</a> <span class="keyword">typedef</span> CTypes::comp_type comp_type;
<a name="l00105"></a><a class="code" href="classpolybori_1_1BooleExponent.html#cabe86a384337834cbf99e2f9c7db929">00105</a> <span class="keyword">typedef</span> CTypes::integer_type integer_type;
<a name="l00106"></a><a class="code" href="classpolybori_1_1BooleExponent.html#79a09a65c45f5766d37cad3e9b7e6a52">00106</a> <span class="keyword">typedef</span> CTypes::ostream_type ostream_type;
<a name="l00108"></a>00108
<a name="l00110"></a><a class="code" href="classpolybori_1_1BooleExponent.html#cdc02f41b2605cdfee2cc960d5ea8881">00110</a> <span class="keyword">typedef</span> std::vector<idx_type> data_type;
<a name="l00111"></a>00111
<a name="l00113"></a><a class="code" href="classpolybori_1_1BooleExponent.html#d85334a6bb188242a0b3e43ffb337b3e">00113</a> <span class="keyword">typedef</span> data_type::value_type value_type;
<a name="l00114"></a>00114
<a name="l00116"></a>00116
<a name="l00117"></a><a class="code" href="classpolybori_1_1BooleExponent.html#8e1a9ebe358f1998e1f30b3b5034ba93">00117</a> <span class="keyword">typedef</span> data_type::iterator iterator;
<a name="l00118"></a><a class="code" href="classpolybori_1_1BooleExponent.html#d4682d504e3b661d193968a5a8cae720">00118</a> <span class="keyword">typedef</span> data_type::const_iterator const_iterator;
<a name="l00119"></a><a class="code" href="classpolybori_1_1BooleExponent.html#2a7fb6fff5739f987e1bcc0838d03845">00119</a> <span class="keyword">typedef</span> data_type::reverse_iterator reverse_iterator;
<a name="l00120"></a><a class="code" href="classpolybori_1_1BooleExponent.html#9b9d9c8310f0e0c0a23478273f8ff6a7">00120</a> <span class="keyword">typedef</span> data_type::const_reverse_iterator const_reverse_iterator;
<a name="l00122"></a>00122
<a name="l00124"></a><a class="code" href="classpolybori_1_1BooleExponent.html#c395b856412ffeacf737ce567da595af">00124</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a> <span class="keyword">self</span>;
<a name="l00125"></a>00125
<a name="l00127"></a><a class="code" href="classpolybori_1_1BooleExponent.html#6a76734f20d433549d2dd3907f62357d">00127</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BoolePolynomial.html" title="This class wraps the underlying decicion diagram type and defines the necessary operations...">BoolePolynomial</a> <a class="code" href="classpolybori_1_1BoolePolynomial.html" title="This class wraps the underlying decicion diagram type and defines the necessary operations...">poly_type</a>;
<a name="l00128"></a>00128
<a name="l00130"></a><a class="code" href="classpolybori_1_1BooleExponent.html#1f24d2f9a286606c3869699190049a20">00130</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BooleVariable.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">BooleVariable</a> <a class="code" href="classpolybori_1_1BooleVariable.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">var_type</a>;
<a name="l00131"></a>00131
<a name="l00133"></a><a class="code" href="classpolybori_1_1BooleExponent.html#d450a2400a5b520f85aea8cc00e4937f">00133</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">BooleMonomial</a> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">monom_type</a>;
<a name="l00134"></a>00134
<a name="l00136"></a><a class="code" href="classpolybori_1_1BooleExponent.html#ed383f87c3357e10ca33f1da70f53b7a">00136</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1BooleSet.html">BooleSet</a> <a class="code" href="classpolybori_1_1BooleSet.html">set_type</a>;
<a name="l00137"></a>00137
<a name="l00139"></a><a class="code" href="classpolybori_1_1BooleExponent.html#d42a1e03d6e99b2348aa4e0b53c5e59f">00139</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1generate__index__map.html">generate_index_map<self>::type</a> idx_map_type;
<a name="l00140"></a>00140
<a name="l00142"></a><a class="code" href="classpolybori_1_1BooleExponent.html#674e30eb30337567b6425624650e6ef2">00142</a> <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1invalid__tag.html" title="This class shows, whether a property of an order is invalid.">invalid_tag</a> <a class="code" href="structpolybori_1_1invalid__tag.html" title="This class shows, whether a property of an order is invalid.">easy_equality_property</a>;
<a name="l00143"></a>00143
<a name="l00145"></a>00145 <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>();
<a name="l00146"></a>00146
<a name="l00148"></a>00148 <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>(<span class="keyword">const</span> <span class="keyword">self</span>&);
<a name="l00149"></a>00149
<a name="l00150"></a>00150 <span class="keyword">explicit</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>(<span class="keywordtype">bool</span>);
<a name="l00151"></a>00151
<a name="l00153"></a>00153 <span class="keyword">self</span>& <span class="keyword">get</span>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">monom_type</a>&);
<a name="l00154"></a>00154
<a name="l00155"></a>00155 <span class="comment">// /// Construct from Boolean constant</span>
<a name="l00156"></a>00156 <span class="comment">// BooleExponent(bool_type);</span>
<a name="l00157"></a>00157
<a name="l00159"></a>00159 ~<a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>();
<a name="l00160"></a>00160
<a name="l00162"></a><a class="code" href="classpolybori_1_1BooleExponent.html#fcf246495318485a015ac3dfde44bf55">00162</a> const_iterator <a class="code" href="classpolybori_1_1BooleExponent.html#fcf246495318485a015ac3dfde44bf55" title="Start iteration over indices (constant access).">begin</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_data.begin(); }
<a name="l00163"></a>00163
<a name="l00165"></a><a class="code" href="classpolybori_1_1BooleExponent.html#2dab221a442b500b516716723d15d793">00165</a> const_iterator <a class="code" href="classpolybori_1_1BooleExponent.html#2dab221a442b500b516716723d15d793" title="Finish iteration over indices (constant access).">end</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_data.end(); }
<a name="l00166"></a>00166
<a name="l00168"></a><a class="code" href="classpolybori_1_1BooleExponent.html#878a418d68318cceaa677a45a01eda17">00168</a> const_reverse_iterator <a class="code" href="classpolybori_1_1BooleExponent.html#878a418d68318cceaa677a45a01eda17" title="Start reverse iteration over indices (constant access).">rbegin</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_data.rbegin(); }
<a name="l00169"></a>00169
<a name="l00171"></a><a class="code" href="classpolybori_1_1BooleExponent.html#5e918fd0dcbf2a2d41734b5df076c9f8">00171</a> const_reverse_iterator <a class="code" href="classpolybori_1_1BooleExponent.html#5e918fd0dcbf2a2d41734b5df076c9f8" title="Finish reverse iteration over indices (constant access).">rend</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_data.rend(); }
<a name="l00172"></a>00172
<a name="l00174"></a><a class="code" href="classpolybori_1_1BooleExponent.html#069fe92b4f7b7d67332eaf6592444ad3">00174</a> size_type <a class="code" href="classpolybori_1_1BooleExponent.html#069fe92b4f7b7d67332eaf6592444ad3" title="Degree of the corresponding monomial.">size</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_data.size(); }
<a name="l00175"></a>00175
<a name="l00177"></a><a class="code" href="classpolybori_1_1BooleExponent.html#3544d6cfa9b76c881d900e82c8ed6860">00177</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1BooleExponent.html#3544d6cfa9b76c881d900e82c8ed6860" title="Prepare memory for exponents.">reserve</a>(size_type nsize) { m_data.reserve(nsize); }
<a name="l00178"></a>00178
<a name="l00180"></a><a class="code" href="classpolybori_1_1BooleExponent.html#cf381de5568291c45003b2d4e7ce4e13">00180</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1BooleExponent.html#cf381de5568291c45003b2d4e7ce4e13" title="Drop compoents from the nsize-th element on.">resize</a>(size_type nsize) { m_data.resize(nsize); }
<a name="l00181"></a>00181
<a name="l00183"></a><a class="code" href="classpolybori_1_1BooleExponent.html#f6ee6ddb617ff78dbd7c1d7910b052b9">00183</a> size_type <a class="code" href="classpolybori_1_1BooleExponent.html#f6ee6ddb617ff78dbd7c1d7910b052b9" title="Degree of the corresponding monomial.">deg</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> size(); }
<a name="l00184"></a>00184
<a name="l00186"></a>00186 set_type divisors() <span class="keyword">const</span>;
<a name="l00187"></a>00187
<a name="l00189"></a>00189 set_type multiples(<span class="keyword">const</span> <span class="keyword">self</span>&) <span class="keyword">const</span>;
<a name="l00190"></a>00190
<a name="l00192"></a><a class="code" href="classpolybori_1_1BooleExponent.html#aefd3a2fe035dfde421dcc091c5d50ca">00192</a> hash_type <a class="code" href="classpolybori_1_1BooleExponent.html#aefd3a2fe035dfde421dcc091c5d50ca" title="Hash value for the exponent.">stableHash</a>()<span class="keyword"> const </span>{
<a name="l00193"></a>00193 <span class="keywordflow">return</span> <a class="code" href="namespacepolybori.html#82ce990162a7e8ba2293b2dd6a353200">stable_term_hash</a>(begin(), end());
<a name="l00194"></a>00194 }
<a name="l00195"></a>00195
<a name="l00197"></a><a class="code" href="classpolybori_1_1BooleExponent.html#450bca8580dec5eb89bc54b6098939a5">00197</a> hash_type <a class="code" href="classpolybori_1_1BooleExponent.html#450bca8580dec5eb89bc54b6098939a5" title="For the exponent we only have one type of hashes.">hash</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> stableHash(); }
<a name="l00198"></a>00198
<a name="l00200"></a>00200 <span class="keyword">self</span>& <a class="code" href="classchangeAssign.html" title="Accessing .change(); variante using member templates.">changeAssign</a>(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>);
<a name="l00201"></a>00201
<a name="l00203"></a>00203 <span class="keyword">self</span> <a class="code" href="classchange.html" title="Accessing .change().">change</a>(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>) <span class="keyword">const</span>;
<a name="l00204"></a>00204
<a name="l00206"></a>00206 <span class="keyword">self</span>& <a class="code" href="classinsert.html" title="Accessing .insert().">insert</a>(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>);
<a name="l00207"></a>00207
<a name="l00209"></a>00209 <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1push__back.html" title="Accessing .push_back().">push_back</a>(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a> idx);
<a name="l00210"></a>00210
<a name="l00212"></a>00212 <span class="keyword">self</span>& <span class="keyword">remove</span>(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>);
<a name="l00213"></a>00213
<a name="l00215"></a>00215 <span class="keyword">self</span> insertConst(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>) <span class="keyword">const</span>;
<a name="l00216"></a>00216
<a name="l00218"></a>00218 <span class="keyword">self</span> removeConst(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>) <span class="keyword">const</span>;
<a name="l00219"></a>00219
<a name="l00221"></a>00221 <span class="keyword">self</span> divide(<span class="keyword">const</span> <span class="keyword">self</span>&) <span class="keyword">const</span>;
<a name="l00222"></a><a class="code" href="classpolybori_1_1BooleExponent.html#3dd5c61dbf5581ebd355b0ea00389581">00222</a> <span class="keyword">self</span> <a class="code" href="classpolybori_1_1BooleExponent.html#3dd5c61dbf5581ebd355b0ea00389581">divide</a>(<span class="keyword">const</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>& rhs)<span class="keyword"> const </span>{
<a name="l00223"></a>00223 <span class="keywordflow">return</span> (reducibleBy(rhs)? removeConst(rhs) : <span class="keyword">self</span>() ); }
<a name="l00224"></a>00224
<a name="l00225"></a><a class="code" href="classpolybori_1_1BooleExponent.html#a3f50c3d132b6c2b0b49e18f7c0db10e">00225</a> <span class="keyword">self</span> <a class="code" href="classpolybori_1_1BooleExponent.html#a3f50c3d132b6c2b0b49e18f7c0db10e">divide</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleVariable.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">var_type</a>& rhs)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classpolybori_1_1BooleExponent.html#a3f50c3d132b6c2b0b49e18f7c0db10e">divide</a>(rhs.<a class="code" href="classpolybori_1_1BooleVariable.html#56ca92c1b7fd29f710326015590ea759" title="Get index of the variable.">index</a>()); }
<a name="l00226"></a>00226 <span class="keyword">self</span> divide(<span class="keyword">const</span> monom_type&) <span class="keyword">const</span>;
<a name="l00227"></a>00227
<a name="l00229"></a>00229 <span class="keyword">self</span> multiply(<span class="keyword">const</span> <span class="keyword">self</span>&) <span class="keyword">const</span>;
<a name="l00230"></a>00230
<a name="l00231"></a><a class="code" href="classpolybori_1_1BooleExponent.html#2579d62c75fde3766bb6ae2e369bdb97">00231</a> <span class="keyword">self</span> <a class="code" href="classpolybori_1_1BooleExponent.html#2579d62c75fde3766bb6ae2e369bdb97">multiply</a>(<span class="keyword">const</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>& rhs)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> insertConst(rhs); }
<a name="l00232"></a><a class="code" href="classpolybori_1_1BooleExponent.html#c04fcf7e91a759f95adde7c37476bc22">00232</a> <span class="keyword">self</span> <a class="code" href="classpolybori_1_1BooleExponent.html#c04fcf7e91a759f95adde7c37476bc22">multiply</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleVariable.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">var_type</a>& rhs)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classpolybori_1_1BooleExponent.html#c04fcf7e91a759f95adde7c37476bc22">multiply</a>(rhs.<a class="code" href="classpolybori_1_1BooleVariable.html#56ca92c1b7fd29f710326015590ea759" title="Get index of the variable.">index</a>()); }
<a name="l00233"></a>00233 <span class="keyword">self</span> multiply(<span class="keyword">const</span> monom_type&) <span class="keyword">const</span>;
<a name="l00234"></a>00234 <span class="keyword">self</span> multiplyFirst(<span class="keyword">const</span> set_type&) <span class="keyword">const</span>;
<a name="l00235"></a>00235
<a name="l00236"></a>00236
<a name="l00237"></a>00237 <span class="comment">// /// @name Arithmetical operations</span>
<a name="l00238"></a>00238 <span class="comment">// //@{</span>
<a name="l00239"></a>00239 <span class="comment">// self& operator*=(const self&);</span>
<a name="l00240"></a>00240 <span class="comment">// self& operator/=(const self&);</span>
<a name="l00241"></a>00241 <span class="comment">// self& operator*=(const var_type&);</span>
<a name="l00242"></a>00242 <span class="comment">// self& operator/=(const var_type&);</span>
<a name="l00243"></a>00243 <span class="comment">// //@}</span>
<a name="l00244"></a>00244
<a name="l00246"></a>00246
<a name="l00247"></a><a class="code" href="classpolybori_1_1BooleExponent.html#16204c245d25fae0cf157f395baca324">00247</a> bool_type <a class="code" href="classpolybori_1_1BooleExponent.html#16204c245d25fae0cf157f395baca324">operator==</a>(<span class="keyword">const</span> <span class="keyword">self</span>& rhs)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_data == rhs.m_data; }
<a name="l00248"></a><a class="code" href="classpolybori_1_1BooleExponent.html#dea101f3936995afdb05b4093e71ba47">00248</a> bool_type <a class="code" href="classpolybori_1_1BooleExponent.html#dea101f3936995afdb05b4093e71ba47">operator!=</a>(<span class="keyword">const</span> <span class="keyword">self</span>& rhs)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> m_data != rhs.m_data; }
<a name="l00250"></a>00250
<a name="l00252"></a><a class="code" href="classpolybori_1_1BooleExponent.html#bff12edc2803c3766de46ad07079576e">00252</a> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1BooleExponent.html#bff12edc2803c3766de46ad07079576e" title="Assignment operation.">operator=</a>(<span class="keyword">const</span> <span class="keyword">self</span>& rhs) { m_data = rhs.<a class="code" href="classpolybori_1_1BooleExponent.html#94f559af9a49e227bc7d703401da23a3" title="The actual exponent indices.">m_data</a>; <span class="keywordflow">return</span> *<span class="keyword">this</span>; }
<a name="l00253"></a><a class="code" href="classpolybori_1_1BooleExponent.html#ab1d3d585d4590842dec9d397061d32e">00253</a> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1BooleExponent.html#ab1d3d585d4590842dec9d397061d32e">operator=</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">monom_type</a>& rhs) {
<a name="l00254"></a>00254 m_data.<a class="code" href="classpolybori_1_1BooleExponent.html#cf381de5568291c45003b2d4e7ce4e13" title="Drop compoents from the nsize-th element on.">resize</a>(rhs.<a class="code" href="classpolybori_1_1BooleMonomial.html#f41263f68e4c4e25530132ee69cce943" title="Size of the exponents.">size</a>());
<a name="l00255"></a>00255 std::copy(rhs.<a class="code" href="classpolybori_1_1BooleMonomial.html#525ffe23d66ef5a8fcccb178f1226f12" title="Start iteration over indices.">begin</a>(), rhs.<a class="code" href="classpolybori_1_1BooleMonomial.html#144a9252492dcb1854154095e634eee5" title="Finish iteration over indices.">end</a>(), internalBegin());
<a name="l00256"></a>00256 <span class="keywordflow">return</span> *<span class="keyword">this</span>;
<a name="l00257"></a>00257 }
<a name="l00258"></a>00258
<a name="l00260"></a>00260 bool_type reducibleBy(<span class="keyword">const</span> <span class="keyword">self</span>& rhs) <span class="keyword">const</span>;
<a name="l00261"></a>00261 bool_type reducibleBy(<span class="keyword">const</span> monom_type& rhs) <span class="keyword">const</span>;
<a name="l00262"></a>00262 bool_type reducibleBy(<span class="keyword">const</span> <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>& rhs) <span class="keyword">const</span>;
<a name="l00263"></a><a class="code" href="classpolybori_1_1BooleExponent.html#383cb89f5c20c84b2f6bf6c50099165f">00263</a> bool_type <a class="code" href="classpolybori_1_1BooleExponent.html#383cb89f5c20c84b2f6bf6c50099165f">reducibleBy</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleVariable.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">var_type</a>& rhs)<span class="keyword"> const </span>{
<a name="l00264"></a>00264 <span class="keywordflow">return</span> reducibleBy(rhs.<a class="code" href="classpolybori_1_1BooleVariable.html#56ca92c1b7fd29f710326015590ea759" title="Get index of the variable.">index</a>()); }
<a name="l00265"></a>00265
<a name="l00266"></a>00266
<a name="l00267"></a>00267 <span class="comment">// /// Test for reducibility wrt. to a given variable</span>
<a name="l00268"></a>00268 <span class="comment">// bool_type reducibleBy(const var_type& rhs) const;</span>
<a name="l00269"></a>00269
<a name="l00271"></a>00271 comp_type compare(<span class="keyword">const</span> <span class="keyword">self</span>&) <span class="keyword">const</span>;
<a name="l00272"></a>00272
<a name="l00274"></a>00274 size_type LCMDeg(<span class="keyword">const</span> <span class="keyword">self</span>&) <span class="keyword">const</span>;
<a name="l00275"></a>00275
<a name="l00278"></a>00278
<a name="l00280"></a>00280 <span class="keyword">self</span> <a class="code" href="namespacepolybori.html#8bc2708dcbadf25d81b985f170d82a74" title="Compute the greatest common divisor of two monomials.">LCM</a>(<span class="keyword">const</span> <span class="keyword">self</span>&) <span class="keyword">const</span>;
<a name="l00281"></a>00281
<a name="l00283"></a>00283 <span class="comment">//self& GCDAssign(const self&);</span>
<a name="l00284"></a>00284
<a name="l00286"></a>00286 <span class="keyword">self</span> <a class="code" href="namespacepolybori.html#7e0a3e6b6683d0bcda5877b4df7160bd" title="Compute the greatest common divisor of two monomials.">GCD</a>(<span class="keyword">const</span> <span class="keyword">self</span>&) <span class="keyword">const</span>;
<a name="l00287"></a>00287
<a name="l00289"></a><a class="code" href="classpolybori_1_1BooleExponent.html#76cce5e87dc4cfde1ffba45fb5ab3f4e">00289</a> <span class="keyword">self</span>& <a class="code" href="classpolybori_1_1BooleExponent.html#76cce5e87dc4cfde1ffba45fb5ab3f4e" title="Removes the first index from exponent.">popFirst</a>() {
<a name="l00290"></a>00290 assert(!m_data.empty());
<a name="l00291"></a>00291 m_data.erase(m_data.begin());
<a name="l00292"></a>00292 <span class="keywordflow">return</span> *<span class="keyword">this</span>;
<a name="l00293"></a>00293 }
<a name="l00294"></a>00294
<a name="l00296"></a>00296 ostream_type& print(ostream_type&) <span class="keyword">const</span>;
<a name="l00297"></a>00297
<a name="l00298"></a>00298 <span class="keyword">protected</span>:
<a name="l00300"></a><a class="code" href="classpolybori_1_1BooleExponent.html#7a55238eea0eabd96217cb38e3c38e14">00300</a> iterator <a class="code" href="classpolybori_1_1BooleExponent.html#7a55238eea0eabd96217cb38e3c38e14" title="Start iteration over indices (constant access).">internalBegin</a>() { <span class="keywordflow">return</span> m_data.begin(); }
<a name="l00301"></a>00301
<a name="l00303"></a><a class="code" href="classpolybori_1_1BooleExponent.html#833c5d1a9be31c8bbac263d849afe9f8">00303</a> iterator <a class="code" href="classpolybori_1_1BooleExponent.html#833c5d1a9be31c8bbac263d849afe9f8" title="Finish iteration over indices (constant access).">internalEnd</a>() { <span class="keywordflow">return</span> m_data.end(); }
<a name="l00304"></a>00304
<a name="l00306"></a><a class="code" href="classpolybori_1_1BooleExponent.html#3b93dbc75f8efd4c27247253f954be16">00306</a> reverse_iterator <a class="code" href="classpolybori_1_1BooleExponent.html#3b93dbc75f8efd4c27247253f954be16" title="Start reverse iteration over indices (constant access).">rInternalBegin</a>() { <span class="keywordflow">return</span> m_data.rbegin(); }
<a name="l00307"></a>00307
<a name="l00309"></a><a class="code" href="classpolybori_1_1BooleExponent.html#e2cecc1621f9d09969c7028c411d687d">00309</a> reverse_iterator <a class="code" href="classpolybori_1_1BooleExponent.html#e2cecc1621f9d09969c7028c411d687d" title="Finish reverse iteration over indices (constant access).">rInternalEnd</a>() { <span class="keywordflow">return</span> m_data.rend(); }
<a name="l00310"></a>00310
<a name="l00312"></a><a class="code" href="classpolybori_1_1BooleExponent.html#94f559af9a49e227bc7d703401da23a3">00312</a> data_type m_data;
<a name="l00313"></a>00313 };
<a name="l00314"></a>00314
<a name="l00315"></a>00315
<a name="l00317"></a>00317 <span class="keyword">template</span> <<span class="keyword">class</span> RHSType>
<a name="l00318"></a>00318 <span class="keyword">inline</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>
<a name="l00319"></a><a class="code" href="namespacepolybori.html#c52b8cfba4e31a876eb2b41c6fb7cce6">00319</a> <a class="code" href="namespacepolybori.html#c52b8cfba4e31a876eb2b41c6fb7cce6" title="Multiplication of monomials.">operator+</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& lhs, <span class="keyword">const</span> RHSType& rhs) {
<a name="l00320"></a>00320 <span class="keywordflow">return</span> lhs.<a class="code" href="classpolybori_1_1BooleExponent.html#d86c112f9116b000fb57e2f27929aae0" title="Corresponds to multiplication of monomials.">multiply</a>(rhs);
<a name="l00321"></a>00321 }
<a name="l00322"></a>00322
<a name="l00324"></a>00324 <span class="keyword">template</span> <<span class="keyword">class</span> RHSType>
<a name="l00325"></a>00325 <span class="keyword">inline</span> BooleExponent
<a name="l00326"></a><a class="code" href="namespacepolybori.html#56b4635d7be1aa2293534708204d3181">00326</a> <a class="code" href="namespacepolybori.html#56b4635d7be1aa2293534708204d3181" title="Division of monomials.">operator-</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& lhs, <span class="keyword">const</span> RHSType& rhs) {
<a name="l00327"></a>00327 <span class="keywordflow">return</span> lhs.<a class="code" href="classpolybori_1_1BooleExponent.html#818e473c47983e9e2c959bb7cac03b60" title="Corresponds to division of monomials.">divide</a>(rhs);
<a name="l00328"></a>00328 }
<a name="l00329"></a>00329
<a name="l00330"></a>00330
<a name="l00332"></a>00332 <span class="keyword">inline</span> BooleExponent::bool_type
<a name="l00333"></a><a class="code" href="namespacepolybori.html#0705f6dda19681aa006a7e1120f52213">00333</a> <a class="code" href="namespacepolybori.html#0705f6dda19681aa006a7e1120f52213" title="Less than comparision.">operator<</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& lhs, <span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& rhs) {
<a name="l00334"></a>00334
<a name="l00335"></a>00335 <span class="keywordflow">return</span> (lhs.<a class="code" href="classpolybori_1_1BooleExponent.html#f2b9d2df36e33f5b170313b8f1e574e9" title="Compare with rhs monomial and return comparision code.">compare</a>(rhs) == CTypes::less_than);
<a name="l00336"></a>00336 }
<a name="l00337"></a>00337
<a name="l00339"></a>00339 <span class="keyword">inline</span> BooleExponent::bool_type
<a name="l00340"></a><a class="code" href="namespacepolybori.html#80517b393fe00951064261d287ddf356">00340</a> <a class="code" href="namespacepolybori.html#80517b393fe00951064261d287ddf356" title="Greater than comparision.">operator></a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& lhs, <span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& rhs) {
<a name="l00341"></a>00341
<a name="l00342"></a>00342 <span class="keywordflow">return</span> (lhs.<a class="code" href="classpolybori_1_1BooleExponent.html#f2b9d2df36e33f5b170313b8f1e574e9" title="Compare with rhs monomial and return comparision code.">compare</a>(rhs) == CTypes::greater_than);
<a name="l00343"></a>00343 }
<a name="l00344"></a>00344
<a name="l00346"></a>00346 <span class="keyword">inline</span> BooleExponent::bool_type
<a name="l00347"></a><a class="code" href="namespacepolybori.html#77daea56b2553c99bedab92cd14f7bb5">00347</a> <a class="code" href="namespacepolybori.html#77daea56b2553c99bedab92cd14f7bb5" title="Less or equal than comparision.">operator<=</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& lhs, <span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& rhs) {
<a name="l00348"></a>00348
<a name="l00349"></a>00349 <span class="keywordflow">return</span> (lhs.<a class="code" href="classpolybori_1_1BooleExponent.html#f2b9d2df36e33f5b170313b8f1e574e9" title="Compare with rhs monomial and return comparision code.">compare</a>(rhs) <= CTypes::less_or_equal_max);
<a name="l00350"></a>00350 }
<a name="l00351"></a>00351
<a name="l00353"></a>00353 <span class="keyword">inline</span> BooleExponent::bool_type
<a name="l00354"></a><a class="code" href="namespacepolybori.html#9d6eea14a1d7dd2fda19959faafbac40">00354</a> <a class="code" href="namespacepolybori.html#9d6eea14a1d7dd2fda19959faafbac40" title="Greater or equal than comparision.">operator>=</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& lhs, <span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& rhs) {
<a name="l00355"></a>00355
<a name="l00356"></a>00356 <span class="keywordflow">return</span> (lhs.<a class="code" href="classpolybori_1_1BooleExponent.html#f2b9d2df36e33f5b170313b8f1e574e9" title="Compare with rhs monomial and return comparision code.">compare</a>(rhs) >= CTypes::greater_or_equal_min);
<a name="l00357"></a>00357 }
<a name="l00358"></a>00358
<a name="l00359"></a>00359
<a name="l00361"></a>00361 <span class="keyword">inline</span> BooleExponent
<a name="l00362"></a><a class="code" href="namespacepolybori.html#7e0a3e6b6683d0bcda5877b4df7160bd">00362</a> <a class="code" href="namespacepolybori.html#7e0a3e6b6683d0bcda5877b4df7160bd" title="Compute the greatest common divisor of two monomials.">GCD</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& lhs, <span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& rhs ){
<a name="l00363"></a>00363
<a name="l00364"></a>00364 <span class="keywordflow">return</span> lhs.<a class="code" href="classpolybori_1_1BooleExponent.html#cc20fd2fdb9a88291d630366d1abb101" title="Compute the greatest common divisor and assign.">GCD</a>(rhs);
<a name="l00365"></a>00365 }
<a name="l00366"></a>00366
<a name="l00368"></a>00368 <span class="keyword">inline</span> BooleExponent
<a name="l00369"></a><a class="code" href="namespacepolybori.html#8bc2708dcbadf25d81b985f170d82a74">00369</a> <a class="code" href="namespacepolybori.html#8bc2708dcbadf25d81b985f170d82a74" title="Compute the greatest common divisor of two monomials.">LCM</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& lhs, <span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& rhs ){
<a name="l00370"></a>00370
<a name="l00371"></a>00371 <span class="keywordflow">return</span> lhs.<a class="code" href="classpolybori_1_1BooleExponent.html#179d4dccdf4cd4fcbd8b67e987c4c60e" title="Compute the greatest common divisor.">LCM</a>(rhs);
<a name="l00372"></a>00372 }
<a name="l00373"></a>00373
<a name="l00374"></a>00374
<a name="l00376"></a>00376 <span class="keyword">inline</span> BooleExponent::ostream_type&
<a name="l00377"></a><a class="code" href="namespacepolybori.html#f4b343818dd2d9937fe7a213ec6e9995">00377</a> <a class="code" href="namespacepolybori.html#6a2252bb702be1219454e5782c3132d0" title="Stream output operator.">operator<<</a>(BooleExponent::ostream_type& os, <span class="keyword">const</span> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">BooleExponent</a>& rhs) {
<a name="l00378"></a>00378 <span class="keywordflow">return</span> rhs.<a class="code" href="classpolybori_1_1BooleExponent.html#d33280387cba238dc06df340955933df" title="Print current polynomial to output stream.">print</a>(os);
<a name="l00379"></a>00379 }
<a name="l00380"></a>00380
<a name="l00381"></a>00381 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00382"></a>00382
<a name="l00383"></a>00383 <span class="preprocessor">#endif // of BooleExponent_h_</span>
</pre></div></div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:52 2009 for PolyBoRi by
<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>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
a24e1a39141f9b4ca49bd1e2e23a54ba
>
files
>
16
