<!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: polybori::BooleExponent Class Reference</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 class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="annotated.html"><span>Class List</span></a></li>
<li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
<div class="navpath"><a class="el" href="namespacepolybori.html">polybori</a>::<a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a>
</div>
</div>
<div class="contents">
<h1>polybori::BooleExponent Class Reference</h1><!-- doxytag: class="polybori::BooleExponent" -->This class is just a wrapper for using variables for storing indices as interim data structure for <a class="el" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd's decicion diagram...">BooleMonomial</a>.
<a href="#_details">More...</a>
<p>
<code>#include <<a class="el" href="BooleExponent_8h_source.html">BooleExponent.h</a>></code>
<p>
<p>
<a href="classpolybori_1_1BooleExponent-members.html">List of all members.</a><table border="0" cellpadding="0" cellspacing="0">
<tr><td></td></tr>
<tr><td colspan="2"><br><h2>Public Types</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef std::vector< <a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#cdc02f41b2605cdfee2cc960d5ea8881">data_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define the underlying data structure. <a href="#cdc02f41b2605cdfee2cc960d5ea8881"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef data_type::value_type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#d85334a6bb188242a0b3e43ffb337b3e">value_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to actual data. <a href="#d85334a6bb188242a0b3e43ffb337b3e"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#c395b856412ffeacf737ce567da595af">self</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to current type. <a href="#c395b856412ffeacf737ce567da595af"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#6a76734f20d433549d2dd3907f62357d">poly_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type of Boolean polynomials. <a href="#6a76734f20d433549d2dd3907f62357d"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleVariable.html">BooleVariable</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#1f24d2f9a286606c3869699190049a20">var_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type of Boolean variables. <a href="#1f24d2f9a286606c3869699190049a20"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleMonomial.html">BooleMonomial</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#d450a2400a5b520f85aea8cc00e4937f">monom_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type of Boolean variables. <a href="#d450a2400a5b520f85aea8cc00e4937f"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#ed383f87c3357e10ca33f1da70f53b7a">set_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type of sets of Boolean variables. <a href="#ed383f87c3357e10ca33f1da70f53b7a"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1generate__index__map.html">generate_index_map</a><br class="typebreak">
< <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> >::type </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#d42a1e03d6e99b2348aa4e0b53c5e59f">idx_map_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type for index maps. <a href="#d42a1e03d6e99b2348aa4e0b53c5e59f"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1invalid__tag.html">invalid_tag</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#674e30eb30337567b6425624650e6ef2">easy_equality_property</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">This type has no easy equality check. <a href="#674e30eb30337567b6425624650e6ef2"></a><br></td></tr>
<tr><td colspan="2"><div class="groupHeader">Adopt global type definitions</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">CTypes::dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#38c789b304353df30f35c09224f10c95">dd_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">CTypes::size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">CTypes::idx_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#eb07372fd3478864402ba0e30b211d5e">CTypes::hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#9fb6155545ad3606f85b37107fdbb4d4">hash_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#ae2c602841648d0b2b240eb3b612111e">CTypes::bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">CTypes::comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#06fb0e2c526fc83173fcf79696e8cea9">comp_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#54250b7e59ca3f754d1c1d52b07c339a">CTypes::integer_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#cabe86a384337834cbf99e2f9c7db929">integer_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#e146a837e32358883da648ea0f83004d">CTypes::ostream_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#79a09a65c45f5766d37cad3e9b7e6a52">ostream_type</a></td></tr>
<tr><td colspan="2"><div class="groupHeader">Generic access to iterator types</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef data_type::iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#8e1a9ebe358f1998e1f30b3b5034ba93">iterator</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef data_type::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#d4682d504e3b661d193968a5a8cae720">const_iterator</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef data_type::reverse_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#2a7fb6fff5739f987e1bcc0838d03845">reverse_iterator</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <br class="typebreak">
data_type::const_reverse_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#9b9d9c8310f0e0c0a23478273f8ff6a7">const_reverse_iterator</a></td></tr>
<tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#631c2af614610758e75f7d1e0263c060">BooleExponent</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Default Constructor. <a href="#631c2af614610758e75f7d1e0263c060"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#3127f4074ef8479e819511f300ecd42a">BooleExponent</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Copy constructor. <a href="#3127f4074ef8479e819511f300ecd42a"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#e181d98c29e4b28bc87ec5cf10e70761">BooleExponent</a> (bool)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#54595535a48191a1fb8555607c5bf150">get</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Construct from Boolean monomial. <a href="#54595535a48191a1fb8555607c5bf150"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#b36f2d0766141e52454272ff7f01b83f">~BooleExponent</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#b36f2d0766141e52454272ff7f01b83f"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#d4682d504e3b661d193968a5a8cae720">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#fcf246495318485a015ac3dfde44bf55">begin</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Start iteration over indices (constant access). <a href="#fcf246495318485a015ac3dfde44bf55"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#d4682d504e3b661d193968a5a8cae720">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#2dab221a442b500b516716723d15d793">end</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Finish iteration over indices (constant access). <a href="#2dab221a442b500b516716723d15d793"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#9b9d9c8310f0e0c0a23478273f8ff6a7">const_reverse_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#878a418d68318cceaa677a45a01eda17">rbegin</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Start reverse iteration over indices (constant access). <a href="#878a418d68318cceaa677a45a01eda17"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#9b9d9c8310f0e0c0a23478273f8ff6a7">const_reverse_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#5e918fd0dcbf2a2d41734b5df076c9f8">rend</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Finish reverse iteration over indices (constant access). <a href="#5e918fd0dcbf2a2d41734b5df076c9f8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#069fe92b4f7b7d67332eaf6592444ad3">size</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Degree of the corresponding monomial. <a href="#069fe92b4f7b7d67332eaf6592444ad3"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#3544d6cfa9b76c881d900e82c8ed6860">reserve</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> nsize)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Prepare memory for exponents. <a href="#3544d6cfa9b76c881d900e82c8ed6860"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#cf381de5568291c45003b2d4e7ce4e13">resize</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> nsize)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Drop compoents from the nsize-th element on. <a href="#cf381de5568291c45003b2d4e7ce4e13"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#f6ee6ddb617ff78dbd7c1d7910b052b9">deg</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Degree of the corresponding monomial. <a href="#f6ee6ddb617ff78dbd7c1d7910b052b9"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#a1ea29b91181a8646bacad9779395442">divisors</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Divisors of the monomial. <a href="#a1ea29b91181a8646bacad9779395442"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#94b70974d94a309cf05719aa0bad36bd">multiples</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">multiples of the monomial wrt. given monomial <a href="#94b70974d94a309cf05719aa0bad36bd"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#9fb6155545ad3606f85b37107fdbb4d4">hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#aefd3a2fe035dfde421dcc091c5d50ca">stableHash</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Hash value for the exponent. <a href="#aefd3a2fe035dfde421dcc091c5d50ca"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#9fb6155545ad3606f85b37107fdbb4d4">hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#450bca8580dec5eb89bc54b6098939a5">hash</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">For the exponent we only have one type of <a class="el" href="classpolybori_1_1hashes.html">hashes</a>. <a href="#450bca8580dec5eb89bc54b6098939a5"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#f68c9a8d501b1c36a20493df55487736">changeAssign</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a>)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Substitute variable with index idx by its complement and assign. <a href="#f68c9a8d501b1c36a20493df55487736"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#c85392e4e573d8336c1596edef926073">change</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a>) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Substitute variable with index idx by its complement. <a href="#c85392e4e573d8336c1596edef926073"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#228a1783ef2ff81afcb3695d2cfdc843">insert</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a>)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Insert variable with index idx in exponent vector. <a href="#228a1783ef2ff81afcb3695d2cfdc843"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#80cc0041c2915b62e988a4bfccad6bc6">push_back</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> idx)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Insert variable with index idx in exponent vector (trying end first). <a href="#80cc0041c2915b62e988a4bfccad6bc6"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#25f57b7e3ade6c87d0c21187505e52a6">remove</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a>)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Remove variable with index idx in exponent vector. <a href="#25f57b7e3ade6c87d0c21187505e52a6"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#ed7718d938000c40fef4c18bdb45f8eb">insertConst</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a>) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Insert variable with index idx in exponent vector. <a href="#ed7718d938000c40fef4c18bdb45f8eb"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#d6aee74113233aaacd83db1cb094031e">removeConst</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a>) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Remove variable with index idx in exponent vector. <a href="#d6aee74113233aaacd83db1cb094031e"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#818e473c47983e9e2c959bb7cac03b60">divide</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Corresponds to division of monomials. <a href="#818e473c47983e9e2c959bb7cac03b60"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#3dd5c61dbf5581ebd355b0ea00389581">divide</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#a3f50c3d132b6c2b0b49e18f7c0db10e">divide</a> (const <a class="el" href="classpolybori_1_1BooleVariable.html">var_type</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#dee0c8b26eaf0959bcf12130ff8467d7">divide</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#d86c112f9116b000fb57e2f27929aae0">multiply</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Corresponds to multiplication of monomials. <a href="#d86c112f9116b000fb57e2f27929aae0"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#2579d62c75fde3766bb6ae2e369bdb97">multiply</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#c04fcf7e91a759f95adde7c37476bc22">multiply</a> (const <a class="el" href="classpolybori_1_1BooleVariable.html">var_type</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#550e4e00b6fe9af2be043fee2c3781bb">multiply</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#ab38feafeabb0d5ac99bdaf767a95229">multiplyFirst</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> &) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#bff12edc2803c3766de46ad07079576e">operator=</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Assignment operation. <a href="#bff12edc2803c3766de46ad07079576e"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#ab1d3d585d4590842dec9d397061d32e">operator=</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#4eb87cae5ca0301806e7650ab487ed32">reducibleBy</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test for reducibility. <a href="#4eb87cae5ca0301806e7650ab487ed32"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#26a23964466f9c085606a890ecd5bbb0">reducibleBy</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#8c6ebad04d6fde229f92bed5635efd97">reducibleBy</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#383cb89f5c20c84b2f6bf6c50099165f">reducibleBy</a> (const <a class="el" href="classpolybori_1_1BooleVariable.html">var_type</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#06fb0e2c526fc83173fcf79696e8cea9">comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#f2b9d2df36e33f5b170313b8f1e574e9">compare</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Compare with rhs monomial and return comparision code. <a href="#f2b9d2df36e33f5b170313b8f1e574e9"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#530c1e62ea205a858fd3bf2f2c05a74d">LCMDeg</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Degree of the least common multiple. <a href="#530c1e62ea205a858fd3bf2f2c05a74d"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#179d4dccdf4cd4fcbd8b67e987c4c60e">LCM</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Compute the greatest common divisor. <a href="#179d4dccdf4cd4fcbd8b67e987c4c60e"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#cc20fd2fdb9a88291d630366d1abb101">GCD</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Compute the greatest common divisor and assign. <a href="#cc20fd2fdb9a88291d630366d1abb101"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#76cce5e87dc4cfde1ffba45fb5ab3f4e">popFirst</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Removes the first index from exponent. <a href="#76cce5e87dc4cfde1ffba45fb5ab3f4e"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#79a09a65c45f5766d37cad3e9b7e6a52">ostream_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#d33280387cba238dc06df340955933df">print</a> (<a class="el" href="classpolybori_1_1BooleExponent.html#79a09a65c45f5766d37cad3e9b7e6a52">ostream_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Print current polynomial to output stream. <a href="#d33280387cba238dc06df340955933df"></a><br></td></tr>
<tr><td colspan="2"><div class="groupHeader">Logical operations</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#16204c245d25fae0cf157f395baca324">operator==</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#dea101f3936995afdb05b4093e71ba47">operator!=</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> &rhs) const </td></tr>
<tr><td colspan="2"><br><h2>Protected Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#8e1a9ebe358f1998e1f30b3b5034ba93">iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#7a55238eea0eabd96217cb38e3c38e14">internalBegin</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Start iteration over indices (constant access). <a href="#7a55238eea0eabd96217cb38e3c38e14"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#8e1a9ebe358f1998e1f30b3b5034ba93">iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#833c5d1a9be31c8bbac263d849afe9f8">internalEnd</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Finish iteration over indices (constant access). <a href="#833c5d1a9be31c8bbac263d849afe9f8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#2a7fb6fff5739f987e1bcc0838d03845">reverse_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#3b93dbc75f8efd4c27247253f954be16">rInternalBegin</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Start reverse iteration over indices (constant access). <a href="#3b93dbc75f8efd4c27247253f954be16"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#2a7fb6fff5739f987e1bcc0838d03845">reverse_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#e2cecc1621f9d09969c7028c411d687d">rInternalEnd</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Finish reverse iteration over indices (constant access). <a href="#e2cecc1621f9d09969c7028c411d687d"></a><br></td></tr>
<tr><td colspan="2"><br><h2>Protected Attributes</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html#cdc02f41b2605cdfee2cc960d5ea8881">data_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleExponent.html#94f559af9a49e227bc7d703401da23a3">m_data</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">The actual exponent indices. <a href="#94f559af9a49e227bc7d703401da23a3"></a><br></td></tr>
</table>
<hr><a name="_details"></a><h2>Detailed Description</h2>
This class is just a wrapper for using variables for storing indices as interim data structure for <a class="el" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd's decicion diagram...">BooleMonomial</a>. <hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="c7a3d14f92a5afd9c3e1c796fb795c46"></a><!-- doxytag: member="polybori::BooleExponent::bool_type" ref="c7a3d14f92a5afd9c3e1c796fb795c46" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#ae2c602841648d0b2b240eb3b612111e">CTypes::bool_type</a> <a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">polybori::BooleExponent::bool_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="06fb0e2c526fc83173fcf79696e8cea9"></a><!-- doxytag: member="polybori::BooleExponent::comp_type" ref="06fb0e2c526fc83173fcf79696e8cea9" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">CTypes::comp_type</a> <a class="el" href="classpolybori_1_1BooleExponent.html#06fb0e2c526fc83173fcf79696e8cea9">polybori::BooleExponent::comp_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="d4682d504e3b661d193968a5a8cae720"></a><!-- doxytag: member="polybori::BooleExponent::const_iterator" ref="d4682d504e3b661d193968a5a8cae720" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef data_type::const_iterator <a class="el" href="classpolybori_1_1BooleExponent.html#d4682d504e3b661d193968a5a8cae720">polybori::BooleExponent::const_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="9b9d9c8310f0e0c0a23478273f8ff6a7"></a><!-- doxytag: member="polybori::BooleExponent::const_reverse_iterator" ref="9b9d9c8310f0e0c0a23478273f8ff6a7" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef data_type::const_reverse_iterator <a class="el" href="classpolybori_1_1BooleExponent.html#9b9d9c8310f0e0c0a23478273f8ff6a7">polybori::BooleExponent::const_reverse_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="cdc02f41b2605cdfee2cc960d5ea8881"></a><!-- doxytag: member="polybori::BooleExponent::data_type" ref="cdc02f41b2605cdfee2cc960d5ea8881" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef std::vector<<a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a>> <a class="el" href="classpolybori_1_1BooleExponent.html#cdc02f41b2605cdfee2cc960d5ea8881">polybori::BooleExponent::data_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define the underlying data structure.
<p>
</div>
</div><p>
<a class="anchor" name="38c789b304353df30f35c09224f10c95"></a><!-- doxytag: member="polybori::BooleExponent::dd_type" ref="38c789b304353df30f35c09224f10c95" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">CTypes::dd_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::BooleExponent::dd_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="674e30eb30337567b6425624650e6ef2"></a><!-- doxytag: member="polybori::BooleExponent::easy_equality_property" ref="674e30eb30337567b6425624650e6ef2" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1invalid__tag.html">invalid_tag</a> <a class="el" href="structpolybori_1_1invalid__tag.html">polybori::BooleExponent::easy_equality_property</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
This type has no easy equality check.
<p>
</div>
</div><p>
<a class="anchor" name="9fb6155545ad3606f85b37107fdbb4d4"></a><!-- doxytag: member="polybori::BooleExponent::hash_type" ref="9fb6155545ad3606f85b37107fdbb4d4" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#eb07372fd3478864402ba0e30b211d5e">CTypes::hash_type</a> <a class="el" href="classpolybori_1_1BooleExponent.html#9fb6155545ad3606f85b37107fdbb4d4">polybori::BooleExponent::hash_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="d42a1e03d6e99b2348aa4e0b53c5e59f"></a><!-- doxytag: member="polybori::BooleExponent::idx_map_type" ref="d42a1e03d6e99b2348aa4e0b53c5e59f" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1generate__index__map.html">generate_index_map</a><<a class="el" href="classpolybori_1_1BooleExponent.html">self</a>>::type <a class="el" href="classpolybori_1_1BooleExponent.html#d42a1e03d6e99b2348aa4e0b53c5e59f">polybori::BooleExponent::idx_map_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type for index maps.
<p>
</div>
</div><p>
<a class="anchor" name="011b794da3a0474ea7b712852473cca6"></a><!-- doxytag: member="polybori::BooleExponent::idx_type" ref="011b794da3a0474ea7b712852473cca6" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">CTypes::idx_type</a> <a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">polybori::BooleExponent::idx_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="cabe86a384337834cbf99e2f9c7db929"></a><!-- doxytag: member="polybori::BooleExponent::integer_type" ref="cabe86a384337834cbf99e2f9c7db929" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#54250b7e59ca3f754d1c1d52b07c339a">CTypes::integer_type</a> <a class="el" href="classpolybori_1_1BooleExponent.html#cabe86a384337834cbf99e2f9c7db929">polybori::BooleExponent::integer_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="8e1a9ebe358f1998e1f30b3b5034ba93"></a><!-- doxytag: member="polybori::BooleExponent::iterator" ref="8e1a9ebe358f1998e1f30b3b5034ba93" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef data_type::iterator <a class="el" href="classpolybori_1_1BooleExponent.html#8e1a9ebe358f1998e1f30b3b5034ba93">polybori::BooleExponent::iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="d450a2400a5b520f85aea8cc00e4937f"></a><!-- doxytag: member="polybori::BooleExponent::monom_type" ref="d450a2400a5b520f85aea8cc00e4937f" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BooleMonomial.html">BooleMonomial</a> <a class="el" href="classpolybori_1_1BooleMonomial.html">polybori::BooleExponent::monom_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type of Boolean variables.
<p>
</div>
</div><p>
<a class="anchor" name="79a09a65c45f5766d37cad3e9b7e6a52"></a><!-- doxytag: member="polybori::BooleExponent::ostream_type" ref="79a09a65c45f5766d37cad3e9b7e6a52" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#e146a837e32358883da648ea0f83004d">CTypes::ostream_type</a> <a class="el" href="classpolybori_1_1BooleExponent.html#79a09a65c45f5766d37cad3e9b7e6a52">polybori::BooleExponent::ostream_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="6a76734f20d433549d2dd3907f62357d"></a><!-- doxytag: member="polybori::BooleExponent::poly_type" ref="6a76734f20d433549d2dd3907f62357d" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html">polybori::BooleExponent::poly_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type of Boolean polynomials.
<p>
</div>
</div><p>
<a class="anchor" name="2a7fb6fff5739f987e1bcc0838d03845"></a><!-- doxytag: member="polybori::BooleExponent::reverse_iterator" ref="2a7fb6fff5739f987e1bcc0838d03845" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef data_type::reverse_iterator <a class="el" href="classpolybori_1_1BooleExponent.html#2a7fb6fff5739f987e1bcc0838d03845">polybori::BooleExponent::reverse_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="c395b856412ffeacf737ce567da595af"></a><!-- doxytag: member="polybori::BooleExponent::self" ref="c395b856412ffeacf737ce567da595af" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> <a class="el" href="classpolybori_1_1BooleExponent.html">polybori::BooleExponent::self</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Generic access to current type.
<p>
</div>
</div><p>
<a class="anchor" name="ed383f87c3357e10ca33f1da70f53b7a"></a><!-- doxytag: member="polybori::BooleExponent::set_type" ref="ed383f87c3357e10ca33f1da70f53b7a" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> <a class="el" href="classpolybori_1_1BooleSet.html">polybori::BooleExponent::set_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type of sets of Boolean variables.
<p>
</div>
</div><p>
<a class="anchor" name="639054304370d8a23e24dcfd58a49837"></a><!-- doxytag: member="polybori::BooleExponent::size_type" ref="639054304370d8a23e24dcfd58a49837" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">CTypes::size_type</a> <a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">polybori::BooleExponent::size_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="d85334a6bb188242a0b3e43ffb337b3e"></a><!-- doxytag: member="polybori::BooleExponent::value_type" ref="d85334a6bb188242a0b3e43ffb337b3e" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef data_type::value_type <a class="el" href="classpolybori_1_1BooleExponent.html#d85334a6bb188242a0b3e43ffb337b3e">polybori::BooleExponent::value_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Generic access to actual data.
<p>
</div>
</div><p>
<a class="anchor" name="1f24d2f9a286606c3869699190049a20"></a><!-- doxytag: member="polybori::BooleExponent::var_type" ref="1f24d2f9a286606c3869699190049a20" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BooleVariable.html">BooleVariable</a> <a class="el" href="classpolybori_1_1BooleVariable.html">polybori::BooleExponent::var_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type of Boolean variables.
<p>
</div>
</div><p>
<hr><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" name="631c2af614610758e75f7d1e0263c060"></a><!-- doxytag: member="polybori::BooleExponent::BooleExponent" ref="631c2af614610758e75f7d1e0263c060" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleExponent::BooleExponent </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Default Constructor.
<p>
<p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="3127f4074ef8479e819511f300ecd42a"></a><!-- doxytag: member="polybori::BooleExponent::BooleExponent" ref="3127f4074ef8479e819511f300ecd42a" args="(const self &)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleExponent::BooleExponent </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Copy constructor.
<p>
<p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="e181d98c29e4b28bc87ec5cf10e70761"></a><!-- doxytag: member="polybori::BooleExponent::BooleExponent" ref="e181d98c29e4b28bc87ec5cf10e70761" args="(bool)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleExponent::BooleExponent </td>
<td>(</td>
<td class="paramtype">bool </td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="b36f2d0766141e52454272ff7f01b83f"></a><!-- doxytag: member="polybori::BooleExponent::~BooleExponent" ref="b36f2d0766141e52454272ff7f01b83f" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleExponent::~BooleExponent </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Destructor.
<p>
<p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="fcf246495318485a015ac3dfde44bf55"></a><!-- doxytag: member="polybori::BooleExponent::begin" ref="fcf246495318485a015ac3dfde44bf55" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#d4682d504e3b661d193968a5a8cae720">const_iterator</a> polybori::BooleExponent::begin </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Start iteration over indices (constant access).
<p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02063">polybori::groebner::addPolynomialToReductor()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00179">change()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00163">changeAssign()</a>, <a class="el" href="BlockDegRevLexAscOrder_8cc_source.html#l00091">polybori::BlockDegRevLexAscOrder::compare()</a>, <a class="el" href="BlockDegLexOrder_8cc_source.html#l00085">polybori::BlockDegLexOrder::compare()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00361">GCD()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00190">insertConst()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00358">polybori::groebner::LiteralFactorization::occursAsLeadOfFactor()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00518">polybori::BoolePolynomial::operator*=()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00572">polybori::BoolePolynomial::operator/=()</a>, <a class="el" href="BooleSet_8cc_source.html#l00282">polybori::BooleSet::owns()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01348">polybori::groebner::p2code()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00476">print()</a>, <a class="el" href="randomset_8cc_source.html#l00015">polybori::groebner::random_set_using_generator()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00971">polybori::groebner::reduce_complete()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00138">reducibleBy()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00261">removeConst()</a>, <a class="el" href="cache__manager_8h_source.html#l00014">polybori::groebner::set_up_translation_vectors()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l02738">polybori::groebner::GroebnerStrategy::suggestPluginVariable()</a>.</p>
</div>
</div><p>
<a class="anchor" name="c85392e4e573d8336c1596edef926073"></a><!-- doxytag: member="polybori::BooleExponent::change" ref="c85392e4e573d8336c1596edef926073" args="(idx_type) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::change </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Substitute variable with index idx by its complement.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="f68c9a8d501b1c36a20493df55487736"></a><!-- doxytag: member="polybori::BooleExponent::changeAssign" ref="f68c9a8d501b1c36a20493df55487736" args="(idx_type)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> & polybori::BooleExponent::changeAssign </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Substitute variable with index idx by its complement and assign.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00220">insert()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="f2b9d2df36e33f5b170313b8f1e574e9"></a><!-- doxytag: member="polybori::BooleExponent::compare" ref="f2b9d2df36e33f5b170313b8f1e574e9" args="(const self &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#06fb0e2c526fc83173fcf79696e8cea9">BooleExponent::comp_type</a> polybori::BooleExponent::compare </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Compare with rhs monomial and return comparision code.
<p>
<p>References <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8h_source.html#l00333">polybori::operator<()</a>, <a class="el" href="BooleExponent_8h_source.html#l00347">polybori::operator<=()</a>, <a class="el" href="BooleExponent_8h_source.html#l00340">polybori::operator>()</a>, and <a class="el" href="BooleExponent_8h_source.html#l00354">polybori::operator>=()</a>.</p>
</div>
</div><p>
<a class="anchor" name="f6ee6ddb617ff78dbd7c1d7910b052b9"></a><!-- doxytag: member="polybori::BooleExponent::deg" ref="f6ee6ddb617ff78dbd7c1d7910b052b9" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> polybori::BooleExponent::deg </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Degree of the corresponding monomial.
<p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02579">polybori::groebner::GroebnerStrategy::addAsYouWish()</a>, <a class="el" href="nf_8cc_source.html#l00591">polybori::groebner::PolynomialSugar::eliminationLength()</a>, <a class="el" href="nf_8cc_source.html#l00286">polybori::groebner::nf3_degree_order()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02475">polybori::groebner::ShorterEliminationLengthModified::operator()()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00678">polybori::groebner::PolyEntry::PolyEntry()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02738">polybori::groebner::GroebnerStrategy::suggestPluginVariable()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l01791">polybori::groebner::GroebnerStrategy::treatVariablePairs()</a>.</p>
</div>
</div><p>
<a class="anchor" name="dee0c8b26eaf0959bcf12130ff8467d7"></a><!-- doxytag: member="polybori::BooleExponent::divide" ref="dee0c8b26eaf0959bcf12130ff8467d7" args="(const monom_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::divide </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleExponent_8cc_source.html#l00298">polybori::exp_divide()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="a3f50c3d132b6c2b0b49e18f7c0db10e"></a><!-- doxytag: member="polybori::BooleExponent::divide" ref="a3f50c3d132b6c2b0b49e18f7c0db10e" args="(const var_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> polybori::BooleExponent::divide </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleVariable.html">var_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00225">divide()</a>, and <a class="el" href="BooleVariable_8h_source.html#l00151">polybori::BooleVariable::index()</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8h_source.html#l00225">divide()</a>.</p>
</div>
</div><p>
<a class="anchor" name="3dd5c61dbf5581ebd355b0ea00389581"></a><!-- doxytag: member="polybori::BooleExponent::divide" ref="3dd5c61dbf5581ebd355b0ea00389581" args="(const idx_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> polybori::BooleExponent::divide </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="818e473c47983e9e2c959bb7cac03b60"></a><!-- doxytag: member="polybori::BooleExponent::divide" ref="818e473c47983e9e2c959bb7cac03b60" args="(const self &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::divide </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Corresponds to division of monomials.
<p>
<p>References <a class="el" href="BooleExponent_8cc_source.html#l00298">polybori::exp_divide()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8h_source.html#l00326">polybori::operator-()</a>.</p>
</div>
</div><p>
<a class="anchor" name="a1ea29b91181a8646bacad9779395442"></a><!-- doxytag: member="polybori::BooleExponent::divisors" ref="a1ea29b91181a8646bacad9779395442" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleExponent::set_type</a> polybori::BooleExponent::divisors </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Divisors of the monomial.
<p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00615">polybori::cudd_generate_divisors()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00773">polybori::BoolePolynomial::diagram()</a>, <a class="el" href="BooleExponent_8h_source.html#l00312">m_data</a>, <a class="el" href="CDDInterface_8h_source.html#l00686">polybori::CDDInterface< CuddLikeZDD >::manager()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l00592">polybori::groebner::PairManager::cleanTopByChainCriterion()</a>.</p>
</div>
</div><p>
<a class="anchor" name="2dab221a442b500b516716723d15d793"></a><!-- doxytag: member="polybori::BooleExponent::end" ref="2dab221a442b500b516716723d15d793" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#d4682d504e3b661d193968a5a8cae720">const_iterator</a> polybori::BooleExponent::end </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Finish iteration over indices (constant access).
<p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02063">polybori::groebner::addPolynomialToReductor()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00179">change()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00163">changeAssign()</a>, <a class="el" href="BlockDegRevLexAscOrder_8cc_source.html#l00091">polybori::BlockDegRevLexAscOrder::compare()</a>, <a class="el" href="BlockDegLexOrder_8cc_source.html#l00085">polybori::BlockDegLexOrder::compare()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00361">GCD()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00220">insert()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00190">insertConst()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00518">polybori::BoolePolynomial::operator*=()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00572">polybori::BoolePolynomial::operator/=()</a>, <a class="el" href="BooleSet_8cc_source.html#l00282">polybori::BooleSet::owns()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01348">polybori::groebner::p2code()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00476">print()</a>, <a class="el" href="randomset_8cc_source.html#l00015">polybori::groebner::random_set_using_generator()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00971">polybori::groebner::reduce_complete()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00138">reducibleBy()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00284">remove()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00261">removeConst()</a>, <a class="el" href="cache__manager_8h_source.html#l00014">polybori::groebner::set_up_translation_vectors()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l02738">polybori::groebner::GroebnerStrategy::suggestPluginVariable()</a>.</p>
</div>
</div><p>
<a class="anchor" name="cc20fd2fdb9a88291d630366d1abb101"></a><!-- doxytag: member="polybori::BooleExponent::GCD" ref="cc20fd2fdb9a88291d630366d1abb101" args="(const self &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::GCD </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Compute the greatest common divisor and assign.
<p>
Compute the greatest common divisor
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="BooleExponent_8h_source.html#l00174">size()</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8h_source.html#l00362">polybori::GCD()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00049">polybori::groebner::GroebnerStrategy::llReduceAll()</a>.</p>
</div>
</div><p>
<a class="anchor" name="54595535a48191a1fb8555607c5bf150"></a><!-- doxytag: member="polybori::BooleExponent::get" ref="54595535a48191a1fb8555607c5bf150" args="(const monom_type &)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> & polybori::BooleExponent::get </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Construct from Boolean monomial.
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00276">polybori::BooleMonomial::begin()</a>, <a class="el" href="BooleMonomial_8h_source.html#l00279">polybori::BooleMonomial::end()</a>, <a class="el" href="BooleExponent_8h_source.html#l00312">m_data</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="BooleMonomial_8h_source.html#l00302">polybori::BooleMonomial::size()</a>.</p>
<p>Referenced by <a class="el" href="BooleMonomial_8cc_source.html#l00345">polybori::BooleMonomial::exp()</a>.</p>
</div>
</div><p>
<a class="anchor" name="450bca8580dec5eb89bc54b6098939a5"></a><!-- doxytag: member="polybori::BooleExponent::hash" ref="450bca8580dec5eb89bc54b6098939a5" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#9fb6155545ad3606f85b37107fdbb4d4">hash_type</a> polybori::BooleExponent::hash </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
For the exponent we only have one type of <a class="el" href="classpolybori_1_1hashes.html">hashes</a>.
<p>
</div>
</div><p>
<a class="anchor" name="228a1783ef2ff81afcb3695d2cfdc843"></a><!-- doxytag: member="polybori::BooleExponent::insert" ref="228a1783ef2ff81afcb3695d2cfdc843" args="(idx_type)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> & polybori::BooleExponent::insert </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Insert variable with index idx in exponent vector.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, <a class="el" href="BooleExponent_8h_source.html#l00300">internalBegin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00303">internalEnd()</a>, <a class="el" href="BooleExponent_8h_source.html#l00312">m_data</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8cc_source.html#l00163">changeAssign()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l01220">polybori::groebner::minimal_elements_internal3()</a>.</p>
</div>
</div><p>
<a class="anchor" name="ed7718d938000c40fef4c18bdb45f8eb"></a><!-- doxytag: member="polybori::BooleExponent::insertConst" ref="ed7718d938000c40fef4c18bdb45f8eb" args="(idx_type) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::insertConst </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Insert variable with index idx in exponent vector.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="BooleExponent_8h_source.html#l00174">size()</a>.</p>
</div>
</div><p>
<a class="anchor" name="7a55238eea0eabd96217cb38e3c38e14"></a><!-- doxytag: member="polybori::BooleExponent::internalBegin" ref="7a55238eea0eabd96217cb38e3c38e14" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#8e1a9ebe358f1998e1f30b3b5034ba93">iterator</a> polybori::BooleExponent::internalBegin </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline, protected]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Start iteration over indices (constant access).
<p>
<p>Referenced by <a class="el" href="BooleExponent_8cc_source.html#l00220">insert()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00237">push_back()</a>, and <a class="el" href="BooleExponent_8cc_source.html#l00284">remove()</a>.</p>
</div>
</div><p>
<a class="anchor" name="833c5d1a9be31c8bbac263d849afe9f8"></a><!-- doxytag: member="polybori::BooleExponent::internalEnd" ref="833c5d1a9be31c8bbac263d849afe9f8" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#8e1a9ebe358f1998e1f30b3b5034ba93">iterator</a> polybori::BooleExponent::internalEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline, protected]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Finish iteration over indices (constant access).
<p>
<p>Referenced by <a class="el" href="BooleExponent_8cc_source.html#l00220">insert()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00237">push_back()</a>, and <a class="el" href="BooleExponent_8cc_source.html#l00284">remove()</a>.</p>
</div>
</div><p>
<a class="anchor" name="179d4dccdf4cd4fcbd8b67e987c4c60e"></a><!-- doxytag: member="polybori::BooleExponent::LCM" ref="179d4dccdf4cd4fcbd8b67e987c4c60e" args="(const self &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::LCM </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Compute the greatest common divisor.
<p>
Compute theleast common multiple and assign self& LCMAssign(const self&);
<p>References <a class="el" href="BooleExponent_8cc_source.html#l00407">multiply()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8h_source.html#l00369">polybori::LCM()</a>, and <a class="el" href="BooleExponent_8cc_source.html#l00351">LCMDeg()</a>.</p>
</div>
</div><p>
<a class="anchor" name="530c1e62ea205a858fd3bf2f2c05a74d"></a><!-- doxytag: member="polybori::BooleExponent::LCMDeg" ref="530c1e62ea205a858fd3bf2f2c05a74d" args="(const self &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">BooleExponent::size_type</a> polybori::BooleExponent::LCMDeg </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Degree of the least common multiple.
<p>
<p>References <a class="el" href="BooleExponent_8cc_source.html#l00377">LCM()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="BooleExponent_8h_source.html#l00174">size()</a>.</p>
</div>
</div><p>
<a class="anchor" name="94b70974d94a309cf05719aa0bad36bd"></a><!-- doxytag: member="polybori::BooleExponent::multiples" ref="94b70974d94a309cf05719aa0bad36bd" args="(const self &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleExponent::set_type</a> polybori::BooleExponent::multiples </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>multipliers</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
multiples of the monomial wrt. given monomial
<p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00550">polybori::cudd_generate_multiples()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00773">polybori::BoolePolynomial::diagram()</a>, <a class="el" href="BooleExponent_8h_source.html#l00312">m_data</a>, <a class="el" href="CDDInterface_8h_source.html#l00686">polybori::CDDInterface< CuddLikeZDD >::manager()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="550e4e00b6fe9af2be043fee2c3781bb"></a><!-- doxytag: member="polybori::BooleExponent::multiply" ref="550e4e00b6fe9af2be043fee2c3781bb" args="(const monom_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::multiply </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleExponent_8cc_source.html#l00386">polybori::exp_multiply()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="c04fcf7e91a759f95adde7c37476bc22"></a><!-- doxytag: member="polybori::BooleExponent::multiply" ref="c04fcf7e91a759f95adde7c37476bc22" args="(const var_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> polybori::BooleExponent::multiply </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleVariable.html">var_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleVariable_8h_source.html#l00151">polybori::BooleVariable::index()</a>, and <a class="el" href="BooleExponent_8h_source.html#l00232">multiply()</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8h_source.html#l00232">multiply()</a>.</p>
</div>
</div><p>
<a class="anchor" name="2579d62c75fde3766bb6ae2e369bdb97"></a><!-- doxytag: member="polybori::BooleExponent::multiply" ref="2579d62c75fde3766bb6ae2e369bdb97" args="(const idx_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a> polybori::BooleExponent::multiply </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="d86c112f9116b000fb57e2f27929aae0"></a><!-- doxytag: member="polybori::BooleExponent::multiply" ref="d86c112f9116b000fb57e2f27929aae0" args="(const self &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::multiply </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Corresponds to multiplication of monomials.
<p>
<p>References <a class="el" href="BooleExponent_8cc_source.html#l00386">polybori::exp_multiply()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8cc_source.html#l00377">LCM()</a>, and <a class="el" href="BooleExponent_8h_source.html#l00319">polybori::operator+()</a>.</p>
</div>
</div><p>
<a class="anchor" name="ab38feafeabb0d5ac99bdaf767a95229"></a><!-- doxytag: member="polybori::BooleExponent::multiplyFirst" ref="ab38feafeabb0d5ac99bdaf767a95229" args="(const set_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::multiplyFirst </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleExponent_8cc_source.html#l00386">polybori::exp_multiply()</a>, <a class="el" href="CDDInterface_8h_source.html#l00746">polybori::CDDInterface< CuddLikeZDD >::firstBegin()</a>, <a class="el" href="CDDInterface_8h_source.html#l00751">polybori::CDDInterface< CuddLikeZDD >::firstEnd()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="dea101f3936995afdb05b4093e71ba47"></a><!-- doxytag: member="polybori::BooleExponent::operator!=" ref="dea101f3936995afdb05b4093e71ba47" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> polybori::BooleExponent::operator!= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="ab1d3d585d4590842dec9d397061d32e"></a><!-- doxytag: member="polybori::BooleExponent::operator=" ref="ab1d3d585d4590842dec9d397061d32e" args="(const monom_type &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a>& polybori::BooleExponent::operator= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00276">polybori::BooleMonomial::begin()</a>, <a class="el" href="BooleMonomial_8h_source.html#l00279">polybori::BooleMonomial::end()</a>, <a class="el" href="BooleExponent_8h_source.html#l00180">resize()</a>, and <a class="el" href="BooleMonomial_8h_source.html#l00302">polybori::BooleMonomial::size()</a>.</p>
</div>
</div><p>
<a class="anchor" name="bff12edc2803c3766de46ad07079576e"></a><!-- doxytag: member="polybori::BooleExponent::operator=" ref="bff12edc2803c3766de46ad07079576e" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a>& polybori::BooleExponent::operator= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Assignment operation.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00312">m_data</a>.</p>
</div>
</div><p>
<a class="anchor" name="16204c245d25fae0cf157f395baca324"></a><!-- doxytag: member="polybori::BooleExponent::operator==" ref="16204c245d25fae0cf157f395baca324" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> polybori::BooleExponent::operator== </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="76cce5e87dc4cfde1ffba45fb5ab3f4e"></a><!-- doxytag: member="polybori::BooleExponent::popFirst" ref="76cce5e87dc4cfde1ffba45fb5ab3f4e" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">self</a>& polybori::BooleExponent::popFirst </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Removes the first index from exponent.
<p>
</div>
</div><p>
<a class="anchor" name="d33280387cba238dc06df340955933df"></a><!-- doxytag: member="polybori::BooleExponent::print" ref="d33280387cba238dc06df340955933df" args="(ostream_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#79a09a65c45f5766d37cad3e9b7e6a52">BooleExponent::ostream_type</a> & polybori::BooleExponent::print </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#79a09a65c45f5766d37cad3e9b7e6a52">ostream_type</a> & </td>
<td class="paramname"> <em>os</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Print current polynomial to output stream.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="BooleExponent_8h_source.html#l00377">polybori::operator<<()</a>.</p>
</div>
</div><p>
<a class="anchor" name="80cc0041c2915b62e988a4bfccad6bc6"></a><!-- doxytag: member="polybori::BooleExponent::push_back" ref="80cc0041c2915b62e988a4bfccad6bc6" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> & polybori::BooleExponent::push_back </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Insert variable with index idx in exponent vector (trying end first).
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00300">internalBegin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00303">internalEnd()</a>, <a class="el" href="BooleExponent_8h_source.html#l00312">m_data</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="randomset_8cc_source.html#l00015">polybori::groebner::random_set_using_generator()</a>.</p>
</div>
</div><p>
<a class="anchor" name="878a418d68318cceaa677a45a01eda17"></a><!-- doxytag: member="polybori::BooleExponent::rbegin" ref="878a418d68318cceaa677a45a01eda17" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#9b9d9c8310f0e0c0a23478273f8ff6a7">const_reverse_iterator</a> polybori::BooleExponent::rbegin </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Start reverse iteration over indices (constant access).
<p>
<p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00470">polybori::BoolePolynomial::BoolePolynomial()</a>.</p>
</div>
</div><p>
<a class="anchor" name="383cb89f5c20c84b2f6bf6c50099165f"></a><!-- doxytag: member="polybori::BooleExponent::reducibleBy" ref="383cb89f5c20c84b2f6bf6c50099165f" args="(const var_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">bool_type</a> polybori::BooleExponent::reducibleBy </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleVariable.html">var_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleVariable_8h_source.html#l00151">polybori::BooleVariable::index()</a>.</p>
</div>
</div><p>
<a class="anchor" name="8c6ebad04d6fde229f92bed5635efd97"></a><!-- doxytag: member="polybori::BooleExponent::reducibleBy" ref="8c6ebad04d6fde229f92bed5635efd97" args="(const idx_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">BooleExponent::bool_type</a> polybori::BooleExponent::reducibleBy </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="26a23964466f9c085606a890ecd5bbb0"></a><!-- doxytag: member="polybori::BooleExponent::reducibleBy" ref="26a23964466f9c085606a890ecd5bbb0" args="(const monom_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">BooleExponent::bool_type</a> polybori::BooleExponent::reducibleBy </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00276">polybori::BooleMonomial::begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleMonomial_8h_source.html#l00279">polybori::BooleMonomial::end()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="4eb87cae5ca0301806e7650ab487ed32"></a><!-- doxytag: member="polybori::BooleExponent::reducibleBy" ref="4eb87cae5ca0301806e7650ab487ed32" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">BooleExponent::bool_type</a> polybori::BooleExponent::reducibleBy </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test for reducibility.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="25f57b7e3ade6c87d0c21187505e52a6"></a><!-- doxytag: member="polybori::BooleExponent::remove" ref="25f57b7e3ade6c87d0c21187505e52a6" args="(idx_type)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> & polybori::BooleExponent::remove </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Remove variable with index idx in exponent vector.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, <a class="el" href="BooleExponent_8h_source.html#l00300">internalBegin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00303">internalEnd()</a>, <a class="el" href="BooleExponent_8h_source.html#l00312">m_data</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="d6aee74113233aaacd83db1cb094031e"></a><!-- doxytag: member="polybori::BooleExponent::removeConst" ref="d6aee74113233aaacd83db1cb094031e" args="(idx_type) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleExponent</a> polybori::BooleExponent::removeConst </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#011b794da3a0474ea7b712852473cca6">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Remove variable with index idx in exponent vector.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">begin()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">end()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="BooleExponent_8h_source.html#l00174">size()</a>.</p>
</div>
</div><p>
<a class="anchor" name="5e918fd0dcbf2a2d41734b5df076c9f8"></a><!-- doxytag: member="polybori::BooleExponent::rend" ref="5e918fd0dcbf2a2d41734b5df076c9f8" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#9b9d9c8310f0e0c0a23478273f8ff6a7">const_reverse_iterator</a> polybori::BooleExponent::rend </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Finish reverse iteration over indices (constant access).
<p>
<p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00470">polybori::BoolePolynomial::BoolePolynomial()</a>.</p>
</div>
</div><p>
<a class="anchor" name="3544d6cfa9b76c881d900e82c8ed6860"></a><!-- doxytag: member="polybori::BooleExponent::reserve" ref="3544d6cfa9b76c881d900e82c8ed6860" args="(size_type nsize)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::BooleExponent::reserve </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> </td>
<td class="paramname"> <em>nsize</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Prepare memory for exponents.
<p>
<p>Referenced by <a class="el" href="LexOrder_8cc_source.html#l00202">polybori::LexOrder::leadExp()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00149">polybori::DegRevLexAscOrder::leadExp()</a>, and <a class="el" href="DegLexOrder_8cc_source.html#l00180">polybori::DegLexOrder::leadExp()</a>.</p>
</div>
</div><p>
<a class="anchor" name="cf381de5568291c45003b2d4e7ce4e13"></a><!-- doxytag: member="polybori::BooleExponent::resize" ref="cf381de5568291c45003b2d4e7ce4e13" args="(size_type nsize)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void polybori::BooleExponent::resize </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> </td>
<td class="paramname"> <em>nsize</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Drop compoents from the nsize-th element on.
<p>
<p>Referenced by <a class="el" href="BooleExponent_8h_source.html#l00253">operator=()</a>.</p>
</div>
</div><p>
<a class="anchor" name="3b93dbc75f8efd4c27247253f954be16"></a><!-- doxytag: member="polybori::BooleExponent::rInternalBegin" ref="3b93dbc75f8efd4c27247253f954be16" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#2a7fb6fff5739f987e1bcc0838d03845">reverse_iterator</a> polybori::BooleExponent::rInternalBegin </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline, protected]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Start reverse iteration over indices (constant access).
<p>
</div>
</div><p>
<a class="anchor" name="e2cecc1621f9d09969c7028c411d687d"></a><!-- doxytag: member="polybori::BooleExponent::rInternalEnd" ref="e2cecc1621f9d09969c7028c411d687d" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#2a7fb6fff5739f987e1bcc0838d03845">reverse_iterator</a> polybori::BooleExponent::rInternalEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline, protected]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Finish reverse iteration over indices (constant access).
<p>
</div>
</div><p>
<a class="anchor" name="069fe92b4f7b7d67332eaf6592444ad3"></a><!-- doxytag: member="polybori::BooleExponent::size" ref="069fe92b4f7b7d67332eaf6592444ad3" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#639054304370d8a23e24dcfd58a49837">size_type</a> polybori::BooleExponent::size </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Degree of the corresponding monomial.
<p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l01523">polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00361">GCD()</a>, <a class="el" href="cache__manager_8h_source.html#l00067">polybori::groebner::CacheManager::insert()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00190">insertConst()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00351">LCMDeg()</a>, <a class="el" href="cache__manager_8h_source.html#l00041">polybori::groebner::CacheManager::lookup()</a>, and <a class="el" href="BooleExponent_8cc_source.html#l00261">removeConst()</a>.</p>
</div>
</div><p>
<a class="anchor" name="aefd3a2fe035dfde421dcc091c5d50ca"></a><!-- doxytag: member="polybori::BooleExponent::stableHash" ref="aefd3a2fe035dfde421dcc091c5d50ca" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#9fb6155545ad3606f85b37107fdbb4d4">hash_type</a> polybori::BooleExponent::stableHash </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Hash value for the exponent.
<p>
<p>References <a class="el" href="pbori__routines__hash_8h_source.html#l00118">polybori::stable_term_hash()</a>.</p>
</div>
</div><p>
<hr><h2>Member Data Documentation</h2>
<a class="anchor" name="94f559af9a49e227bc7d703401da23a3"></a><!-- doxytag: member="polybori::BooleExponent::m_data" ref="94f559af9a49e227bc7d703401da23a3" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html#cdc02f41b2605cdfee2cc960d5ea8881">data_type</a> <a class="el" href="classpolybori_1_1BooleExponent.html#94f559af9a49e227bc7d703401da23a3">polybori::BooleExponent::m_data</a><code> [protected]</code> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
The actual exponent indices.
<p>
<p>Referenced by <a class="el" href="BooleExponent_8cc_source.html#l00464">divisors()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00113">get()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00220">insert()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00446">multiples()</a>, <a class="el" href="BooleExponent_8h_source.html#l00252">operator=()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00237">push_back()</a>, and <a class="el" href="BooleExponent_8cc_source.html#l00284">remove()</a>.</p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following files:<ul>
<li><a class="el" href="BooleExponent_8h_source.html">BooleExponent.h</a><li><a class="el" href="BooleExponent_8cc.html">BooleExponent.cc</a></ul>
</div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:00 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
>
176
