<!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::BooleSet 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_1BooleSet.html">BooleSet</a>
</div>
</div>
<div class="contents">
<h1>polybori::BooleSet Class Reference</h1><!-- doxytag: class="polybori::BooleSet" --><!-- doxytag: inherits="polybori::CDDInterface" --><code>#include <<a class="el" href="BooleSet_8h_source.html">BooleSet.h</a>></code>
<p>
<div class="dynheader">
Inheritance diagram for polybori::BooleSet:</div>
<div class="dynsection">
<p><center><img src="classpolybori_1_1BooleSet.png" usemap="#polybori::BooleSet_map" border="0" alt=""></center>
<map name="polybori::BooleSet_map">
<area href="classpolybori_1_1CDDInterface.html" alt="polybori::CDDInterface< CuddLikeZDD >" shape="rect" coords="0,56,273,80">
<area href="classpolybori_1_1CDDInterfaceBase.html" alt="polybori::CDDInterfaceBase< CuddLikeZDD >" shape="rect" coords="0,0,273,24">
</map>
</div>
<p>
<a href="classpolybori_1_1BooleSet-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 <a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#bacc176939f98d981637a169a7f73e3e">self</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to type of *this. <a href="#bacc176939f98d981637a169a7f73e3e"></a><br></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_1BooleSet.html#2eb4b6cf66c940d3e5763c99e2a462bf">base</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to base type. <a href="#2eb4b6cf66c940d3e5763c99e2a462bf"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">base</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#f0baef5852cbee3d4b9f13da501681e1">dd_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to underlying diagram type. <a href="#f0baef5852cbee3d4b9f13da501681e1"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html">base::navigator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#83ae03975425e413d9cf998556ca8743">navigator</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for navigation throught Cudd's ZDDs structure. <a href="#83ae03975425e413d9cf998556ca8743"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">base::size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#58f12dd287069a43ca76923597d3e9ba">size_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define size type. <a href="#58f12dd287069a43ca76923597d3e9ba"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">base::idx_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define index type. <a href="#35849fe578c384430f342b2fd3dfb8bf"></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_1BooleSet.html#d217b6071b600684c3c872330889e12a">term_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type of terms. <a href="#d217b6071b600684c3c872330889e12a"></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_1BooleSet.html#bc5c6ee2888653b1a4981cbcdaf946ab">exp_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Fix type for treatment of exponent vectors. <a href="#bc5c6ee2888653b1a4981cbcdaf946ab"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleRing.html">BooleRing</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#c2dedd22bda62f529d058dd6ab3d65c7">ring_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type for Boolean polynomial rings (without ordering). <a href="#c2dedd22bda62f529d058dd6ab3d65c7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a>< <a class="el" href="classpolybori_1_1LexOrder.html">LexOrder</a>, <br class="typebreak">
<a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#53f7309dafd45691f2c0b39d5b5827ea">const_iterator</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for iterating all monomials. <a href="#53f7309dafd45691f2c0b39d5b5827ea"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a>< <a class="el" href="classpolybori_1_1LexOrder.html">LexOrder</a>, <br class="typebreak">
<a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#53410b44a9740fa907fa336a67dcdcbb">exp_iterator</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for iterating all exponent vectors. <a href="#53410b44a9740fa907fa336a67dcdcbb"></a><br></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_1BooleSet.html#88ab7866f75e489aad7dce0307ba9845">BooleSet</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Default constructor. <a href="#88ab7866f75e489aad7dce0307ba9845"></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_1BooleSet.html#7f9c6e498781b2c491cb9968c1c25271">BooleSet</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Copy constructor. <a href="#7f9c6e498781b2c491cb9968c1c25271"></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_1BooleSet.html#bf082f7dda6a4d1ff89e0d340161bffd">BooleSet</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">base</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Copy constructor. <a href="#bf082f7dda6a4d1ff89e0d340161bffd"></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_1BooleSet.html#bff6e02317791fe5595e182908c2c087">BooleSet</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx, const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &first, const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &second)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Construct new node. <a href="#bff6e02317791fe5595e182908c2c087"></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_1BooleSet.html#2dcec3b80c732d5aeb7cd9d11df23796">BooleSet</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> first, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> second, const <a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> &ring)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Construct new node (using navigator nodes). <a href="#2dcec3b80c732d5aeb7cd9d11df23796"></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_1BooleSet.html#2d715c058bf0358076a79bb24a77289c">BooleSet</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx, const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Construct new node (using navigator for then and else-branches). <a href="#2d715c058bf0358076a79bb24a77289c"></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_1BooleSet.html#c8925578ba356d31d257a040e917b06a">BooleSet</a> (<a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> navi, const <a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> &ring)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Construct one or zero set from constant. <a href="#c8925578ba356d31d257a040e917b06a"></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_1BooleSet.html#1b15d31c343af707a3db209b32183c26">~BooleSet</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#1b15d31c343af707a3db209b32183c26"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#0f9e774459c2ee778f97692cc775086c">begin</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Start of iteration over terms. <a href="#0f9e774459c2ee778f97692cc775086c"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#66f7228843222b753e2c90fec92532a7">end</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of iteration over terms. <a href="#66f7228843222b753e2c90fec92532a7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#adf803aacc8f5ed0786d761ebbce4db1">expBegin</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Start of iteration over exponent vectors. <a href="#adf803aacc8f5ed0786d761ebbce4db1"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#34d5717692a00af8465711654e48ea7b">expEnd</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of iteration over exponent vectors. <a href="#34d5717692a00af8465711654e48ea7b"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#4e5b307f63de904370bfb0df13fbb69a">operator=</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Assignment operator. <a href="#4e5b307f63de904370bfb0df13fbb69a"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#648a9fd5149f473250d7f34ea960d03c">usedVariables</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Set of variables of the whole set. <a href="#648a9fd5149f473250d7f34ea960d03c"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#05e3326245281cf3708c761b6780b6f4">usedVariablesExp</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Exponent vector of variables of the whole set. <a href="#05e3326245281cf3708c761b6780b6f4"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#553264904ae595ceb7a35aa7c92aac67">addAssign</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Add given monomial to sets and assign. <a href="#553264904ae595ceb7a35aa7c92aac67"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#a857857757290c22951642c348a3cdc8">add</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Add given monomial to sets. <a href="#a857857757290c22951642c348a3cdc8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#a5214ba5bf849624468492d3670129d8">owns</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether rhs is included in *this. <a href="#a5214ba5bf849624468492d3670129d8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#fa939eead2497f0f61d328de74db1aa0">owns</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether rhs is included in *this. <a href="#fa939eead2497f0f61d328de74db1aa0"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#4d5951a348c06d963c2500ecbc6b2104">lastLexicographicalTerm</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get last term (wrt. lexicographical order). <a href="#4d5951a348c06d963c2500ecbc6b2104"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#6b55b95bc0fbaa4f2a31137b3c3514ca">divisorsOf</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Compute intersection with divisors of rhs. <a href="#6b55b95bc0fbaa4f2a31137b3c3514ca"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#9875e5e20c30e236882388fa96dbd3b0">divisorsOf</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Compute intersection with divisors of rhs. <a href="#9875e5e20c30e236882388fa96dbd3b0"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#7874cfd96c33cab5860b11739da8f294">firstDivisorsOf</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Intersection with divisors of first (lexicographical) term of rhs. <a href="#7874cfd96c33cab5860b11739da8f294"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#6ff3f6907b637daac473d46ebf960502">multiplesOf</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Compute intersection with multiples of rhs. <a href="#6ff3f6907b637daac473d46ebf960502"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#e6105c32f260fb693c4cc4affa0f850a">divide</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Division by given term. <a href="#e6105c32f260fb693c4cc4affa0f850a"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#cac5168e9227569ebb8e4b27a336e164">divideAssign</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Division with assignment by given term. <a href="#cac5168e9227569ebb8e4b27a336e164"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#72a4791c74151e97f1d72dbdfa05239a">hasTermOfVariables</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Check for empty intersection with divisors of rhs. <a href="#72a4791c74151e97f1d72dbdfa05239a"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#3ce39e5c8210af2b3b8163502c67b3e6">minimalElements</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get minimal elements wrt. inclusion. <a href="#3ce39e5c8210af2b3b8163502c67b3e6"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#8285d2439aa89f69c40764b159a0f7d8">isSingleton</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test, whether we have one term only. <a href="#8285d2439aa89f69c40764b159a0f7d8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#e9830016c570211cf2dec1eac4b0faff">isSingletonOrPair</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test, whether we have one or two terms only. <a href="#e9830016c570211cf2dec1eac4b0faff"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#6e7366ae14f8dfc0b333d1aed5e850a5">isPair</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test, whether we have two terms only. <a href="#6e7366ae14f8dfc0b333d1aed5e850a5"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#c0b051ee0ee1cb0fdf135fff575670a6">existAbstract</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Compute existential abstraction. <a href="#c0b051ee0ee1cb0fdf135fff575670a6"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">const <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#ccd48aa92e590d3e4cf7e8289c3a5301">diagram</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Access internal decision diagram. <a href="#ccd48aa92e590d3e4cf7e8289c3a5301"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#31b2a2ec6afcbba8aa13627f3fb57f8f">ite</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &then_dd, const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &else_dd)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">If-Then-Else operation. <a href="#31b2a2ec6afcbba8aa13627f3fb57f8f"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#47fc606ddadc43488686c9810bdfb1b3">iteAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &then_dd, const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &else_dd)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">If-Then-Else operation with assignment. <a href="#47fc606ddadc43488686c9810bdfb1b3"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#fbe2f0cfee8662277ee80a6c48d2d2cc">cartesianProduct</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Cartesean product. <a href="#fbe2f0cfee8662277ee80a6c48d2d2cc"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">ostream_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#1788bdeba1025c287af01f0ab7569c13">print</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">ostream_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Print current set to output stream. <a href="#1788bdeba1025c287af01f0ab7569c13"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#9a6da5a590bef1b4221811147cde8dca">emptyElement</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get corresponding zero element (may be removed in the future). <a href="#9a6da5a590bef1b4221811147cde8dca"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html#58f12dd287069a43ca76923597d3e9ba">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#809ed2afb0aed1f166157896920657c8">countIndex</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Count terms containing BooleVariable(idx). <a href="#809ed2afb0aed1f166157896920657c8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">double </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#27415f1d0efd8f3ed7503a6794f7c709">countIndexDouble</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Count many terms containing BooleVariable(idx). <a href="#27415f1d0efd8f3ed7503a6794f7c709"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#617509fa6eb5631981eec76a2f37c9ba">ring</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Access ring, where this belongs to. <a href="#617509fa6eb5631981eec76a2f37c9ba"></a><br></td></tr>
<tr><td colspan="2"><div class="groupHeader">Members from base</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#93c1a6680523646c20584a2de8a46099">subset0</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#2c568cf40e08b28a21abf00a500a619e">subset1</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#b199b5c67866f25585866aa306466035">change</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#47ceb7f110fdf27ccc21d698d1e44402">unite</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#bd0d2932406c9177d7344b9e6aa20e74">diff</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#187083814c08b06a51cea1bc6fec04ea">diffConst</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#076762850fa0b6a717b88aa3dad121ac">intersect</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#f4dd239e6d344b3f96f50848a1bcbe3f">product</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#3dcc7cc22d6323af3048ec249188d936">dotProduct</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#0c098c5f5072cb65a4472fb21d2f664b">Xor</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#08f05f662da85976b087150ccca9095c">ddDivide</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#bc198f45c66a9eb3a184a5a9bdbd1d22">weakDivide</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#7ed33ea48859cb23acfe7a5e1b2e5b07">divideFirst</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#d1cb5c78fb852256d68fd8877ce2cfe1">subset0Assign</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#e86bf9a454876caa1cc0a3993ec43ab1">subset1Assign</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#e3fe89199cce501471b35709966686f8">changeAssign</a> (<a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> idx)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#6677c4c8b8256b47c2a86c11fc995f48">uniteAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#39c3de5c6e61857ea981ff44f708858e">diffAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#f7b5ffe4124b416143e79c4446708bdf">diffConstAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#37eb390ae4311d92dbb01a928cbab6da">intersectAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#1a82ba2a9c09612302205d582e9fc6d1">productAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#13aed46343d723267fd93761988b950b">dotProductAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#037e23c68efe01f09166930fcc078d08">ddDivideAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#5653339484a97dd841f1973144ea57cd">weakDivideAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BooleSet.html#061c8a7e244d4ec3c2d0e1d7a3d6d972">divideFirstAssign</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> &rhs)</td></tr>
</table>
<hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="2eb4b6cf66c940d3e5763c99e2a462bf"></a><!-- doxytag: member="polybori::BooleSet::base" ref="2eb4b6cf66c940d3e5763c99e2a462bf" 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::BooleSet::base</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Generic access to base type.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterface.html#2d1a043a28136d98a53e329339402143">polybori::CDDInterface< CuddLikeZDD ></a>.</p>
</div>
</div><p>
<a class="anchor" name="53f7309dafd45691f2c0b39d5b5827ea"></a><!-- doxytag: member="polybori::BooleSet::const_iterator" ref="53f7309dafd45691f2c0b39d5b5827ea" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><<a class="el" href="classpolybori_1_1LexOrder.html">LexOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a>> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BooleSet::const_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Iterator type for iterating all monomials.
<p>
</div>
</div><p>
<a class="anchor" name="f0baef5852cbee3d4b9f13da501681e1"></a><!-- doxytag: member="polybori::BooleSet::dd_type" ref="f0baef5852cbee3d4b9f13da501681e1" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">base</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::BooleSet::dd_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Generic access to underlying diagram type.
<p>
</div>
</div><p>
<a class="anchor" name="53410b44a9740fa907fa336a67dcdcbb"></a><!-- doxytag: member="polybori::BooleSet::exp_iterator" ref="53410b44a9740fa907fa336a67dcdcbb" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><<a class="el" href="classpolybori_1_1LexOrder.html">LexOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a>> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BooleSet::exp_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Iterator type for iterating all exponent vectors.
<p>
</div>
</div><p>
<a class="anchor" name="bc5c6ee2888653b1a4981cbcdaf946ab"></a><!-- doxytag: member="polybori::BooleSet::exp_type" ref="bc5c6ee2888653b1a4981cbcdaf946ab" 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::BooleSet::exp_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Fix type for treatment of exponent vectors.
<p>
</div>
</div><p>
<a class="anchor" name="35849fe578c384430f342b2fd3dfb8bf"></a><!-- doxytag: member="polybori::BooleSet::idx_type" ref="35849fe578c384430f342b2fd3dfb8bf" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">base::idx_type</a> <a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">polybori::BooleSet::idx_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define index type.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">polybori::CDDInterface< CuddLikeZDD ></a>.</p>
</div>
</div><p>
<a class="anchor" name="83ae03975425e413d9cf998556ca8743"></a><!-- doxytag: member="polybori::BooleSet::navigator" ref="83ae03975425e413d9cf998556ca8743" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html">base::navigator</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html">polybori::BooleSet::navigator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Iterator type for navigation throught Cudd's ZDDs structure.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterface.html#2728afd1f0dbf503a94915b79f4502bf">polybori::CDDInterface< CuddLikeZDD ></a>.</p>
</div>
</div><p>
<a class="anchor" name="c2dedd22bda62f529d058dd6ab3d65c7"></a><!-- doxytag: member="polybori::BooleSet::ring_type" ref="c2dedd22bda62f529d058dd6ab3d65c7" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BooleRing.html">BooleRing</a> <a class="el" href="classpolybori_1_1BooleRing.html">polybori::BooleSet::ring_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type for Boolean polynomial rings (without ordering).
<p>
</div>
</div><p>
<a class="anchor" name="bacc176939f98d981637a169a7f73e3e"></a><!-- doxytag: member="polybori::BooleSet::self" ref="bacc176939f98d981637a169a7f73e3e" 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::BooleSet::self</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Generic access to type of *this.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterface.html#23e68104e0e176953fa85b401674582b">polybori::CDDInterface< CuddLikeZDD ></a>.</p>
</div>
</div><p>
<a class="anchor" name="58f12dd287069a43ca76923597d3e9ba"></a><!-- doxytag: member="polybori::BooleSet::size_type" ref="58f12dd287069a43ca76923597d3e9ba" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">base::size_type</a> <a class="el" href="classpolybori_1_1BooleSet.html#58f12dd287069a43ca76923597d3e9ba">polybori::BooleSet::size_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define size type.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">polybori::CDDInterface< CuddLikeZDD ></a>.</p>
</div>
</div><p>
<a class="anchor" name="d217b6071b600684c3c872330889e12a"></a><!-- doxytag: member="polybori::BooleSet::term_type" ref="d217b6071b600684c3c872330889e12a" 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::BooleSet::term_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type of terms.
<p>
</div>
</div><p>
<hr><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" name="88ab7866f75e489aad7dce0307ba9845"></a><!-- doxytag: member="polybori::BooleSet::BooleSet" ref="88ab7866f75e489aad7dce0307ba9845" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleSet::BooleSet </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="7f9c6e498781b2c491cb9968c1c25271"></a><!-- doxytag: member="polybori::BooleSet::BooleSet" ref="7f9c6e498781b2c491cb9968c1c25271" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleSet::BooleSet </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
Copy constructor.
<p>
</div>
</div><p>
<a class="anchor" name="bf082f7dda6a4d1ff89e0d340161bffd"></a><!-- doxytag: member="polybori::BooleSet::BooleSet" ref="bf082f7dda6a4d1ff89e0d340161bffd" args="(const base &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleSet::BooleSet </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">base</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Copy constructor.
<p>
</div>
</div><p>
<a class="anchor" name="bff6e02317791fe5595e182908c2c087"></a><!-- doxytag: member="polybori::BooleSet::BooleSet" ref="bff6e02317791fe5595e182908c2c087" args="(idx_type idx, const self &first, const self &second)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleSet::BooleSet </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>first</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>second</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Construct new node.
<p>
</div>
</div><p>
<a class="anchor" name="2dcec3b80c732d5aeb7cd9d11df23796"></a><!-- doxytag: member="polybori::BooleSet::BooleSet" ref="2dcec3b80c732d5aeb7cd9d11df23796" args="(idx_type idx, navigator first, navigator second, const ring_type &ring)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleSet::BooleSet </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td>
<td class="paramname"> <em>first</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td>
<td class="paramname"> <em>second</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> & </td>
<td class="paramname"> <em>ring</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Construct new node (using navigator nodes).
<p>
</div>
</div><p>
<a class="anchor" name="2d715c058bf0358076a79bb24a77289c"></a><!-- doxytag: member="polybori::BooleSet::BooleSet" ref="2d715c058bf0358076a79bb24a77289c" args="(idx_type idx, const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleSet::BooleSet </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>rhs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Construct new node (using navigator for then and else-branches).
<p>
</div>
</div><p>
<a class="anchor" name="c8925578ba356d31d257a040e917b06a"></a><!-- doxytag: member="polybori::BooleSet::BooleSet" ref="c8925578ba356d31d257a040e917b06a" args="(navigator navi, const ring_type &ring)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleSet::BooleSet </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td>
<td class="paramname"> <em>navi</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> & </td>
<td class="paramname"> <em>ring</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Construct one or zero set from constant.
<p>
<dl class="todo" compact><dt><b><a class="el" href="todo.html#_todo000003">Todo:</a></b></dt><dd>temporarily deactivated, as it slow downs procedures like term_accumulate, needs check, what happens to inlinings etc. in this case </dd></dl>
Construct from navigator node
</div>
</div><p>
<a class="anchor" name="1b15d31c343af707a3db209b32183c26"></a><!-- doxytag: member="polybori::BooleSet::~BooleSet" ref="1b15d31c343af707a3db209b32183c26" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::BooleSet::~BooleSet </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Destructor.
<p>
</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="a857857757290c22951642c348a3cdc8"></a><!-- doxytag: member="polybori::BooleSet::add" ref="a857857757290c22951642c348a3cdc8" args="(const term_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> polybori::BooleSet::add </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Add given monomial to sets.
<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="553264904ae595ceb7a35aa7c92aac67"></a><!-- doxytag: member="polybori::BooleSet::addAssign" ref="553264904ae595ceb7a35aa7c92aac67" args="(const term_type &)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> & polybori::BooleSet::addAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Add given monomial to sets and assign.
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="BooleSet_8h_source.html#l00391">uniteAssign()</a>.</p>
</div>
</div><p>
<a class="anchor" name="0f9e774459c2ee778f97692cc775086c"></a><!-- doxytag: member="polybori::BooleSet::begin" ref="0f9e774459c2ee778f97692cc775086c" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BooleSet::const_iterator</a> polybori::BooleSet::begin </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Start of iteration over terms.
<p>
<p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< CuddLikeZDD >::navigation()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="interpolate_8cc_source.html#l00037">polybori::groebner::gen_random_subset()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01122">polybori::groebner::minimal_elements_internal()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02436">polybori::groebner::GroebnerStrategy::minimalize()</a>, <a class="el" href="BooleSet_8cc_source.html#l00469">print()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01953">polybori::groebner::GroebnerStrategy::treatNormalPairs()</a>, <a class="el" href="interpolate_8cc_source.html#l00017">polybori::groebner::variety_lex_groebner_basis()</a>, and <a class="el" href="interpolate_8cc_source.html#l00054">polybori::groebner::variety_lex_leading_terms()</a>.</p>
</div>
</div><p>
<a class="anchor" name="fbe2f0cfee8662277ee80a6c48d2d2cc"></a><!-- doxytag: member="polybori::BooleSet::cartesianProduct" ref="fbe2f0cfee8662277ee80a6c48d2d2cc" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::cartesianProduct </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
Cartesean product.
<p>
</div>
</div><p>
<a class="anchor" name="b199b5c67866f25585866aa306466035"></a><!-- doxytag: member="polybori::BooleSet::change" ref="b199b5c67866f25585866aa306466035" args="(idx_type idx) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::change </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="pbori__algorithms_8h_source.html#l00138">polybori::lower_term_accumulate()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01122">polybori::groebner::minimal_elements_internal()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</a>, <a class="el" href="pbori__algorithms_8h_source.html#l00212">polybori::term_accumulate()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l01376">polybori::groebner::translate_indices()</a>.</p>
</div>
</div><p>
<a class="anchor" name="e3fe89199cce501471b35709966686f8"></a><!-- doxytag: member="polybori::BooleSet::changeAssign" ref="e3fe89199cce501471b35709966686f8" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::changeAssign </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="809ed2afb0aed1f166157896920657c8"></a><!-- doxytag: member="polybori::BooleSet::countIndex" ref="809ed2afb0aed1f166157896920657c8" args="(idx_type idx) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html#58f12dd287069a43ca76923597d3e9ba">BooleSet::size_type</a> polybori::BooleSet::countIndex </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Count terms containing BooleVariable(idx).
<p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00860">polybori::count_index()</a>, and <a class="el" href="CDDInterface_8h_source.html#l00828">polybori::CDDInterface< CuddLikeZDD >::size()</a>.</p>
</div>
</div><p>
<a class="anchor" name="27415f1d0efd8f3ed7503a6794f7c709"></a><!-- doxytag: member="polybori::BooleSet::countIndexDouble" ref="27415f1d0efd8f3ed7503a6794f7c709" args="(idx_type idx) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">double polybori::BooleSet::countIndexDouble </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Count many terms containing BooleVariable(idx).
<p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00860">polybori::count_index()</a>, and <a class="el" href="CDDInterface_8h_source.html#l00828">polybori::CDDInterface< CuddLikeZDD >::size()</a>.</p>
</div>
</div><p>
<a class="anchor" name="08f05f662da85976b087150ccca9095c"></a><!-- doxytag: member="polybori::BooleSet::ddDivide" ref="08f05f662da85976b087150ccca9095c" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::ddDivide </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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="037e23c68efe01f09166930fcc078d08"></a><!-- doxytag: member="polybori::BooleSet::ddDivideAssign" ref="037e23c68efe01f09166930fcc078d08" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::ddDivideAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
</div>
</div><p>
<a class="anchor" name="ccd48aa92e590d3e4cf7e8289c3a5301"></a><!-- doxytag: member="polybori::BooleSet::diagram" ref="ccd48aa92e590d3e4cf7e8289c3a5301" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">const <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a>& polybori::BooleSet::diagram </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Access internal decision diagram.
<p>
<p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00351">divisorsOf()</a>.</p>
</div>
</div><p>
<a class="anchor" name="bd0d2932406c9177d7344b9e6aa20e74"></a><!-- doxytag: member="polybori::BooleSet::diff" ref="bd0d2932406c9177d7344b9e6aa20e74" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::diff </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="nf_8cc_source.html#l01829">polybori::groebner::do_plug_1()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01122">polybori::groebner::minimal_elements_internal()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</a>, <a class="el" href="interpolate_8cc_source.html#l00033">polybori::groebner::nf_lex_points()</a>, <a class="el" href="interpolate_8cc_source.html#l00050">polybori::groebner::random_interpolation()</a>, <a class="el" href="interpolate_8cc_source.html#l00054">polybori::groebner::variety_lex_leading_terms()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p>
</div>
</div><p>
<a class="anchor" name="39c3de5c6e61857ea981ff44f708858e"></a><!-- doxytag: member="polybori::BooleSet::diffAssign" ref="39c3de5c6e61857ea981ff44f708858e" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::diffAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
</div>
</div><p>
<a class="anchor" name="187083814c08b06a51cea1bc6fec04ea"></a><!-- doxytag: member="polybori::BooleSet::diffConst" ref="187083814c08b06a51cea1bc6fec04ea" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::diffConst </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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="f7b5ffe4124b416143e79c4446708bdf"></a><!-- doxytag: member="polybori::BooleSet::diffConstAssign" ref="f7b5ffe4124b416143e79c4446708bdf" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::diffConstAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
</div>
</div><p>
<a class="anchor" name="e6105c32f260fb693c4cc4affa0f850a"></a><!-- doxytag: member="polybori::BooleSet::divide" ref="e6105c32f260fb693c4cc4affa0f850a" args="(const term_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> polybori::BooleSet::divide </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Division by given term.
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, and <a class="el" href="CDDInterface_8h_source.html#l00623">polybori::CDDInterface< dd_base >::divideFirst()</a>.</p>
</div>
</div><p>
<a class="anchor" name="cac5168e9227569ebb8e4b27a336e164"></a><!-- doxytag: member="polybori::BooleSet::divideAssign" ref="cac5168e9227569ebb8e4b27a336e164" args="(const term_type &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> & polybori::BooleSet::divideAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Division with assignment by given term.
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, and <a class="el" href="CDDInterface_8h_source.html#l00614">polybori::CDDInterface< dd_base >::divideFirstAssign()</a>.</p>
</div>
</div><p>
<a class="anchor" name="7ed33ea48859cb23acfe7a5e1b2e5b07"></a><!-- doxytag: member="polybori::BooleSet::divideFirst" ref="7ed33ea48859cb23acfe7a5e1b2e5b07" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::divideFirst </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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="061c8a7e244d4ec3c2d0e1d7a3d6d972"></a><!-- doxytag: member="polybori::BooleSet::divideFirstAssign" ref="061c8a7e244d4ec3c2d0e1d7a3d6d972" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::divideFirstAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
</div>
</div><p>
<a class="anchor" name="9875e5e20c30e236882388fa96dbd3b0"></a><!-- doxytag: member="polybori::BooleSet::divisorsOf" ref="9875e5e20c30e236882388fa96dbd3b0" args="(const exp_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> polybori::BooleSet::divisorsOf </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Compute intersection with divisors of rhs.
<p>
<p>References <a class="el" href="BooleSet_8h_source.html#l00350">diagram()</a>, <a class="el" href="BooleSet_8cc_source.html#l00331">firstDivisorsOf()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="BooleSet_8h_source.html#l00421">ring()</a>.</p>
</div>
</div><p>
<a class="anchor" name="6b55b95bc0fbaa4f2a31137b3c3514ca"></a><!-- doxytag: member="polybori::BooleSet::divisorsOf" ref="6b55b95bc0fbaa4f2a31137b3c3514ca" args="(const term_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> polybori::BooleSet::divisorsOf </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Compute intersection with divisors of rhs.
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, <a class="el" href="BooleSet_8cc_source.html#l00331">firstDivisorsOf()</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#l01590">polybori::groebner::GroebnerStrategy::add4ImplDelayed()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02579">polybori::groebner::GroebnerStrategy::addAsYouWish()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02484">polybori::groebner::GroebnerStrategy::addGeneratorTrySplit()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01523">polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4()</a>, <a class="el" href="BooleSet_8cc_source.html#l00369">hasTermOfVariables()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00411">polybori::groebner::PairManager::replacePair()</a>, <a class="el" href="nf_8cc_source.html#l01067">polybori::groebner::select1()</a>, and <a class="el" href="nf_8cc_source.html#l01206">polybori::groebner::select_no_deg_growth()</a>.</p>
</div>
</div><p>
<a class="anchor" name="3dcc7cc22d6323af3048ec249188d936"></a><!-- doxytag: member="polybori::BooleSet::dotProduct" ref="3dcc7cc22d6323af3048ec249188d936" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::dotProduct </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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="13aed46343d723267fd93761988b950b"></a><!-- doxytag: member="polybori::BooleSet::dotProductAssign" ref="13aed46343d723267fd93761988b950b" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::dotProductAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
</div>
</div><p>
<a class="anchor" name="9a6da5a590bef1b4221811147cde8dca"></a><!-- doxytag: member="polybori::BooleSet::emptyElement" ref="9a6da5a590bef1b4221811147cde8dca" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::emptyElement </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get corresponding zero element (may be removed in the future).
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterface.html#09d34bf71e57be76b873a6c6c3395b11">polybori::CDDInterface< CuddLikeZDD ></a>.</p>
</div>
</div><p>
<a class="anchor" name="66f7228843222b753e2c90fec92532a7"></a><!-- doxytag: member="polybori::BooleSet::end" ref="66f7228843222b753e2c90fec92532a7" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BooleSet::const_iterator</a> polybori::BooleSet::end </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Finish of iteration over terms.
<p>
<p>References <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#l02436">polybori::groebner::GroebnerStrategy::minimalize()</a>, <a class="el" href="BooleSet_8cc_source.html#l00469">print()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01953">polybori::groebner::GroebnerStrategy::treatNormalPairs()</a>, <a class="el" href="interpolate_8cc_source.html#l00017">polybori::groebner::variety_lex_groebner_basis()</a>, and <a class="el" href="interpolate_8cc_source.html#l00054">polybori::groebner::variety_lex_leading_terms()</a>.</p>
</div>
</div><p>
<a class="anchor" name="c0b051ee0ee1cb0fdf135fff575670a6"></a><!-- doxytag: member="polybori::BooleSet::existAbstract" ref="c0b051ee0ee1cb0fdf135fff575670a6" args="(const term_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> polybori::BooleSet::existAbstract </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Compute existential abstraction.
<p>
<p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00679">polybori::dd_existential_abstraction()</a>, <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, <a class="el" href="CDDInterface_8h_source.html#l00686">polybori::CDDInterface< dd_base >::manager()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< dd_base >::navigation()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< CuddLikeZDD >::navigation()</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#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>.</p>
</div>
</div><p>
<a class="anchor" name="adf803aacc8f5ed0786d761ebbce4db1"></a><!-- doxytag: member="polybori::BooleSet::expBegin" ref="adf803aacc8f5ed0786d761ebbce4db1" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BooleSet::exp_iterator</a> polybori::BooleSet::expBegin </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Start of iteration over exponent vectors.
<p>
<p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< dd_base >::managerCore()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< dd_base >::navigation()</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#l02579">polybori::groebner::GroebnerStrategy::addAsYouWish()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02063">polybori::groebner::addPolynomialToReductor()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00592">polybori::groebner::PairManager::cleanTopByChainCriterion()</a>, <a class="el" href="nf_8cc_source.html#l01116">polybori::groebner::LexHelper::irreducible_lead()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00049">polybori::groebner::GroebnerStrategy::llReduceAll()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01220">polybori::groebner::minimal_elements_internal3()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02410">polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00411">polybori::groebner::PairManager::replacePair()</a>, <a class="el" href="nf_8cc_source.html#l01067">polybori::groebner::select1()</a>, <a class="el" href="nf_8cc_source.html#l01206">polybori::groebner::select_no_deg_growth()</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#l01953">polybori::groebner::GroebnerStrategy::treatNormalPairs()</a>.</p>
</div>
</div><p>
<a class="anchor" name="34d5717692a00af8465711654e48ea7b"></a><!-- doxytag: member="polybori::BooleSet::expEnd" ref="34d5717692a00af8465711654e48ea7b" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BooleSet::exp_iterator</a> polybori::BooleSet::expEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Finish of iteration over exponent vectors.
<p>
<p>References <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#l02579">polybori::groebner::GroebnerStrategy::addAsYouWish()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00592">polybori::groebner::PairManager::cleanTopByChainCriterion()</a>, <a class="el" href="nf_8cc_source.html#l01116">polybori::groebner::LexHelper::irreducible_lead()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01220">polybori::groebner::minimal_elements_internal3()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02410">polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00411">polybori::groebner::PairManager::replacePair()</a>, <a class="el" href="nf_8cc_source.html#l01067">polybori::groebner::select1()</a>, <a class="el" href="nf_8cc_source.html#l01206">polybori::groebner::select_no_deg_growth()</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#l01953">polybori::groebner::GroebnerStrategy::treatNormalPairs()</a>.</p>
</div>
</div><p>
<a class="anchor" name="7874cfd96c33cab5860b11739da8f294"></a><!-- doxytag: member="polybori::BooleSet::firstDivisorsOf" ref="7874cfd96c33cab5860b11739da8f294" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> polybori::BooleSet::firstDivisorsOf </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Intersection with divisors of first (lexicographical) term of rhs.
<p>
<p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00924">polybori::dd_first_divisors_of()</a>, <a class="el" href="CDDInterface_8h_source.html#l00686">polybori::CDDInterface< CuddLikeZDD >::manager()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< CuddLikeZDD >::navigation()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00343">divisorsOf()</a>.</p>
</div>
</div><p>
<a class="anchor" name="72a4791c74151e97f1d72dbdfa05239a"></a><!-- doxytag: member="polybori::BooleSet::hasTermOfVariables" ref="72a4791c74151e97f1d72dbdfa05239a" args="(const term_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">BooleSet::bool_type</a> polybori::BooleSet::hasTermOfVariables </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Check for empty intersection with divisors of rhs.
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00276">polybori::BooleMonomial::begin()</a>, <a class="el" href="pbori__algo_8h_source.html#l00316">polybori::dd_owns_term_of_indices()</a>, <a class="el" href="BooleSet_8cc_source.html#l00343">divisorsOf()</a>, <a class="el" href="CDDInterface_8h_source.html#l00811">polybori::CDDInterface< CuddLikeZDD >::emptiness()</a>, <a class="el" href="BooleMonomial_8h_source.html#l00279">polybori::BooleMonomial::end()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< CuddLikeZDD >::navigation()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="076762850fa0b6a717b88aa3dad121ac"></a><!-- doxytag: member="polybori::BooleSet::intersect" ref="076762850fa0b6a717b88aa3dad121ac" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::intersect </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00592">polybori::groebner::PairManager::cleanTopByChainCriterion()</a>, <a class="el" href="interpolate_8cc_source.html#l00121">polybori::groebner::interpolate()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="nf_8cc_source.html#l01116">polybori::groebner::LexHelper::irreducible_lead()</a>, <a class="el" href="BooleSet_8cc_source.html#l00273">owns()</a>, <a class="el" href="nf_8cc_source.html#l00821">polybori::groebner::sum_size()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l01953">polybori::groebner::GroebnerStrategy::treatNormalPairs()</a>.</p>
</div>
</div><p>
<a class="anchor" name="37eb390ae4311d92dbb01a928cbab6da"></a><!-- doxytag: member="polybori::BooleSet::intersectAssign" ref="37eb390ae4311d92dbb01a928cbab6da" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::intersectAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
</div>
</div><p>
<a class="anchor" name="6e7366ae14f8dfc0b333d1aed5e850a5"></a><!-- doxytag: member="polybori::BooleSet::isPair" ref="6e7366ae14f8dfc0b333d1aed5e850a5" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> polybori::BooleSet::isPair </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test, whether we have two terms only.
<p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00839">polybori::dd_is_pair()</a>.</p>
</div>
</div><p>
<a class="anchor" name="8285d2439aa89f69c40764b159a0f7d8"></a><!-- doxytag: member="polybori::BooleSet::isSingleton" ref="8285d2439aa89f69c40764b159a0f7d8" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> polybori::BooleSet::isSingleton </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test, whether we have one term only.
<p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00804">polybori::dd_is_singleton()</a>.</p>
</div>
</div><p>
<a class="anchor" name="e9830016c570211cf2dec1eac4b0faff"></a><!-- doxytag: member="polybori::BooleSet::isSingletonOrPair" ref="e9830016c570211cf2dec1eac4b0faff" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> polybori::BooleSet::isSingletonOrPair </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test, whether we have one or two terms only.
<p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00832">polybori::dd_is_singleton_or_pair()</a>.</p>
</div>
</div><p>
<a class="anchor" name="31b2a2ec6afcbba8aa13627f3fb57f8f"></a><!-- doxytag: member="polybori::BooleSet::ite" ref="31b2a2ec6afcbba8aa13627f3fb57f8f" args="(const self &then_dd, const self &else_dd)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::ite </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>then_dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>else_dd</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
If-Then-Else operation.
<p>
</div>
</div><p>
<a class="anchor" name="47fc606ddadc43488686c9810bdfb1b3"></a><!-- doxytag: member="polybori::BooleSet::iteAssign" ref="47fc606ddadc43488686c9810bdfb1b3" args="(const self &then_dd, const self &else_dd)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::iteAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>then_dd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>else_dd</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
If-Then-Else operation with assignment.
<p>
</div>
</div><p>
<a class="anchor" name="4d5951a348c06d963c2500ecbc6b2104"></a><!-- doxytag: member="polybori::BooleSet::lastLexicographicalTerm" ref="4d5951a348c06d963c2500ecbc6b2104" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">BooleSet::term_type</a> polybori::BooleSet::lastLexicographicalTerm </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get last term (wrt. lexicographical order).
<p>
<p>References <a class="el" href="pbori__routines__dd_8h_source.html#l00070">polybori::dd_last_lexicographical_term()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="3ce39e5c8210af2b3b8163502c67b3e6"></a><!-- doxytag: member="polybori::BooleSet::minimalElements" ref="3ce39e5c8210af2b3b8163502c67b3e6" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> polybori::BooleSet::minimalElements </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get minimal elements wrt. inclusion.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterface.html#477a0f68a5528de0d6a74c28b1fc54b4">polybori::CDDInterface< CuddLikeZDD ></a>.</p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00455">polybori::dd_minimal_elements()</a>, <a class="el" href="CCuddNavigator_8h_source.html#l00227">polybori::CCuddNavigator::decRef()</a>, <a class="el" href="CDDInterface_8h_source.html#l00686">polybori::CDDInterface< CuddLikeZDD >::manager()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< CuddLikeZDD >::navigation()</a>, <a class="el" href="CCuddNavigator_8h_source.html#l00231">polybori::CCuddNavigator::recursiveDecRef()</a>, <a class="el" href="BooleSet_8h_source.html#l00421">ring()</a>, and <a class="el" href="CDDInterface_8h_source.html#l00736">polybori::CDDInterface< CuddLikeZDD >::usedIndices()</a>.</p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l01312">polybori::groebner::minimal_elements()</a>, and <a class="el" href="interpolate_8cc_source.html#l00054">polybori::groebner::variety_lex_leading_terms()</a>.</p>
</div>
</div><p>
<a class="anchor" name="6ff3f6907b637daac473d46ebf960502"></a><!-- doxytag: member="polybori::BooleSet::multiplesOf" ref="6ff3f6907b637daac473d46ebf960502" args="(const term_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> polybori::BooleSet::multiplesOf </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Compute intersection with multiples of rhs.
<p>
<p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00961">polybori::dd_first_multiples_of()</a>, <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, <a class="el" href="CDDInterface_8h_source.html#l00686">polybori::CDDInterface< dd_base >::manager()</a>, and <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< CuddLikeZDD >::navigation()</a>.</p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>.</p>
</div>
</div><p>
<a class="anchor" name="4e5b307f63de904370bfb0df13fbb69a"></a><!-- doxytag: member="polybori::BooleSet::operator=" ref="4e5b307f63de904370bfb0df13fbb69a" args="(const self &)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> & polybori::BooleSet::operator= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Assignment operator.
<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="fa939eead2497f0f61d328de74db1aa0"></a><!-- doxytag: member="polybori::BooleSet::owns" ref="fa939eead2497f0f61d328de74db1aa0" args="(const exp_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">BooleSet::bool_type</a> polybori::BooleSet::owns </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Check whether rhs is included in *this.
<p>
<p>References <a class="el" href="BooleExponent_8h_source.html#l00162">polybori::BooleExponent::begin()</a>, <a class="el" href="pbori__routines__misc_8h_source.html#l00866">polybori::dd_owns()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">polybori::BooleExponent::end()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< CuddLikeZDD >::navigation()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="a5214ba5bf849624468492d3670129d8"></a><!-- doxytag: member="polybori::BooleSet::owns" ref="a5214ba5bf849624468492d3670129d8" args="(const term_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">BooleSet::bool_type</a> polybori::BooleSet::owns </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">term_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Check whether rhs is included in *this.
<p>
<p>References <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, <a class="el" href="CDDInterface_8h_source.html#l00811">polybori::CDDInterface< CuddLikeZDD >::emptiness()</a>, <a class="el" href="BooleSet_8h_source.html#l00378">intersect()</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#l02579">polybori::groebner::GroebnerStrategy::addAsYouWish()</a>.</p>
</div>
</div><p>
<a class="anchor" name="1788bdeba1025c287af01f0ab7569c13"></a><!-- doxytag: member="polybori::BooleSet::print" ref="1788bdeba1025c287af01f0ab7569c13" args="(ostream_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">BooleSet::ostream_type</a> & polybori::BooleSet::print </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">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 set to output stream.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterface.html#2b3f1d292626e0baae5979e72352dd64">polybori::CDDInterface< CuddLikeZDD ></a>.</p>
<p>References <a class="el" href="BooleSet_8cc_source.html#l00290">begin()</a>, <a class="el" href="pbori__routines__misc_8h_source.html#l00271">polybori::dd_print_terms()</a>, <a class="el" href="CDDInterface_8h_source.html#l00811">polybori::CDDInterface< dd_base >::emptiness()</a>, <a class="el" href="BooleSet_8cc_source.html#l00298">end()</a>, <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="BooleSet_8h_source.html#l00426">polybori::operator<<()</a>.</p>
</div>
</div><p>
<a class="anchor" name="f4dd239e6d344b3f96f50848a1bcbe3f"></a><!-- doxytag: member="polybori::BooleSet::product" ref="f4dd239e6d344b3f96f50848a1bcbe3f" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::product </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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="1a82ba2a9c09612302205d582e9fc6d1"></a><!-- doxytag: member="polybori::BooleSet::productAssign" ref="1a82ba2a9c09612302205d582e9fc6d1" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::productAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
</div>
</div><p>
<a class="anchor" name="617509fa6eb5631981eec76a2f37c9ba"></a><!-- doxytag: member="polybori::BooleSet::ring" ref="617509fa6eb5631981eec76a2f37c9ba" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> polybori::BooleSet::ring </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Access ring, where this belongs to.
<p>
<p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00351">divisorsOf()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</a>, and <a class="el" href="BooleSet_8cc_source.html#l00394">minimalElements()</a>.</p>
</div>
</div><p>
<a class="anchor" name="93c1a6680523646c20584a2de8a46099"></a><!-- doxytag: member="polybori::BooleSet::subset0" ref="93c1a6680523646c20584a2de8a46099" args="(idx_type idx) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::subset0 </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="interpolate_8cc_source.html#l00121">polybori::groebner::interpolate()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01122">polybori::groebner::minimal_elements_internal()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01220">polybori::groebner::minimal_elements_internal3()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p>
</div>
</div><p>
<a class="anchor" name="d1cb5c78fb852256d68fd8877ce2cfe1"></a><!-- doxytag: member="polybori::BooleSet::subset0Assign" ref="d1cb5c78fb852256d68fd8877ce2cfe1" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::subset0Assign </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<dl class="todo" compact><dt><b><a class="el" href="todo.html#_todo000004">Todo:</a></b></dt><dd>Do we really nee the assign variante here at high level? </dd></dl>
</div>
</div><p>
<a class="anchor" name="2c568cf40e08b28a21abf00a500a619e"></a><!-- doxytag: member="polybori::BooleSet::subset1" ref="2c568cf40e08b28a21abf00a500a619e" args="(idx_type idx) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::subset1 </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Referenced by <a class="el" href="interpolate_8cc_source.html#l00121">polybori::groebner::interpolate()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01122">polybori::groebner::minimal_elements_internal()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00716">polybori::groebner::reduce_by_monom()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00796">polybori::groebner::reduce_complete()</a>, <a class="el" href="nf_8cc_source.html#l00821">polybori::groebner::sum_size()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p>
</div>
</div><p>
<a class="anchor" name="e86bf9a454876caa1cc0a3993ec43ab1"></a><!-- doxytag: member="polybori::BooleSet::subset1Assign" ref="e86bf9a454876caa1cc0a3993ec43ab1" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::subset1Assign </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="47ceb7f110fdf27ccc21d698d1e44402"></a><!-- doxytag: member="polybori::BooleSet::unite" ref="47ceb7f110fdf27ccc21d698d1e44402" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::unite </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
<p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00049">polybori::groebner::GroebnerStrategy::llReduceAll()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01122">polybori::groebner::minimal_elements_internal()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01059">polybori::groebner::GroebnerStrategy::propagate_step()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00037">polybori::groebner::GroebnerStrategy::treat_m_p_1_case()</a>, and <a class="el" href="interpolate_8cc_source.html#l00054">polybori::groebner::variety_lex_leading_terms()</a>.</p>
</div>
</div><p>
<a class="anchor" name="6677c4c8b8256b47c2a86c11fc995f48"></a><!-- doxytag: member="polybori::BooleSet::uniteAssign" ref="6677c4c8b8256b47c2a86c11fc995f48" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::uniteAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
<p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00254">addAssign()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>.</p>
</div>
</div><p>
<a class="anchor" name="648a9fd5149f473250d7f34ea960d03c"></a><!-- doxytag: member="polybori::BooleSet::usedVariables" ref="648a9fd5149f473250d7f34ea960d03c" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">BooleSet::term_type</a> polybori::BooleSet::usedVariables </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Set of variables of the whole set.
<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="05e3326245281cf3708c761b6780b6f4"></a><!-- doxytag: member="polybori::BooleSet::usedVariablesExp" ref="05e3326245281cf3708c761b6780b6f4" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BooleSet::exp_type</a> polybori::BooleSet::usedVariablesExp </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Exponent vector of variables of the whole set.
<p>
<p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="CDDInterface_8h_source.html#l00736">polybori::CDDInterface< CuddLikeZDD >::usedIndices()</a>.</p>
</div>
</div><p>
<a class="anchor" name="bc198f45c66a9eb3a184a5a9bdbd1d22"></a><!-- doxytag: member="polybori::BooleSet::weakDivide" ref="bc198f45c66a9eb3a184a5a9bdbd1d22" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::weakDivide </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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="5653339484a97dd841f1973144ea57cd"></a><!-- doxytag: member="polybori::BooleSet::weakDivideAssign" ref="5653339484a97dd841f1973144ea57cd" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a>& polybori::BooleSet::weakDivideAssign </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
</div>
</div><p>
<a class="anchor" name="0c098c5f5072cb65a4472fb21d2f664b"></a><!-- doxytag: member="polybori::BooleSet::Xor" ref="0c098c5f5072cb65a4472fb21d2f664b" args="(const self &rhs) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">self</a> polybori::BooleSet::Xor </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.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>
<p>Referenced by <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following files:<ul>
<li><a class="el" href="BooleSet_8h_source.html">BooleSet.h</a><li><a class="el" href="BooleSet_8cc.html">BooleSet.cc</a></ul>
</div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:01 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
>
188
