<!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::BoolePolynomial 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_1BoolePolynomial.html">BoolePolynomial</a> </div> </div> <div class="contents"> <h1>polybori::BoolePolynomial Class Reference</h1><!-- doxytag: class="polybori::BoolePolynomial" -->This class wraps the underlying decicion diagram type and defines the necessary operations. <a href="#_details">More...</a> <p> <code>#include <<a class="el" href="BoolePolynomial_8h_source.html">BoolePolynomial.h</a>></code> <p> <p> <a href="classpolybori_1_1BoolePolynomial-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_1BoolePolynomial.html">BoolePolynomial</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#6d59ce892902f060c65d78140c58555d">self</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to current type. <a href="#6d59ce892902f060c65d78140c58555d"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddFirstIter.html">dd_type::first_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#e3af17208b8652d1ba82958cd5c066b8">first_iterator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for iterating over indices of the leading term. <a href="#e3af17208b8652d1ba82958cd5c066b8"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html">dd_type::navigator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#d033d988c944f4890ebfc6de317b2fc6">navigator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator-like type for navigating through diagram structure. <a href="#d033d988c944f4890ebfc6de317b2fc6"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html#f8429917ee2c4fe2e1430d29b54da631">dd_type::pretty_out_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#0520db2e8d55f81515c8f42bc4ecd597">pretty_out_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for output of pretty print. <a href="#0520db2e8d55f81515c8f42bc4ecd597"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html#6da7252e8579b44c832b6d1c343063ae">dd_type::filename_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a618375c137ef1ef188836e18c64d2c1">filename_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for naming file for pretty print. <a href="#a618375c137ef1ef188836e18c64d2c1"></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_1BoolePolynomial.html#3b8240639fafff00bcd61e0696207041">monom_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleVariable.html">BooleVariable</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#1a5292b5add47d4156541368692289c3">var_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Fix type for treatment of monomials. <a href="#1a5292b5add47d4156541368692289c3"></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_1BoolePolynomial.html#1332be7d1907b20cab34600a2be81aab">exp_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Fix type for treatment of exponent vectors. <a href="#1332be7d1907b20cab34600a2be81aab"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleConstant.html">BooleConstant</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#936be21393c2a3da46b58d1d074c311e">constant_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for wrapping integer and bool values. <a href="#936be21393c2a3da46b58d1d074c311e"></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_1BoolePolynomial.html#f3e80a21ea24273fd86ec8960da4e9c3">ring_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for Boolean polynomial rings (without ordering). <a href="#f3e80a21ea24273fd86ec8960da4e9c3"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1binary__composition.html">binary_composition</a><br class="typebreak"> < std::plus< <a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> ><br class="typebreak"> , <a class="el" href="classproject__ith.html">project_ith</a><br class="typebreak"> < 1 >, <a class="el" href="structpolybori_1_1integral__constant.html">integral_constant</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a>, 1 > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2e3754dea62021b7cc7d17301a0a4085">increment_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Incrementation functional type. <a href="#2e3754dea62021b7cc7d17301a0a4085"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1binary__composition.html">binary_composition</a><br class="typebreak"> < std::minus< <a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> ><br class="typebreak"> , <a class="el" href="classproject__ith.html">project_ith</a><br class="typebreak"> < 1 >, <a class="el" href="structpolybori_1_1integral__constant.html">integral_constant</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a>, 1 > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#5c03532435d9bd7f2bf4a8f35db81589">decrement_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Decrementation functional type. <a href="#5c03532435d9bd7f2bf4a8f35db81589"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1COrderedIter.html">COrderedIter</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_1BoolePolynomial.html#0808840d34622ebab5325a6ca63b6c71">ordered_exp_iterator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for iterating over all exponents in ordering order. <a href="#0808840d34622ebab5325a6ca63b6c71"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1COrderedIter.html">COrderedIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#4ccc7efb6914a9cb74076a0b669c6e83">ordered_iterator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for iterating over all monomials in ordering order. <a href="#4ccc7efb6914a9cb74076a0b669c6e83"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">lex_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#4f59b6c5446abff41285e7115d3d498f">const_iterator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for iterating over all monomials. <a href="#4f59b6c5446abff41285e7115d3d498f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CExpIter.html">CExpIter</a>< <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#1d547e57c0ce704bbdf9fc21f0380596">exp_iterator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for iterating all exponent vectors. <a href="#1d547e57c0ce704bbdf9fc21f0380596"></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_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#322d6adf91745e245a90c25aa94250d0">deg_iterator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for iterating all monomials (dereferencing to degree). <a href="#322d6adf91745e245a90c25aa94250d0"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef std::vector< <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#fe8dacf966ec169a6a5fa2bbb7f16791">termlist_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for lists of terms. <a href="#fe8dacf966ec169a6a5fa2bbb7f16791"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <br class="typebreak"> <a class="el" href="structpolybori_1_1valid__tag.html">dd_type::easy_equality_property</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#08ef023bd79bff09941462baa4f878c7">easy_equality_property</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">The property whether the equality check is easy is inherited from dd_type. <a href="#08ef023bd79bff09941462baa4f878c7"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleSet.html">BooleSet</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#7cc61ccf051447e13bbf7556f71dd23f">set_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for sets of Boolean variables. <a href="#7cc61ccf051447e13bbf7556f71dd23f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef std::map< <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1BoolePolynomial.html#387f5d548f4eb9882bf74f4e481cd76a">idx_type</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1symmetric__composition.html">symmetric_composition</a><br class="typebreak"> < std::less< <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> ><br class="typebreak"> , <a class="el" href="classpolybori_1_1navigates.html">navigates</a>< <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> > > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2cf501ab6fe3f96105fcfaccf7b03f65">idx_map_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for index maps. <a href="#2cf501ab6fe3f96105fcfaccf7b03f65"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef std::map< <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>, <br class="typebreak"> std::vector< <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> ><br class="typebreak"> , <a class="el" href="classpolybori_1_1symmetric__composition.html">symmetric_composition</a><br class="typebreak"> < std::less< <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> ><br class="typebreak"> , <a class="el" href="classpolybori_1_1navigates.html">navigates</a>< <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> > > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#12d6d340119c1578f9a54a53e870b30e">poly_vec_map_type</a></td></tr> <tr><td colspan="2"><div class="groupHeader">Adopt global type definitions</div></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classCDDManager.html">CTypes::manager_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#89cb4781889d808a07f64edf5c80d29c">manager_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classCDDManager.html">CTypes::manager_reference</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#91eb89556ec1b694c2712c10df179988">manager_reference</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CTypes.html#6178bf94c86c467475afd3a2029c6b4c">CTypes::manager_ptr</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#48297dccccf39b86032cdbb25be986d2">manager_ptr</a></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_1BoolePolynomial.html#87bea0bc3c938c8d3528ea2119e410f5">dd_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">CTypes::size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">CTypes::idx_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#387f5d548f4eb9882bf74f4e481cd76a">idx_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#ae2c602841648d0b2b240eb3b612111e">CTypes::bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#e146a837e32358883da648ea0f83004d">CTypes::ostream_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#773245778f095b9b8a9b6940d8f7f462">ostream_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#eb07372fd3478864402ba0e30b211d5e">CTypes::hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f35f1df19ee1faf411fc3d10034464a0">hash_type</a></td></tr> <tr><td colspan="2"><div class="groupHeader">Generic iterators for various orderings</div></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">monom_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#ea2f60574d3e589e1602c3030bd5e868">lex_iterator</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1DegLexOrder.html">DegLexOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#8b8c24ea354a34a7210bd49f4902dc9a">dlex_iterator</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1DegRevLexAscOrder.html">DegRevLexAscOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#011c617a980db93511b0d5ce72dc029e">dp_asc_iterator</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1BlockDegLexOrder.html">BlockDegLexOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#08b8a1de41631e78806059a177ccc2fc">block_dlex_iterator</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1BlockDegRevLexAscOrder.html">BlockDegRevLexAscOrder</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#1658d8d6b51eb113b082cfbabd48abb0">block_dp_asc_iterator</a></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_1BoolePolynomial.html#642ab9477c56f47107e0f3ac53923b5a">lex_exp_iterator</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1DegLexOrder.html">DegLexOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#418e0eb830b0d2c5b5f27ddcfef596e0">dlex_exp_iterator</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1DegRevLexAscOrder.html">DegRevLexAscOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f7f4618ce977c63cb828177cd45cfdb7">dp_asc_exp_iterator</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1BlockDegLexOrder.html">BlockDegLexOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <br class="typebreak"> <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#341de73dfb0f50b80a2da4037200c238">block_dlex_exp_iterator</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">CGenericIter</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1BlockDegRevLexAscOrder.html">BlockDegRevLexAscOrder</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_1BoolePolynomial.html#6210c943b9e9efc214a9c8177aa3da99">block_dp_asc_exp_iterator</a></td></tr> <tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#65cae297e44fa49ac33d697c06c3e62a">BoolePolynomial</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Default constructor. <a href="#65cae297e44fa49ac33d697c06c3e62a"></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_1BoolePolynomial.html#bba6499136cd0190b755ebbf20a7d414">BoolePolynomial</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a>)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct polynomial from a constant value 0 or 1. <a href="#bba6499136cd0190b755ebbf20a7d414"></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_1BoolePolynomial.html#9108d586964665d194e2e759863dcf9e">BoolePolynomial</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> isOne, const <a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> &ring)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct polynomial from a constant value 0 or 1. <a href="#9108d586964665d194e2e759863dcf9e"></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_1BoolePolynomial.html#86db4cc0ee77d308745c956dc94cbfe8">BoolePolynomial</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct polynomial from decision diagram. <a href="#86db4cc0ee77d308745c956dc94cbfe8"></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_1BoolePolynomial.html#7fd7f3f0f4d4aab8700370783ab3fe0e">BoolePolynomial</a> (const <a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct polynomial from a subset of the powerset over all variables. <a href="#7fd7f3f0f4d4aab8700370783ab3fe0e"></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_1BoolePolynomial.html#df37c581ed6874a69e5a71bb7db1bf83">BoolePolynomial</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &, const <a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> &)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct polynomial from exponent vector. <a href="#df37c581ed6874a69e5a71bb7db1bf83"></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_1BoolePolynomial.html#fe97bd28f09e4ccf49ad9163e4ca57f7">BoolePolynomial</a> (const <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> &rhs, const <a class="el" href="classpolybori_1_1BooleRing.html">ring_type</a> &ring)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct polynomial from navigator. <a href="#fe97bd28f09e4ccf49ad9163e4ca57f7"></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_1BoolePolynomial.html#1afd5799bfea9b38f03983963d75b7ec">~BoolePolynomial</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#1afd5799bfea9b38f03983963d75b7ec"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#3758780d74fe1580bf60e4898e3a785f">operator=</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> rhs)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#fb4f4c542c9f279c8caa0c9e6e463f2b">isZero</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether polynomial is constant zero. <a href="#fb4f4c542c9f279c8caa0c9e6e463f2b"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#e85d40acf57ec4446514ae6ddab9c467">isOne</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether polynomial is constant one. <a href="#e85d40acf57ec4446514ae6ddab9c467"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#b171f5956d5cdbb66e719f31263a2af9">isConstant</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether polynomial is zero or one. <a href="#b171f5956d5cdbb66e719f31263a2af9"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#13815791da65feedcbf725162d0aa20a">hasConstantPart</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether polynomial has term one. <a href="#13815791da65feedcbf725162d0aa20a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#7276879e35ffafe7146d455fdb86e16c">reducibleBy</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> &) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Tests whether polynomial can be reduced by right-hand side. <a href="#7276879e35ffafe7146d455fdb86e16c"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#67cb2a5617e37c17683b730411964186">lead</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term. <a href="#67cb2a5617e37c17683b730411964186"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#ad7cd011a2ceba6a3ecae91f33f24b70">lexLead</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term w.r.t. lexicographical order. <a href="#ad7cd011a2ceba6a3ecae91f33f24b70"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#6d6cd4a7c437d4f242618329657392d5">boundedLead</a> (<a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> bound) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term (using upper bound). <a href="#6d6cd4a7c437d4f242618329657392d5"></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_1BoolePolynomial.html#db45be859816b10898fca12e4a94a785">leadExp</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term. <a href="#db45be859816b10898fca12e4a94a785"></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_1BoolePolynomial.html#9e18a4f22a9aff4b83cd029d6ea9e4a5">boundedLeadExp</a> (<a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> bound) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term (using upper bound). <a href="#9e18a4f22a9aff4b83cd029d6ea9e4a5"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#ff8cb1483a75f5cfa739c81f9f5172f1">lmDivisors</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get all divisors of the leading term. <a href="#ff8cb1483a75f5cfa739c81f9f5172f1"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f35f1df19ee1faf411fc3d10034464a0">hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#800406d4fbf4ac5370c1d89bdb16083c">hash</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get unique hash value (may <a class="el" href="classchange.html" title="Accessing .change().">change</a> from run to run). <a href="#800406d4fbf4ac5370c1d89bdb16083c"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f35f1df19ee1faf411fc3d10034464a0">hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2796c8a274f2a2557b97cff10081604a">stableHash</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get hash value, which is reproducible. <a href="#2796c8a274f2a2557b97cff10081604a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f35f1df19ee1faf411fc3d10034464a0">hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2341a9539acd7e9bd76f2a87cc01c6d6">lmStableHash</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Hash value of the leading term. <a href="#2341a9539acd7e9bd76f2a87cc01c6d6"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#7314af89d9bb81dd3a1d6758c43b99e0">deg</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Maximal degree of the polynomial. <a href="#7314af89d9bb81dd3a1d6758c43b99e0"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#0ae236d120fbd849fb160d06ada1c34f">lmDeg</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Degree of the leading term. <a href="#0ae236d120fbd849fb160d06ada1c34f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f29c0cdb7d3c66e3c7447af7f55619b6">lexLmDeg</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Degree of the leading term w.r.t. lexicographical ordering. <a href="#f29c0cdb7d3c66e3c7447af7f55619b6"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#fd6bab495f0afe70e8cc0d6a7d776dea">totalDeg</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Total maximal degree of the polynomial. <a href="#fd6bab495f0afe70e8cc0d6a7d776dea"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2ad5a90c7bfa980d15a7ca6005baad1e">lmTotalDeg</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Total degree of the leading term. <a href="#2ad5a90c7bfa980d15a7ca6005baad1e"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#3ff3dc281d1352d8adccf6f91f738e39">gradedPart</a> (<a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> deg) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get part of given degree. <a href="#3ff3dc281d1352d8adccf6f91f738e39"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#704a7532e816594702505d48b3e2ef80">nNodes</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Number of nodes in the decision diagram. <a href="#704a7532e816594702505d48b3e2ef80"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f3ce733993101f31a7dbd5a4a11420bb">nUsedVariables</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Number of variables of the polynomial. <a href="#f3ce733993101f31a7dbd5a4a11420bb"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a046f5b16b024d5585968ddfdd5c5fb5">usedVariables</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set of variables of the polynomial. <a href="#a046f5b16b024d5585968ddfdd5c5fb5"></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_1BoolePolynomial.html#a2542a610cfc91520b9e3195e386b5d1">usedVariablesExp</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Exponent vector of all of variables of the polynomial. <a href="#a2542a610cfc91520b9e3195e386b5d1"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f81756b2bfcc5e14003adfa0927f5b9a">length</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Returns number of terms. <a href="#f81756b2bfcc5e14003adfa0927f5b9a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#773245778f095b9b8a9b6940d8f7f462">ostream_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#1f145ae3ff272488c6edcb365533b9f9">print</a> (<a class="el" href="classpolybori_1_1BoolePolynomial.html#773245778f095b9b8a9b6940d8f7f462">ostream_type</a> &) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Print current polynomial to output stream. <a href="#1f145ae3ff272488c6edcb365533b9f9"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#911ce7a2d7982f0131e30653e069ea15">prettyPrint</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Pretty print to stdout. <a href="#911ce7a2d7982f0131e30653e069ea15"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#462f03b9d546ab940ffeb0e06a0717f0">prettyPrint</a> (const char *filename) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Pretty print to filename. <a href="#462f03b9d546ab940ffeb0e06a0717f0"></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_1BoolePolynomial.html#f4613d92fe1deed9a90903cfd2d74a97">begin</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Start of iteration over monomials. <a href="#f4613d92fe1deed9a90903cfd2d74a97"></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_1BoolePolynomial.html#de8e1bc6f9ff7b83baee08fabd28edcd">end</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of iteration over monomials. <a href="#de8e1bc6f9ff7b83baee08fabd28edcd"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CExpIter.html">exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#718e35c75e2a3303aa46d64bbad4fb58">expBegin</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Start of iteration over exponent vectors. <a href="#718e35c75e2a3303aa46d64bbad4fb58"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CExpIter.html">exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#92cce271ea028dd16eef37a5799e99ea">expEnd</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of iteration over exponent vectors. <a href="#92cce271ea028dd16eef37a5799e99ea"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddFirstIter.html">first_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#e3fca6ea42268282c18c5e1d181c2097">firstBegin</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Start of first term. <a href="#e3fca6ea42268282c18c5e1d181c2097"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddFirstIter.html">first_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2f358f22123340b8c4ecd5be236f2446">firstEnd</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of first term. <a href="#2f358f22123340b8c4ecd5be236f2446"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#16b5f400bc07e28ac6f98feaa72417bb">firstTerm</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get of first lexicographic term. <a href="#16b5f400bc07e28ac6f98feaa72417bb"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">deg_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#7567f17b580ce9e6754574adf97399b5">degBegin</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Start of degrees. <a href="#7567f17b580ce9e6754574adf97399b5"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">deg_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#44b9889bd6187314ba38d33b6c37edcc">degEnd</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of degrees. <a href="#44b9889bd6187314ba38d33b6c37edcc"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a07b8bcebcf41c14972d3e6b3ba8d925">orderedBegin</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Start of ordering respecting iterator. <a href="#a07b8bcebcf41c14972d3e6b3ba8d925"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#8b709449dcc351255a1bef44405a34e1">orderedEnd</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of ordering respecting iterator. <a href="#8b709449dcc351255a1bef44405a34e1"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#7ac69f255bdc64ce37acb775226483a1">orderedExpBegin</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Start of ordering respecting exponent iterator. <a href="#7ac69f255bdc64ce37acb775226483a1"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#e17d9d271eca032bff1de44aad8e42db">orderedExpEnd</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of ordering respecting exponent iterator. <a href="#e17d9d271eca032bff1de44aad8e42db"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f922cc6c7798bfee714a6614165b1e8b">navigation</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Navigate through structure. <a href="#f922cc6c7798bfee714a6614165b1e8b"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#8b143e2b48e41d8f322c86894b5f1dca">endOfNavigation</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">End of navigation marker. <a href="#8b143e2b48e41d8f322c86894b5f1dca"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#84f817f1c2aacd0441ded88421830fae">copyDiagram</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">gives a copy of the diagram <a href="#84f817f1c2aacd0441ded88421830fae"></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_1BoolePolynomial.html#d932485cffe8b67d6a06b6bf4d018d5a">operator set_type</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Casting operator to Boolean set. <a href="#d932485cffe8b67d6a06b6bf4d018d5a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#de4e28d489c55822f45371d73f55c90e">eliminationLength</a> () const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2a11fc5b77f5e180d34d3d15e8a00eab">eliminationLengthWithDegBound</a> (<a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> garantied_deg_bound) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#d37208966468697b99d712edfc9efe3e">fetchTerms</a> (<a class="el" href="classpolybori_1_1BoolePolynomial.html#fe8dacf966ec169a6a5fa2bbb7f16791">termlist_type</a> &) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get list of all terms. <a href="#d37208966468697b99d712edfc9efe3e"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#fe8dacf966ec169a6a5fa2bbb7f16791">termlist_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#dd8ed9ba9c16a4dd36a23bdcfa37b247">terms</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Return of all terms. <a href="#dd8ed9ba9c16a4dd36a23bdcfa37b247"></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_1BoolePolynomial.html#a5e40309d6889917338db56513fa2d7f">diagram</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Read-only access to internal decision diagramm structure. <a href="#a5e40309d6889917338db56513fa2d7f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#c9c0baa075563f8c6a66cd472ce85159">set</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get corresponding subset of of the powerset over all variables. <a href="#c9c0baa075563f8c6a66cd472ce85159"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#3688c30c06b85a46e8f847087be5bc77">isSingleton</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Test, whether we have one term only. <a href="#3688c30c06b85a46e8f847087be5bc77"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#864ddb70922d192548b84fa47195a886">isSingletonOrPair</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Test, whether we have one or two terms only. <a href="#864ddb70922d192548b84fa47195a886"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2885c7c8578feeeb77bb4fa4eb7866e0">isPair</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Test, whether we have two terms only. <a href="#2885c7c8578feeeb77bb4fa4eb7866e0"></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_1BoolePolynomial.html#f1a245a3dbbd0b988c88a9dc3b29922b">ring</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Access ring, where this belongs to. <a href="#f1a245a3dbbd0b988c88a9dc3b29922b"></a><br></td></tr> <tr><td colspan="2"><div class="groupHeader">Arithmetical operations</div></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#13ad55948c5b1f7f4a773ea31bbea770">operator-</a> () const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#ce2078d139773904544816bea75868a7">operator+=</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> &)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#475d6aaeeaea002211949b82ace7186d">operator+=</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> rhs)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class RHSType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#b8e091abc2149b44a4cb107de0071181">operator-=</a> (const RHSType &rhs)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#03d81194690fbadcf9ebcd464c8129c8">operator*=</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f8e7c9c63f6beeb4f044f76b36157532">operator*=</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#ea74e47b0026bcfd5fcdf1d0f257f060">operator*=</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> &)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#e5a7fb16866faa59f3def15442d75c06">operator*=</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> rhs)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#06b65020426b71545955dfe391937a44">operator/=</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#684a7b76354ca9eb76db9a46a8c15bb1">operator/=</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#0387e98c539428253972ddab7112da0c">operator/=</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> &rhs)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#3cf498847ee6244f34ab98ee39ffb0d3">operator/=</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> rhs)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#204f76c2c479cdfe404994d4e8b87d72">operator%=</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2b39e36c457fe83ec05775205b71ed47">operator%=</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> &rhs)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#fa7153dd84ac056e8477fc2c671c4ab5">operator%=</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> rhs)</td></tr> <tr><td colspan="2"><div class="groupHeader">Logical operations</div></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#97b434baf4c67dacb03bcd3814bad13f">operator==</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#bc33f178f342dbc73510e4111eaa107d">operator!=</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#99a07934b6d8a9d27c215d75e1cf6c61">operator==</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#58466553efa10fe233417d74e92e1dd0">operator!=</a> (<a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> rhs) const </td></tr> <tr><td colspan="2"><div class="groupHeader">Compile-time access to generic iterators</div></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">lex_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#c79895bdcbef9442b6806f43b1ede89b">genericBegin</a> (<a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">lex_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#74ca2815dc5819887bd785b0e3e3e459">genericEnd</a> (<a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">dlex_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#3c2e74437e396910282d37cefb6ff9ee">genericBegin</a> (<a class="el" href="structpolybori_1_1dlex__tag.html">dlex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">dlex_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2bc6f064847bff10446f5da34838e86f">genericEnd</a> (<a class="el" href="structpolybori_1_1dlex__tag.html">dlex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">dp_asc_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#5fe0f829547fa65155afa79e7e4556f5">genericBegin</a> (<a class="el" href="structpolybori_1_1dp__asc__tag.html">dp_asc_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">dp_asc_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#8de38727d433963ec710f0b76da6e6eb">genericEnd</a> (<a class="el" href="structpolybori_1_1dp__asc__tag.html">dp_asc_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">block_dlex_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#bbe4b12e200c0019ce429ac04a5bc42c">genericBegin</a> (<a class="el" href="structpolybori_1_1block__dlex__tag.html">block_dlex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">block_dlex_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2f9581e1c0b6a81d541fb52c902d1688">genericEnd</a> (<a class="el" href="structpolybori_1_1block__dlex__tag.html">block_dlex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">block_dp_asc_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2853158658ae5cbc85c60a5e11742638">genericBegin</a> (<a class="el" href="structpolybori_1_1block__dp__asc__tag.html">block_dp_asc_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">block_dp_asc_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a9f17a419d99a49a5fc9b231478765c9">genericEnd</a> (<a class="el" href="structpolybori_1_1block__dp__asc__tag.html">block_dp_asc_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">lex_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#d818fd37c4367dae6ff6daee541d8449">genericExpBegin</a> (<a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">lex_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#08282139706657a01f2721a132d53aa9">genericExpEnd</a> (<a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">dlex_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#7bb5b4f5c22d4932fb8566284a9cc223">genericExpBegin</a> (<a class="el" href="structpolybori_1_1dlex__tag.html">dlex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">dlex_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#8c1a37120d03c0b286a344514c5abf31">genericExpEnd</a> (<a class="el" href="structpolybori_1_1dlex__tag.html">dlex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">dp_asc_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#2c3d508a5ec9289a9ee9f4857dc79b22">genericExpBegin</a> (<a class="el" href="structpolybori_1_1dp__asc__tag.html">dp_asc_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">dp_asc_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#506d39d44e8a161d9ac495aeb01b5e69">genericExpEnd</a> (<a class="el" href="structpolybori_1_1dp__asc__tag.html">dp_asc_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">block_dlex_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#0b1068267292baf85490c807cc9134a3">genericExpBegin</a> (<a class="el" href="structpolybori_1_1block__dlex__tag.html">block_dlex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">block_dlex_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#e859f8e311c83f8ad5cef41bdfcaff39">genericExpEnd</a> (<a class="el" href="structpolybori_1_1block__dlex__tag.html">block_dlex_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">block_dp_asc_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#e67244c03b4713cb02598fc83fe73185">genericExpBegin</a> (<a class="el" href="structpolybori_1_1block__dp__asc__tag.html">block_dp_asc_tag</a>) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CGenericIter.html">block_dp_asc_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a0ae98c66d5faee23b1c3be0c8a0b799">genericExpEnd</a> (<a class="el" href="structpolybori_1_1block__dp__asc__tag.html">block_dp_asc_tag</a>) const </td></tr> <tr><td colspan="2"><br><h2>Protected Member Functions</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#48ce9d3984147a0c8c263f03305a2d42">internalDiagram</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Access to internal decision diagramm structure. <a href="#48ce9d3984147a0c8c263f03305a2d42"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#6878dd0f8e4eeb811c6b864058dcc8a2">leadFirst</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Generate a polynomial, whose first term is the leading term. <a href="#6878dd0f8e4eeb811c6b864058dcc8a2"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#ca4c8e11dea8db759b22a9e9f34d7383">firstDivisors</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get all divisors of the first term. <a href="#ca4c8e11dea8db759b22a9e9f34d7383"></a><br></td></tr> <tr><td colspan="2"><br><h2>Friends</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1BoolePolynomial.html#6e128d7cf48287a85e3841e4ab833401">BooleMonomial</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Let <a class="el" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd's decicion diagram...">BooleMonomial</a> access protected and private members. <a href="#6e128d7cf48287a85e3841e4ab833401"></a><br></td></tr> </table> <hr><a name="_details"></a><h2>Detailed Description</h2> This class wraps the underlying decicion diagram type and defines the necessary operations. <hr><h2>Member Typedef Documentation</h2> <a class="anchor" name="341de73dfb0f50b80a2da4037200c238"></a><!-- doxytag: member="polybori::BoolePolynomial::block_dlex_exp_iterator" ref="341de73dfb0f50b80a2da4037200c238" 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_1BlockDegLexOrder.html">BlockDegLexOrder</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::BoolePolynomial::block_dlex_exp_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="08b8a1de41631e78806059a177ccc2fc"></a><!-- doxytag: member="polybori::BoolePolynomial::block_dlex_iterator" ref="08b8a1de41631e78806059a177ccc2fc" 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_1BlockDegLexOrder.html">BlockDegLexOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a>> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BoolePolynomial::block_dlex_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="6210c943b9e9efc214a9c8177aa3da99"></a><!-- doxytag: member="polybori::BoolePolynomial::block_dp_asc_exp_iterator" ref="6210c943b9e9efc214a9c8177aa3da99" 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_1BlockDegRevLexAscOrder.html">BlockDegRevLexAscOrder</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::BoolePolynomial::block_dp_asc_exp_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="1658d8d6b51eb113b082cfbabd48abb0"></a><!-- doxytag: member="polybori::BoolePolynomial::block_dp_asc_iterator" ref="1658d8d6b51eb113b082cfbabd48abb0" 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_1BlockDegRevLexAscOrder.html">BlockDegRevLexAscOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a>> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BoolePolynomial::block_dp_asc_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="f2fa5410a78b654163ea2e4061c0db3b"></a><!-- doxytag: member="polybori::BoolePolynomial::bool_type" ref="f2fa5410a78b654163ea2e4061c0db3b" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#ae2c602841648d0b2b240eb3b612111e">CTypes::bool_type</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">polybori::BoolePolynomial::bool_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="4f59b6c5446abff41285e7115d3d498f"></a><!-- doxytag: member="polybori::BoolePolynomial::const_iterator" ref="4f59b6c5446abff41285e7115d3d498f" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CGenericIter.html">lex_iterator</a> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BoolePolynomial::const_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator type for iterating over all monomials. <p> </div> </div><p> <a class="anchor" name="936be21393c2a3da46b58d1d074c311e"></a><!-- doxytag: member="polybori::BoolePolynomial::constant_type" ref="936be21393c2a3da46b58d1d074c311e" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1BooleConstant.html">BooleConstant</a> <a class="el" href="classpolybori_1_1BooleConstant.html">polybori::BoolePolynomial::constant_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for wrapping integer and bool values. <p> </div> </div><p> <a class="anchor" name="87bea0bc3c938c8d3528ea2119e410f5"></a><!-- doxytag: member="polybori::BoolePolynomial::dd_type" ref="87bea0bc3c938c8d3528ea2119e410f5" 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::BoolePolynomial::dd_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="5c03532435d9bd7f2bf4a8f35db81589"></a><!-- doxytag: member="polybori::BoolePolynomial::decrement_type" ref="5c03532435d9bd7f2bf4a8f35db81589" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1binary__composition.html">binary_composition</a>< std::minus<<a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a>>, <a class="el" href="classproject__ith.html">project_ith</a><1>, <a class="el" href="structpolybori_1_1integral__constant.html">integral_constant</a><<a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a>, 1> > <a class="el" href="classpolybori_1_1binary__composition.html">polybori::BoolePolynomial::decrement_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Decrementation functional type. <p> </div> </div><p> <a class="anchor" name="322d6adf91745e245a90c25aa94250d0"></a><!-- doxytag: member="polybori::BoolePolynomial::deg_iterator" ref="322d6adf91745e245a90c25aa94250d0" 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_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a>> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BoolePolynomial::deg_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator type for iterating all monomials (dereferencing to degree). <p> </div> </div><p> <a class="anchor" name="418e0eb830b0d2c5b5f27ddcfef596e0"></a><!-- doxytag: member="polybori::BoolePolynomial::dlex_exp_iterator" ref="418e0eb830b0d2c5b5f27ddcfef596e0" 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_1DegLexOrder.html">DegLexOrder</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::BoolePolynomial::dlex_exp_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="8b8c24ea354a34a7210bd49f4902dc9a"></a><!-- doxytag: member="polybori::BoolePolynomial::dlex_iterator" ref="8b8c24ea354a34a7210bd49f4902dc9a" 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_1DegLexOrder.html">DegLexOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a>> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BoolePolynomial::dlex_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="f7f4618ce977c63cb828177cd45cfdb7"></a><!-- doxytag: member="polybori::BoolePolynomial::dp_asc_exp_iterator" ref="f7f4618ce977c63cb828177cd45cfdb7" 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_1DegRevLexAscOrder.html">DegRevLexAscOrder</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::BoolePolynomial::dp_asc_exp_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="011c617a980db93511b0d5ce72dc029e"></a><!-- doxytag: member="polybori::BoolePolynomial::dp_asc_iterator" ref="011c617a980db93511b0d5ce72dc029e" 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_1DegRevLexAscOrder.html">DegRevLexAscOrder</a>, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a>> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BoolePolynomial::dp_asc_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="08ef023bd79bff09941462baa4f878c7"></a><!-- doxytag: member="polybori::BoolePolynomial::easy_equality_property" ref="08ef023bd79bff09941462baa4f878c7" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1valid__tag.html">dd_type::easy_equality_property</a> <a class="el" href="structpolybori_1_1valid__tag.html">polybori::BoolePolynomial::easy_equality_property</a> </td> </tr> </table> </div> <div class="memdoc"> <p> The property whether the equality check is easy is inherited from dd_type. <p> </div> </div><p> <a class="anchor" name="1d547e57c0ce704bbdf9fc21f0380596"></a><!-- doxytag: member="polybori::BoolePolynomial::exp_iterator" ref="1d547e57c0ce704bbdf9fc21f0380596" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CExpIter.html">CExpIter</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_1CExpIter.html">polybori::BoolePolynomial::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="1332be7d1907b20cab34600a2be81aab"></a><!-- doxytag: member="polybori::BoolePolynomial::exp_type" ref="1332be7d1907b20cab34600a2be81aab" 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::BoolePolynomial::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="a618375c137ef1ef188836e18c64d2c1"></a><!-- doxytag: member="polybori::BoolePolynomial::filename_type" ref="a618375c137ef1ef188836e18c64d2c1" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html#6da7252e8579b44c832b6d1c343063ae">dd_type::filename_type</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html#a618375c137ef1ef188836e18c64d2c1">polybori::BoolePolynomial::filename_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for naming file for pretty print. <p> </div> </div><p> <a class="anchor" name="e3af17208b8652d1ba82958cd5c066b8"></a><!-- doxytag: member="polybori::BoolePolynomial::first_iterator" ref="e3af17208b8652d1ba82958cd5c066b8" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddFirstIter.html">dd_type::first_iterator</a> <a class="el" href="classpolybori_1_1CCuddFirstIter.html">polybori::BoolePolynomial::first_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator type for iterating over indices of the leading term. <p> </div> </div><p> <a class="anchor" name="f35f1df19ee1faf411fc3d10034464a0"></a><!-- doxytag: member="polybori::BoolePolynomial::hash_type" ref="f35f1df19ee1faf411fc3d10034464a0" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#eb07372fd3478864402ba0e30b211d5e">CTypes::hash_type</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html#f35f1df19ee1faf411fc3d10034464a0">polybori::BoolePolynomial::hash_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="2cf501ab6fe3f96105fcfaccf7b03f65"></a><!-- doxytag: member="polybori::BoolePolynomial::idx_map_type" ref="2cf501ab6fe3f96105fcfaccf7b03f65" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef std::map<<a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>, <a class="el" href="classpolybori_1_1BoolePolynomial.html#387f5d548f4eb9882bf74f4e481cd76a">idx_type</a>, <a class="el" href="classpolybori_1_1symmetric__composition.html">symmetric_composition</a>< std::less<<a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>>, <a class="el" href="classpolybori_1_1navigates.html">navigates</a><<a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>> > > <a class="el" href="classpolybori_1_1BoolePolynomial.html#2cf501ab6fe3f96105fcfaccf7b03f65">polybori::BoolePolynomial::idx_map_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for index maps. <p> </div> </div><p> <a class="anchor" name="387f5d548f4eb9882bf74f4e481cd76a"></a><!-- doxytag: member="polybori::BoolePolynomial::idx_type" ref="387f5d548f4eb9882bf74f4e481cd76a" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">CTypes::idx_type</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html#387f5d548f4eb9882bf74f4e481cd76a">polybori::BoolePolynomial::idx_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="2e3754dea62021b7cc7d17301a0a4085"></a><!-- doxytag: member="polybori::BoolePolynomial::increment_type" ref="2e3754dea62021b7cc7d17301a0a4085" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1binary__composition.html">binary_composition</a>< std::plus<<a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a>>, <a class="el" href="classproject__ith.html">project_ith</a><1>, <a class="el" href="structpolybori_1_1integral__constant.html">integral_constant</a><<a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a>, 1> > <a class="el" href="classpolybori_1_1binary__composition.html">polybori::BoolePolynomial::increment_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Incrementation functional type. <p> </div> </div><p> <a class="anchor" name="642ab9477c56f47107e0f3ac53923b5a"></a><!-- doxytag: member="polybori::BoolePolynomial::lex_exp_iterator" ref="642ab9477c56f47107e0f3ac53923b5a" 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::BoolePolynomial::lex_exp_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="ea2f60574d3e589e1602c3030bd5e868"></a><!-- doxytag: member="polybori::BoolePolynomial::lex_iterator" ref="ea2f60574d3e589e1602c3030bd5e868" 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">monom_type</a>> <a class="el" href="classpolybori_1_1CGenericIter.html">polybori::BoolePolynomial::lex_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="48297dccccf39b86032cdbb25be986d2"></a><!-- doxytag: member="polybori::BoolePolynomial::manager_ptr" ref="48297dccccf39b86032cdbb25be986d2" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CTypes.html#6178bf94c86c467475afd3a2029c6b4c">CTypes::manager_ptr</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html#48297dccccf39b86032cdbb25be986d2">polybori::BoolePolynomial::manager_ptr</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="91eb89556ec1b694c2712c10df179988"></a><!-- doxytag: member="polybori::BoolePolynomial::manager_reference" ref="91eb89556ec1b694c2712c10df179988" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classCDDManager.html">CTypes::manager_reference</a> <a class="el" href="classCDDManager.html">polybori::BoolePolynomial::manager_reference</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="89cb4781889d808a07f64edf5c80d29c"></a><!-- doxytag: member="polybori::BoolePolynomial::manager_type" ref="89cb4781889d808a07f64edf5c80d29c" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classCDDManager.html">CTypes::manager_type</a> <a class="el" href="classCDDManager.html">polybori::BoolePolynomial::manager_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="3b8240639fafff00bcd61e0696207041"></a><!-- doxytag: member="polybori::BoolePolynomial::monom_type" ref="3b8240639fafff00bcd61e0696207041" 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::BoolePolynomial::monom_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> <dl class="todo" compact><dt><b><a class="el" href="todo.html#_todo000002">Todo:</a></b></dt><dd>A more sophisticated treatment for monomials is needed. </dd></dl> Fix type for treatment of monomials </div> </div><p> <a class="anchor" name="d033d988c944f4890ebfc6de317b2fc6"></a><!-- doxytag: member="polybori::BoolePolynomial::navigator" ref="d033d988c944f4890ebfc6de317b2fc6" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html">dd_type::navigator</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html">polybori::BoolePolynomial::navigator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator-like type for navigating through diagram structure. <p> </div> </div><p> <a class="anchor" name="0808840d34622ebab5325a6ca63b6c71"></a><!-- doxytag: member="polybori::BoolePolynomial::ordered_exp_iterator" ref="0808840d34622ebab5325a6ca63b6c71" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1COrderedIter.html">COrderedIter</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_1COrderedIter.html">polybori::BoolePolynomial::ordered_exp_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator type for iterating over all exponents in ordering order. <p> </div> </div><p> <a class="anchor" name="4ccc7efb6914a9cb74076a0b669c6e83"></a><!-- doxytag: member="polybori::BoolePolynomial::ordered_iterator" ref="4ccc7efb6914a9cb74076a0b669c6e83" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1COrderedIter.html">COrderedIter</a><<a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>, <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a>> <a class="el" href="classpolybori_1_1COrderedIter.html">polybori::BoolePolynomial::ordered_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator type for iterating over all monomials in ordering order. <p> </div> </div><p> <a class="anchor" name="773245778f095b9b8a9b6940d8f7f462"></a><!-- doxytag: member="polybori::BoolePolynomial::ostream_type" ref="773245778f095b9b8a9b6940d8f7f462" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#e146a837e32358883da648ea0f83004d">CTypes::ostream_type</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html#773245778f095b9b8a9b6940d8f7f462">polybori::BoolePolynomial::ostream_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="12d6d340119c1578f9a54a53e870b30e"></a><!-- doxytag: member="polybori::BoolePolynomial::poly_vec_map_type" ref="12d6d340119c1578f9a54a53e870b30e" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef std::map<<a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>, std::vector<<a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>>, <a class="el" href="classpolybori_1_1symmetric__composition.html">symmetric_composition</a>< std::less<<a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a>>, <a class="el" href="classpolybori_1_1navigates.html">navigates</a><<a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>> > > <a class="el" href="classpolybori_1_1BoolePolynomial.html#12d6d340119c1578f9a54a53e870b30e">polybori::BoolePolynomial::poly_vec_map_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="0520db2e8d55f81515c8f42bc4ecd597"></a><!-- doxytag: member="polybori::BoolePolynomial::pretty_out_type" ref="0520db2e8d55f81515c8f42bc4ecd597" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html#f8429917ee2c4fe2e1430d29b54da631">dd_type::pretty_out_type</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html#0520db2e8d55f81515c8f42bc4ecd597">polybori::BoolePolynomial::pretty_out_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for output of pretty print. <p> </div> </div><p> <a class="anchor" name="f3e80a21ea24273fd86ec8960da4e9c3"></a><!-- doxytag: member="polybori::BoolePolynomial::ring_type" ref="f3e80a21ea24273fd86ec8960da4e9c3" 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::BoolePolynomial::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="6d59ce892902f060c65d78140c58555d"></a><!-- doxytag: member="polybori::BoolePolynomial::self" ref="6d59ce892902f060c65d78140c58555d" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html">polybori::BoolePolynomial::self</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Generic access to current type. <p> </div> </div><p> <a class="anchor" name="7cc61ccf051447e13bbf7556f71dd23f"></a><!-- doxytag: member="polybori::BoolePolynomial::set_type" ref="7cc61ccf051447e13bbf7556f71dd23f" 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::BoolePolynomial::set_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for sets of Boolean variables. <p> </div> </div><p> <a class="anchor" name="a95ed10bbb6de4d0c80ef3836e3c53aa"></a><!-- doxytag: member="polybori::BoolePolynomial::size_type" ref="a95ed10bbb6de4d0c80ef3836e3c53aa" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">CTypes::size_type</a> <a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">polybori::BoolePolynomial::size_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="fe8dacf966ec169a6a5fa2bbb7f16791"></a><!-- doxytag: member="polybori::BoolePolynomial::termlist_type" ref="fe8dacf966ec169a6a5fa2bbb7f16791" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef std::vector<<a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a>> <a class="el" href="classpolybori_1_1BoolePolynomial.html#fe8dacf966ec169a6a5fa2bbb7f16791">polybori::BoolePolynomial::termlist_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for lists of terms. <p> </div> </div><p> <a class="anchor" name="1a5292b5add47d4156541368692289c3"></a><!-- doxytag: member="polybori::BoolePolynomial::var_type" ref="1a5292b5add47d4156541368692289c3" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1BooleVariable.html">BooleVariable</a> <a class="el" href="classpolybori_1_1BooleVariable.html">polybori::BoolePolynomial::var_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Fix type for treatment of monomials. <p> </div> </div><p> <hr><h2>Constructor & Destructor Documentation</h2> <a class="anchor" name="65cae297e44fa49ac33d697c06c3e62a"></a><!-- doxytag: member="polybori::BoolePolynomial::BoolePolynomial" ref="65cae297e44fa49ac33d697c06c3e62a" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::BoolePolynomial </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="bba6499136cd0190b755ebbf20a7d414"></a><!-- doxytag: member="polybori::BoolePolynomial::BoolePolynomial" ref="bba6499136cd0190b755ebbf20a7d414" args="(constant_type)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::BoolePolynomial </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> </td> <td class="paramname"> <em>isOne</em> </td> <td> ) </td> <td><code> [explicit]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Construct polynomial from a constant value 0 or 1. <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="9108d586964665d194e2e759863dcf9e"></a><!-- doxytag: member="polybori::BoolePolynomial::BoolePolynomial" ref="9108d586964665d194e2e759863dcf9e" args="(constant_type isOne, const ring_type &ring)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::BoolePolynomial </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> </td> <td class="paramname"> <em>isOne</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 polynomial from a constant value 0 or 1. <p> </div> </div><p> <a class="anchor" name="86db4cc0ee77d308745c956dc94cbfe8"></a><!-- doxytag: member="polybori::BoolePolynomial::BoolePolynomial" ref="86db4cc0ee77d308745c956dc94cbfe8" args="(const dd_type &rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::BoolePolynomial </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Construct polynomial from decision diagram. <p> </div> </div><p> <a class="anchor" name="7fd7f3f0f4d4aab8700370783ab3fe0e"></a><!-- doxytag: member="polybori::BoolePolynomial::BoolePolynomial" ref="7fd7f3f0f4d4aab8700370783ab3fe0e" args="(const set_type &rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::BoolePolynomial </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Construct polynomial from a subset of the powerset over all variables. <p> </div> </div><p> <a class="anchor" name="df37c581ed6874a69e5a71bb7db1bf83"></a><!-- doxytag: member="polybori::BoolePolynomial::BoolePolynomial" ref="df37c581ed6874a69e5a71bb7db1bf83" args="(const exp_type &, const ring_type &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::BoolePolynomial </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> </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></td> </tr> </table> </div> <div class="memdoc"> <p> Construct polynomial from exponent vector. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00587">polybori::CDDInterface< CuddLikeZDD >::changeAssign()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, <a class="el" href="BooleExponent_8h_source.html#l00168">polybori::BooleExponent::rbegin()</a>, and <a class="el" href="BooleExponent_8h_source.html#l00171">polybori::BooleExponent::rend()</a>.</p> </div> </div><p> <a class="anchor" name="fe97bd28f09e4ccf49ad9163e4ca57f7"></a><!-- doxytag: member="polybori::BoolePolynomial::BoolePolynomial" ref="fe97bd28f09e4ccf49ad9163e4ca57f7" args="(const navigator &rhs, const ring_type &ring)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::BoolePolynomial </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> & </td> <td class="paramname"> <em>rhs</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 polynomial from navigator. <p> <p>References <a class="el" href="CCuddNavigator_8h_source.html#l00207">polybori::CCuddNavigator::isValid()</a>.</p> </div> </div><p> <a class="anchor" name="1afd5799bfea9b38f03983963d75b7ec"></a><!-- doxytag: member="polybori::BoolePolynomial::~BoolePolynomial" ref="1afd5799bfea9b38f03983963d75b7ec" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::~BoolePolynomial </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="f4613d92fe1deed9a90903cfd2d74a97"></a><!-- doxytag: member="polybori::BoolePolynomial::begin" ref="f4613d92fe1deed9a90903cfd2d74a97" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::const_iterator</a> polybori::BoolePolynomial::begin </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Start of iteration over monomials. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="nf_8cc_source.html#l01128">polybori::groebner::LexHelper::begin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01149">fetchTerms()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00256">polybori::BooleMonomial::GCDAssign()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00796">polybori::groebner::reduce_complete()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00037">polybori::groebner::GroebnerStrategy::treat_m_p_1_case()</a>.</p> </div> </div><p> <a class="anchor" name="6d6cd4a7c437d4f242618329657392d5"></a><!-- doxytag: member="polybori::BoolePolynomial::boundedLead" ref="6d6cd4a7c437d4f242618329657392d5" args="(size_type bound) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">BoolePolynomial::monom_type</a> polybori::BoolePolynomial::boundedLead </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td> <td class="paramname"> <em>bound</em> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Get leading term (using upper bound). <p> <p>References <a class="el" href="BoolePolynomial_8h_source.html#l00604">isZero()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="pbori__defs_8h_source.html#l00175">UNLIKELY</a>.</p> <p>Referenced by <a class="el" href="nf_8cc_source.html#l00286">polybori::groebner::nf3_degree_order()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00678">polybori::groebner::PolyEntry::PolyEntry()</a>, and <a class="el" href="nf_8cc_source.html#l00517">polybori::groebner::PolynomialSugar::PolynomialSugar()</a>.</p> </div> </div><p> <a class="anchor" name="9e18a4f22a9aff4b83cd029d6ea9e4a5"></a><!-- doxytag: member="polybori::BoolePolynomial::boundedLeadExp" ref="9e18a4f22a9aff4b83cd029d6ea9e4a5" args="(size_type bound) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BoolePolynomial::exp_type</a> polybori::BoolePolynomial::boundedLeadExp </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td> <td class="paramname"> <em>bound</em> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Get leading term (using upper bound). <p> <p>References <a class="el" href="BoolePolynomial_8h_source.html#l00604">isZero()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="pbori__defs_8h_source.html#l00175">UNLIKELY</a>.</p> </div> </div><p> <a class="anchor" name="84f817f1c2aacd0441ded88421830fae"></a><!-- doxytag: member="polybori::BoolePolynomial::copyDiagram" ref="84f817f1c2aacd0441ded88421830fae" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a> polybori::BoolePolynomial::copyDiagram </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> gives a copy of the diagram <p> </div> </div><p> <a class="anchor" name="7314af89d9bb81dd3a1d6758c43b99e0"></a><!-- doxytag: member="polybori::BoolePolynomial::deg" ref="7314af89d9bb81dd3a1d6758c43b99e0" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::deg </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Maximal degree of the polynomial. <p> <p> <dl class="todo" compact><dt><b><a class="el" href="todo.html#_todo000013">Todo:</a></b></dt><dd>: This is currently just brute force + caching, more efficient search may be needed. </dd></dl> <p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00179">polybori::dd_cached_degree()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00912">degBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00920">degEnd()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00610">isConstant()</a>, <a class="el" href="CDDInterface_8h_source.html#l00686">polybori::CDDInterface< CuddLikeZDD >::manager()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="BoolePolynomial_8cc_source.html#l01225">eliminationLength()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01255">eliminationLengthWithDegBound()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00149">polybori::DegRevLexAscOrder::leadExp()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00180">polybori::DegLexOrder::leadExp()</a>, <a class="el" href="nf_8cc_source.html#l00286">polybori::groebner::nf3_degree_order()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00678">polybori::groebner::PolyEntry::PolyEntry()</a>, <a class="el" href="nf_8cc_source.html#l00517">polybori::groebner::PolynomialSugar::PolynomialSugar()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00698">polybori::groebner::PolyEntry::recomputeInformation()</a>, <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>, <a class="el" href="nf_8cc_source.html#l01584">polybori::groebner::red_tail_generic()</a>, and <a class="el" href="BoolePolynomial_8cc_source.html#l00764">totalDeg()</a>.</p> </div> </div><p> <a class="anchor" name="7567f17b580ce9e6754574adf97399b5"></a><!-- doxytag: member="polybori::BoolePolynomial::degBegin" ref="7567f17b580ce9e6754574adf97399b5" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::deg_iterator</a> polybori::BoolePolynomial::degBegin </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Start of degrees. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="BoolePolynomial_8cc_source.html#l00719">deg()</a>, and <a class="el" href="BoolePolynomial_8cc_source.html#l01225">eliminationLength()</a>.</p> </div> </div><p> <a class="anchor" name="44b9889bd6187314ba38d33b6c37edcc"></a><!-- doxytag: member="polybori::BoolePolynomial::degEnd" ref="44b9889bd6187314ba38d33b6c37edcc" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::deg_iterator</a> polybori::BoolePolynomial::degEnd </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Finish of degrees. <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="BoolePolynomial_8cc_source.html#l00719">deg()</a>, and <a class="el" href="BoolePolynomial_8cc_source.html#l01225">eliminationLength()</a>.</p> </div> </div><p> <a class="anchor" name="a5e40309d6889917338db56513fa2d7f"></a><!-- doxytag: member="polybori::BoolePolynomial::diagram" ref="a5e40309d6889917338db56513fa2d7f" 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::BoolePolynomial::diagram </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Read-only access to internal decision diagramm structure. <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#l02063">polybori::groebner::addPolynomialToReductor()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00464">polybori::BooleExponent::divisors()</a>, <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="nf_8cc_source.html#l01829">polybori::groebner::do_plug_1()</a>, <a class="el" href="interpolate_8cc_source.html#l00037">polybori::groebner::gen_random_subset()</a>, <a class="el" href="groebner__alg_8h_source.html#l00163">polybori::groebner::GroebnerStrategy::GroebnerStrategy()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00134">polybori::DegRevLexAscOrder::lead()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00148">polybori::DegLexOrder::lead()</a>, <a class="el" href="BlockDegRevLexAscOrder_8cc_source.html#l00116">polybori::BlockDegRevLexAscOrder::lead()</a>, <a class="el" href="BlockDegLexOrder_8cc_source.html#l00109">polybori::BlockDegLexOrder::lead()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00149">polybori::DegRevLexAscOrder::leadExp()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00180">polybori::DegLexOrder::leadExp()</a>, <a class="el" href="LexOrder_8cc_source.html#l00245">polybori::LexOrder::leadExpIteratorBegin()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00235">polybori::DegRevLexAscOrder::leadExpIteratorBegin()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00248">polybori::DegLexOrder::leadExpIteratorBegin()</a>, <a class="el" href="BlockDegRevLexAscOrder_8cc_source.html#l00193">polybori::BlockDegRevLexAscOrder::leadExpIteratorBegin()</a>, <a class="el" href="BlockDegLexOrder_8cc_source.html#l00190">polybori::BlockDegLexOrder::leadExpIteratorBegin()</a>, <a class="el" href="LexOrder_8cc_source.html#l00222">polybori::LexOrder::leadIteratorBegin()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00205">polybori::DegRevLexAscOrder::leadIteratorBegin()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00218">polybori::DegLexOrder::leadIteratorBegin()</a>, <a class="el" href="BlockDegRevLexAscOrder_8cc_source.html#l00164">polybori::BlockDegRevLexAscOrder::leadIteratorBegin()</a>, <a class="el" href="BlockDegLexOrder_8cc_source.html#l00159">polybori::BlockDegLexOrder::leadIteratorBegin()</a>, <a class="el" href="nf_8cc_source.html#l01775">polybori::groebner::ll_red_nf_generic()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02273">polybori::groebner::map_every_x_to_x_plus_one()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00315">polybori::BooleMonomial::multiples()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00446">polybori::BooleExponent::multiples()</a>, <a class="el" href="nf_8cc_source.html#l00095">polybori::groebner::nf2()</a>, <a class="el" href="nf_8cc_source.html#l00147">polybori::groebner::nf2_short()</a>, <a class="el" href="nf_8cc_source.html#l00364">polybori::groebner::nf_delaying()</a>, <a class="el" href="nf_8cc_source.html#l00421">polybori::groebner::nf_delaying_exchanging()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00501">operator*=()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00552">operator/=()</a>, <a class="el" href="nf_8cc_source.html#l01869">polybori::groebner::plug_1_top()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01059">polybori::groebner::GroebnerStrategy::propagate_step()</a>, <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>, <a class="el" href="nf_8cc_source.html#l01584">polybori::groebner::red_tail_generic()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00971">polybori::groebner::reduce_complete()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01376">polybori::groebner::translate_indices()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00813">usedVariables()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p> </div> </div><p> <a class="anchor" name="de4e28d489c55822f45371d73f55c90e"></a><!-- doxytag: member="polybori::BoolePolynomial::eliminationLength" ref="de4e28d489c55822f45371d73f55c90e" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::eliminationLength </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00719">deg()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00912">degBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00920">degEnd()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00604">isZero()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00834">length()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00738">lmDeg()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>.</p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02579">polybori::groebner::GroebnerStrategy::addAsYouWish()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01255">eliminationLengthWithDegBound()</a>, <a class="el" href="nf_8cc_source.html#l00364">polybori::groebner::nf_delaying()</a>, and <a class="el" href="nf_8cc_source.html#l00421">polybori::groebner::nf_delaying_exchanging()</a>.</p> </div> </div><p> <a class="anchor" name="2a11fc5b77f5e180d34d3d15e8a00eab"></a><!-- doxytag: member="polybori::BoolePolynomial::eliminationLengthWithDegBound" ref="2a11fc5b77f5e180d34d3d15e8a00eab" args="(size_type garantied_deg_bound) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::eliminationLengthWithDegBound </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> </td> <td class="paramname"> <em>garantied_deg_bound</em> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00719">deg()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01225">eliminationLength()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00834">length()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00738">lmDeg()</a>, and <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>.</p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l00678">polybori::groebner::PolyEntry::PolyEntry()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00698">polybori::groebner::PolyEntry::recomputeInformation()</a>.</p> </div> </div><p> <a class="anchor" name="de8e1bc6f9ff7b83baee08fabd28edcd"></a><!-- doxytag: member="polybori::BoolePolynomial::end" ref="de8e1bc6f9ff7b83baee08fabd28edcd" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::const_iterator</a> polybori::BoolePolynomial::end </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Finish of iteration over monomials. <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="nf_8cc_source.html#l01131">polybori::groebner::LexHelper::end()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01149">fetchTerms()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00256">polybori::BooleMonomial::GCDAssign()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00796">polybori::groebner::reduce_complete()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00037">polybori::groebner::GroebnerStrategy::treat_m_p_1_case()</a>.</p> </div> </div><p> <a class="anchor" name="8b143e2b48e41d8f322c86894b5f1dca"></a><!-- doxytag: member="polybori::BoolePolynomial::endOfNavigation" ref="8b143e2b48e41d8f322c86894b5f1dca" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> polybori::BoolePolynomial::endOfNavigation </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> End of navigation marker. <p> <p>Referenced by <a class="el" href="pbori__routines__order_8h_source.html#l00251">polybori::generic_iteration< DegRevLexAscOrder, Iterator >::incrementIterator()</a>, <a class="el" href="pbori__routines__order_8h_source.html#l00208">polybori::generic_iteration< DegLexOrder, Iterator >::incrementIterator()</a>, <a class="el" href="pbori__routines__order_8h_source.html#l00244">polybori::generic_iteration< DegRevLexAscOrder, Iterator >::leadIterator()</a>, and <a class="el" href="pbori__routines__order_8h_source.html#l00202">polybori::generic_iteration< DegLexOrder, Iterator >::leadIterator()</a>.</p> </div> </div><p> <a class="anchor" name="718e35c75e2a3303aa46d64bbad4fb58"></a><!-- doxytag: member="polybori::BoolePolynomial::expBegin" ref="718e35c75e2a3303aa46d64bbad4fb58" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CExpIter.html">BoolePolynomial::exp_iterator</a> polybori::BoolePolynomial::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="BoolePolynomial_8h_source.html#l00753">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>, and <a class="el" href="groebner__alg_8cc_source.html#l01348">polybori::groebner::p2code()</a>.</p> </div> </div><p> <a class="anchor" name="92cce271ea028dd16eef37a5799e99ea"></a><!-- doxytag: member="polybori::BoolePolynomial::expEnd" ref="92cce271ea028dd16eef37a5799e99ea" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CExpIter.html">BoolePolynomial::exp_iterator</a> polybori::BoolePolynomial::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#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l01348">polybori::groebner::p2code()</a>.</p> </div> </div><p> <a class="anchor" name="d37208966468697b99d712edfc9efe3e"></a><!-- doxytag: member="polybori::BoolePolynomial::fetchTerms" ref="d37208966468697b99d712edfc9efe3e" args="(termlist_type &) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">void polybori::BoolePolynomial::fetchTerms </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BoolePolynomial.html#fe8dacf966ec169a6a5fa2bbb7f16791">termlist_type</a> & </td> <td class="paramname"> <em>theOutputList</em> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Get list of all terms. <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00960">begin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00968">end()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00834">length()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l01161">terms()</a>.</p> </div> </div><p> <a class="anchor" name="e3fca6ea42268282c18c5e1d181c2097"></a><!-- doxytag: member="polybori::BoolePolynomial::firstBegin" ref="e3fca6ea42268282c18c5e1d181c2097" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddFirstIter.html">BoolePolynomial::first_iterator</a> polybori::BoolePolynomial::firstBegin </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Start of first term. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00746">polybori::CDDInterface< CuddLikeZDD >::firstBegin()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00675">firstDivisors()</a>, <a class="el" href="LexOrder_8cc_source.html#l00178">polybori::LexOrder::lead()</a>, <a class="el" href="LexOrder_8cc_source.html#l00202">polybori::LexOrder::leadExp()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00755">lexLmDeg()</a>, and <a class="el" href="BoolePolynomial_8h_source.html#l00905">reducibleBy()</a>.</p> </div> </div><p> <a class="anchor" name="ca4c8e11dea8db759b22a9e9f34d7383"></a><!-- doxytag: member="polybori::BoolePolynomial::firstDivisors" ref="ca4c8e11dea8db759b22a9e9f34d7383" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">BoolePolynomial::set_type</a> polybori::BoolePolynomial::firstDivisors </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [protected]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get all divisors of the first term. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00811">polybori::CDDInterface< CuddLikeZDD >::emptiness()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00887">firstBegin()</a>, <a class="el" href="CDDInterface_8h_source.html#l00796">polybori::CDDInterface< CuddLikeZDD >::firstDivisors()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00895">firstEnd()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00738">lmDeg()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, <a class="el" href="pbori__algo_8h_source.html#l00290">polybori::reversed_inter_copy()</a>, and <a class="el" href="BoolePolynomial_8cc_source.html#l01161">terms()</a>.</p> </div> </div><p> <a class="anchor" name="2f358f22123340b8c4ecd5be236f2446"></a><!-- doxytag: member="polybori::BoolePolynomial::firstEnd" ref="2f358f22123340b8c4ecd5be236f2446" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddFirstIter.html">BoolePolynomial::first_iterator</a> polybori::BoolePolynomial::firstEnd </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Finish of first term. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00751">polybori::CDDInterface< CuddLikeZDD >::firstEnd()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00675">firstDivisors()</a>, <a class="el" href="LexOrder_8cc_source.html#l00178">polybori::LexOrder::lead()</a>, <a class="el" href="LexOrder_8cc_source.html#l00202">polybori::LexOrder::leadExp()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00755">lexLmDeg()</a>, and <a class="el" href="BoolePolynomial_8h_source.html#l00905">reducibleBy()</a>.</p> </div> </div><p> <a class="anchor" name="16b5f400bc07e28ac6f98feaa72417bb"></a><!-- doxytag: member="polybori::BoolePolynomial::firstTerm" ref="16b5f400bc07e28ac6f98feaa72417bb" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">BoolePolynomial::monom_type</a> polybori::BoolePolynomial::firstTerm </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Get of first lexicographic term. <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="2853158658ae5cbc85c60a5e11742638"></a><!-- doxytag: member="polybori::BoolePolynomial::genericBegin" ref="2853158658ae5cbc85c60a5e11742638" args="(block_dp_asc_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::block_dp_asc_iterator</a> polybori::BoolePolynomial::genericBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1block__dp__asc__tag.html">block_dp_asc_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="bbe4b12e200c0019ce429ac04a5bc42c"></a><!-- doxytag: member="polybori::BoolePolynomial::genericBegin" ref="bbe4b12e200c0019ce429ac04a5bc42c" args="(block_dlex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::block_dlex_iterator</a> polybori::BoolePolynomial::genericBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1block__dlex__tag.html">block_dlex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="5fe0f829547fa65155afa79e7e4556f5"></a><!-- doxytag: member="polybori::BoolePolynomial::genericBegin" ref="5fe0f829547fa65155afa79e7e4556f5" args="(dp_asc_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::dp_asc_iterator</a> polybori::BoolePolynomial::genericBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1dp__asc__tag.html">dp_asc_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="3c2e74437e396910282d37cefb6ff9ee"></a><!-- doxytag: member="polybori::BoolePolynomial::genericBegin" ref="3c2e74437e396910282d37cefb6ff9ee" args="(dlex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::dlex_iterator</a> polybori::BoolePolynomial::genericBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1dlex__tag.html">dlex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="c79895bdcbef9442b6806f43b1ede89b"></a><!-- doxytag: member="polybori::BoolePolynomial::genericBegin" ref="c79895bdcbef9442b6806f43b1ede89b" args="(lex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::lex_iterator</a> polybori::BoolePolynomial::genericBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="a9f17a419d99a49a5fc9b231478765c9"></a><!-- doxytag: member="polybori::BoolePolynomial::genericEnd" ref="a9f17a419d99a49a5fc9b231478765c9" args="(block_dp_asc_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::block_dp_asc_iterator</a> polybori::BoolePolynomial::genericEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1block__dp__asc__tag.html">block_dp_asc_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="2f9581e1c0b6a81d541fb52c902d1688"></a><!-- doxytag: member="polybori::BoolePolynomial::genericEnd" ref="2f9581e1c0b6a81d541fb52c902d1688" args="(block_dlex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::block_dlex_iterator</a> polybori::BoolePolynomial::genericEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1block__dlex__tag.html">block_dlex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="8de38727d433963ec710f0b76da6e6eb"></a><!-- doxytag: member="polybori::BoolePolynomial::genericEnd" ref="8de38727d433963ec710f0b76da6e6eb" args="(dp_asc_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::dp_asc_iterator</a> polybori::BoolePolynomial::genericEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1dp__asc__tag.html">dp_asc_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="2bc6f064847bff10446f5da34838e86f"></a><!-- doxytag: member="polybori::BoolePolynomial::genericEnd" ref="2bc6f064847bff10446f5da34838e86f" args="(dlex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::dlex_iterator</a> polybori::BoolePolynomial::genericEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1dlex__tag.html">dlex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="74ca2815dc5819887bd785b0e3e3e459"></a><!-- doxytag: member="polybori::BoolePolynomial::genericEnd" ref="74ca2815dc5819887bd785b0e3e3e459" args="(lex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::lex_iterator</a> polybori::BoolePolynomial::genericEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="e67244c03b4713cb02598fc83fe73185"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpBegin" ref="e67244c03b4713cb02598fc83fe73185" args="(block_dp_asc_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::block_dp_asc_exp_iterator</a> polybori::BoolePolynomial::genericExpBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1block__dp__asc__tag.html">block_dp_asc_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="0b1068267292baf85490c807cc9134a3"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpBegin" ref="0b1068267292baf85490c807cc9134a3" args="(block_dlex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::block_dlex_exp_iterator</a> polybori::BoolePolynomial::genericExpBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1block__dlex__tag.html">block_dlex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="2c3d508a5ec9289a9ee9f4857dc79b22"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpBegin" ref="2c3d508a5ec9289a9ee9f4857dc79b22" args="(dp_asc_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::dp_asc_exp_iterator</a> polybori::BoolePolynomial::genericExpBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1dp__asc__tag.html">dp_asc_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="7bb5b4f5c22d4932fb8566284a9cc223"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpBegin" ref="7bb5b4f5c22d4932fb8566284a9cc223" args="(dlex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::dlex_exp_iterator</a> polybori::BoolePolynomial::genericExpBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1dlex__tag.html">dlex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="d818fd37c4367dae6ff6daee541d8449"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpBegin" ref="d818fd37c4367dae6ff6daee541d8449" args="(lex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::lex_exp_iterator</a> polybori::BoolePolynomial::genericExpBegin </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="a0ae98c66d5faee23b1c3be0c8a0b799"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpEnd" ref="a0ae98c66d5faee23b1c3be0c8a0b799" args="(block_dp_asc_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::block_dp_asc_exp_iterator</a> polybori::BoolePolynomial::genericExpEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1block__dp__asc__tag.html">block_dp_asc_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="e859f8e311c83f8ad5cef41bdfcaff39"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpEnd" ref="e859f8e311c83f8ad5cef41bdfcaff39" args="(block_dlex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::block_dlex_exp_iterator</a> polybori::BoolePolynomial::genericExpEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1block__dlex__tag.html">block_dlex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="506d39d44e8a161d9ac495aeb01b5e69"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpEnd" ref="506d39d44e8a161d9ac495aeb01b5e69" args="(dp_asc_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::dp_asc_exp_iterator</a> polybori::BoolePolynomial::genericExpEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1dp__asc__tag.html">dp_asc_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="8c1a37120d03c0b286a344514c5abf31"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpEnd" ref="8c1a37120d03c0b286a344514c5abf31" args="(dlex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::dlex_exp_iterator</a> polybori::BoolePolynomial::genericExpEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1dlex__tag.html">dlex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="08282139706657a01f2721a132d53aa9"></a><!-- doxytag: member="polybori::BoolePolynomial::genericExpEnd" ref="08282139706657a01f2721a132d53aa9" args="(lex_tag) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CGenericIter.html">BoolePolynomial::lex_exp_iterator</a> polybori::BoolePolynomial::genericExpEnd </td> <td>(</td> <td class="paramtype"><a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a> </td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="3ff3dc281d1352d8adccf6f91f738e39"></a><!-- doxytag: member="polybori::BoolePolynomial::gradedPart" ref="3ff3dc281d1352d8adccf6f91f738e39" args="(size_type deg) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> polybori::BoolePolynomial::gradedPart </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">size_type</a> </td> <td class="paramname"> <em>deg</em> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Get part of given degree. <p> <p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00886">polybori::dd_graded_part()</a>, <a class="el" href="CDDInterface_8h_source.html#l00686">polybori::CDDInterface< CuddLikeZDD >::manager()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="nf_8cc_source.html#l00286">polybori::groebner::nf3_degree_order()</a>.</p> </div> </div><p> <a class="anchor" name="13815791da65feedcbf725162d0aa20a"></a><!-- doxytag: member="polybori::BoolePolynomial::hasConstantPart" ref="13815791da65feedcbf725162d0aa20a" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::hasConstantPart </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether polynomial has term one. <p> <p>Referenced by <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="800406d4fbf4ac5370c1d89bdb16083c"></a><!-- doxytag: member="polybori::BoolePolynomial::hash" ref="800406d4fbf4ac5370c1d89bdb16083c" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f35f1df19ee1faf411fc3d10034464a0">hash_type</a> polybori::BoolePolynomial::hash </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get unique hash value (may <a class="el" href="classchange.html" title="Accessing .change().">change</a> from run to run). <p> </div> </div><p> <a class="anchor" name="48ce9d3984147a0c8c263f03305a2d42"></a><!-- doxytag: member="polybori::BoolePolynomial::internalDiagram" ref="48ce9d3984147a0c8c263f03305a2d42" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">dd_type</a>& polybori::BoolePolynomial::internalDiagram </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td><code> [inline, protected]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Access to internal decision diagramm structure. <p> <p>Referenced by <a class="el" href="BooleMonomial_8cc_source.html#l00124">polybori::BooleMonomial::changeAssign()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00143">polybori::BooleMonomial::operator*=()</a>, and <a class="el" href="BooleMonomial_8cc_source.html#l00181">polybori::BooleMonomial::operator/=()</a>.</p> </div> </div><p> <a class="anchor" name="b171f5956d5cdbb66e719f31263a2af9"></a><!-- doxytag: member="polybori::BoolePolynomial::isConstant" ref="b171f5956d5cdbb66e719f31263a2af9" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::isConstant </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether polynomial is zero or one. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00719">deg()</a>, <a class="el" href="lexbuckets_8h_source.html#l00032">polybori::groebner::LexBucket::LexBucket()</a>, <a class="el" href="nf_8cc_source.html#l01775">polybori::groebner::ll_red_nf_generic()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01517">polybori::groebner::polynomial_in_one_block()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01376">polybori::groebner::translate_indices()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00103">polybori::groebner::LexBucket::updateTailStart()</a>, and <a class="el" href="lexbuckets_8cc_source.html#l00040">polybori::groebner::LexBucket::value()</a>.</p> </div> </div><p> <a class="anchor" name="e85d40acf57ec4446514ae6ddab9c467"></a><!-- doxytag: member="polybori::BoolePolynomial::isOne" ref="e85d40acf57ec4446514ae6ddab9c467" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::isOne </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether polynomial is constant one. <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#l01523">polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02313">polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed()</a>, <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00256">polybori::BooleMonomial::GCDAssign()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00203">polybori::BooleMonomial::LCMDeg()</a>, <a class="el" href="LexOrder_8cc_source.html#l00202">polybori::LexOrder::leadExp()</a>, <a class="el" href="lexbuckets_8h_source.html#l00032">polybori::groebner::LexBucket::LexBucket()</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="lexbuckets_8cc_source.html#l00061">polybori::groebner::LexBucket::operator+=()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00844">print()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02648">polybori::groebner::GroebnerStrategy::symmGB_F2()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00351">polybori::groebner::LiteralFactorization::trivial()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00040">polybori::groebner::LexBucket::value()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p> </div> </div><p> <a class="anchor" name="2885c7c8578feeeb77bb4fa4eb7866e0"></a><!-- doxytag: member="polybori::BoolePolynomial::isPair" ref="2885c7c8578feeeb77bb4fa4eb7866e0" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::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="3688c30c06b85a46e8f847087be5bc77"></a><!-- doxytag: member="polybori::BoolePolynomial::isSingleton" ref="3688c30c06b85a46e8f847087be5bc77" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::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="864ddb70922d192548b84fa47195a886"></a><!-- doxytag: member="polybori::BoolePolynomial::isSingletonOrPair" ref="864ddb70922d192548b84fa47195a886" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::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="fb4f4c542c9f279c8caa0c9e6e463f2b"></a><!-- doxytag: member="polybori::BoolePolynomial::isZero" ref="fb4f4c542c9f279c8caa0c9e6e463f2b" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::isZero </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether polynomial is constant zero. <p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02484">polybori::groebner::GroebnerStrategy::addGeneratorTrySplit()</a>, <a class="el" href="nf_8h_source.html#l00058">polybori::groebner::SlimgbReduction< variant >::addPolynomial()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02013">polybori::groebner::PairManager::appendHiddenGenerators()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00641">boundedLead()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00663">boundedLeadExp()</a>, <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01225">eliminationLength()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00256">polybori::BooleMonomial::GCDAssign()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00083">polybori::groebner::LexBucket::increaseTailStart()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00056">polybori::groebner::LexBucket::isZero()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00203">polybori::BooleMonomial::LCMDeg()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00619">lead()</a>, <a class="el" href="LexOrder_8cc_source.html#l00202">polybori::LexOrder::leadExp()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00029">polybori::groebner::LexBucket::leadExp()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00652">leadExp()</a>, <a class="el" href="lexbuckets_8h_source.html#l00032">polybori::groebner::LexBucket::LexBucket()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00630">lexLead()</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#l00451">polybori::groebner::PairManager::nextSpoly()</a>, <a class="el" href="nf_8cc_source.html#l02529">polybori::groebner::GroebnerStrategy::nf()</a>, <a class="el" href="nf_8cc_source.html#l00095">polybori::groebner::nf2()</a>, <a class="el" href="nf_8cc_source.html#l00147">polybori::groebner::nf2_short()</a>, <a class="el" href="nf_8cc_source.html#l00199">polybori::groebner::nf3()</a>, <a class="el" href="nf_8cc_source.html#l00286">polybori::groebner::nf3_degree_order()</a>, <a class="el" href="nf_8cc_source.html#l00260">polybori::groebner::nf3_no_deg_growth()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00061">polybori::groebner::LexBucket::operator+=()</a>, <a class="el" href="BooleMonomial_8cc_source.html#l00155">polybori::BooleMonomial::operator/=()</a>, <a class="el" href="nf_8cc_source.html#l00517">polybori::groebner::PolynomialSugar::PolynomialSugar()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00844">print()</a>, <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>, <a class="el" href="nf_8cc_source.html#l01584">polybori::groebner::red_tail_generic()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02562">polybori::groebner::red_tail_in_last_block()</a>, <a class="el" href="nf_8cc_source.html#l01744">polybori::groebner::red_tail_self_tuning()</a>, <a class="el" href="nf_8cc_source.html#l01734">polybori::groebner::red_tail_short()</a>, <a class="el" href="nf_8cc_source.html#l00457">polybori::groebner::SlimgbReduction< variant >::reduce()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00905">reducibleBy()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p> </div> </div><p> <a class="anchor" name="67cb2a5617e37c17683b730411964186"></a><!-- doxytag: member="polybori::BoolePolynomial::lead" ref="67cb2a5617e37c17683b730411964186" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">BoolePolynomial::monom_type</a> polybori::BoolePolynomial::lead </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Get leading term. <p> <p>References <a class="el" href="BoolePolynomial_8h_source.html#l00604">isZero()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="pbori__defs_8h_source.html#l00175">UNLIKELY</a>.</p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02063">polybori::groebner::addPolynomialToReductor()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00738">lmDeg()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00451">polybori::groebner::PairManager::nextSpoly()</a>, <a class="el" href="nf_8cc_source.html#l02529">polybori::groebner::GroebnerStrategy::nf()</a>, <a class="el" href="nf_8cc_source.html#l00199">polybori::groebner::nf3()</a>, <a class="el" href="nf_8cc_source.html#l00326">polybori::groebner::nf3_db()</a>, <a class="el" href="nf_8cc_source.html#l00286">polybori::groebner::nf3_degree_order()</a>, <a class="el" href="nf_8cc_source.html#l00260">polybori::groebner::nf3_no_deg_growth()</a>, <a class="el" href="nf_8cc_source.html#l00345">polybori::groebner::nf3_short()</a>, <a class="el" href="nf_8cc_source.html#l00421">polybori::groebner::nf_delaying_exchanging()</a>, <a class="el" href="nf_8h_source.html#l00036">polybori::groebner::LMLessCompare::operator()()</a>, <a class="el" href="nf_8cc_source.html#l00517">polybori::groebner::PolynomialSugar::PolynomialSugar()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00698">polybori::groebner::PolyEntry::recomputeInformation()</a>, <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>, <a class="el" href="nf_8cc_source.html#l01584">polybori::groebner::red_tail_generic()</a>, <a class="el" href="nf_8cc_source.html#l01744">polybori::groebner::red_tail_self_tuning()</a>, <a class="el" href="nf_8cc_source.html#l01734">polybori::groebner::red_tail_short()</a>, <a class="el" href="nf_8cc_source.html#l00457">polybori::groebner::SlimgbReduction< variant >::reduce()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00777">polybori::groebner::reduce_by_binom()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00796">polybori::groebner::reduce_complete()</a>, <a class="el" href="nf_8cc_source.html#l01067">polybori::groebner::select1()</a>, <a class="el" href="pbori__algorithms_8h_source.html#l00126">polybori::spoly()</a>, and <a class="el" href="nf_8cc_source.html#l00821">polybori::groebner::sum_size()</a>.</p> </div> </div><p> <a class="anchor" name="db45be859816b10898fca12e4a94a785"></a><!-- doxytag: member="polybori::BoolePolynomial::leadExp" ref="db45be859816b10898fca12e4a94a785" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BoolePolynomial::exp_type</a> polybori::BoolePolynomial::leadExp </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Get leading term. <p> <p>References <a class="el" href="BoolePolynomial_8h_source.html#l00604">isZero()</a>, <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="pbori__defs_8h_source.html#l00175">UNLIKELY</a>.</p> <p>Referenced by <a class="el" href="nf_8cc_source.html#l00561">polybori::groebner::PolynomialSugar::add()</a>, <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#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="lexbuckets_8cc_source.html#l00029">polybori::groebner::LexBucket::leadExp()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00358">polybori::groebner::LiteralFactorization::occursAsLeadOfFactor()</a>, and <a class="el" href="nf_8cc_source.html#l00517">polybori::groebner::PolynomialSugar::PolynomialSugar()</a>.</p> </div> </div><p> <a class="anchor" name="6878dd0f8e4eeb811c6b864058dcc8a2"></a><!-- doxytag: member="polybori::BoolePolynomial::leadFirst" ref="6878dd0f8e4eeb811c6b864058dcc8a2" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> polybori::BoolePolynomial::leadFirst </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [protected]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Generate a polynomial, whose first term is the leading term. <p> <p>References <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00738">lmDeg()</a>, and <a class="el" href="BoolePolynomial_8cc_source.html#l00710">lmStableHash()</a>.</p> </div> </div><p> <a class="anchor" name="f81756b2bfcc5e14003adfa0927f5b9a"></a><!-- doxytag: member="polybori::BoolePolynomial::length" ref="f81756b2bfcc5e14003adfa0927f5b9a" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::length </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Returns number of terms. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00833">polybori::CDDInterface< CuddLikeZDD >::length()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="nf_8cc_source.html#l00561">polybori::groebner::PolynomialSugar::add()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01225">eliminationLength()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01255">eliminationLengthWithDegBound()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01149">fetchTerms()</a>, <a class="el" href="nf_8cc_source.html#l00364">polybori::groebner::nf_delaying()</a>, <a class="el" href="nf_8cc_source.html#l00421">polybori::groebner::nf_delaying_exchanging()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00678">polybori::groebner::PolyEntry::PolyEntry()</a>, <a class="el" href="nf_8cc_source.html#l00517">polybori::groebner::PolynomialSugar::PolynomialSugar()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00698">polybori::groebner::PolyEntry::recomputeInformation()</a>, <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>, <a class="el" href="nf_8cc_source.html#l01584">polybori::groebner::red_tail_generic()</a>, <a class="el" href="nf_8cc_source.html#l01744">polybori::groebner::red_tail_self_tuning()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00777">polybori::groebner::reduce_by_binom()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00037">polybori::groebner::GroebnerStrategy::treat_m_p_1_case()</a>.</p> </div> </div><p> <a class="anchor" name="ad7cd011a2ceba6a3ecae91f33f24b70"></a><!-- doxytag: member="polybori::BoolePolynomial::lexLead" ref="ad7cd011a2ceba6a3ecae91f33f24b70" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">BoolePolynomial::monom_type</a> polybori::BoolePolynomial::lexLead </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Get leading term w.r.t. lexicographical order. <p> <p>References <a class="el" href="BoolePolynomial_8h_source.html#l00604">isZero()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="pbori__defs_8h_source.html#l00175">UNLIKELY</a>.</p> </div> </div><p> <a class="anchor" name="f29c0cdb7d3c66e3c7447af7f55619b6"></a><!-- doxytag: member="polybori::BoolePolynomial::lexLmDeg" ref="f29c0cdb7d3c66e3c7447af7f55619b6" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::lexLmDeg </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Degree of the leading term w.r.t. lexicographical ordering. <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00887">firstBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00895">firstEnd()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="LexOrder_8cc_source.html#l00178">polybori::LexOrder::lead()</a>, and <a class="el" href="LexOrder_8cc_source.html#l00202">polybori::LexOrder::leadExp()</a>.</p> </div> </div><p> <a class="anchor" name="0ae236d120fbd849fb160d06ada1c34f"></a><!-- doxytag: member="polybori::BoolePolynomial::lmDeg" ref="0ae236d120fbd849fb160d06ada1c34f" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::lmDeg </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Degree of the leading term. <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00619">lead()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01172">leadFirst()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="literal__factorization_8cc_source.html#l00302">polybori::groebner::common_literal_factors_deg()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01225">eliminationLength()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01255">eliminationLengthWithDegBound()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00675">firstDivisors()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00774">lmTotalDeg()</a>, <a class="el" href="nf_8cc_source.html#l00326">polybori::groebner::nf3_db()</a>, <a class="el" href="nf_8cc_source.html#l00286">polybori::groebner::nf3_degree_order()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00358">polybori::groebner::LiteralFactorization::occursAsLeadOfFactor()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00698">polybori::groebner::PolyEntry::recomputeInformation()</a>.</p> </div> </div><p> <a class="anchor" name="ff8cb1483a75f5cfa739c81f9f5172f1"></a><!-- doxytag: member="polybori::BoolePolynomial::lmDivisors" ref="ff8cb1483a75f5cfa739c81f9f5172f1" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> polybori::BoolePolynomial::lmDivisors </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get all divisors of the leading term. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00796">polybori::CDDInterface< CuddLikeZDD >::firstDivisors()</a>.</p> </div> </div><p> <a class="anchor" name="2341a9539acd7e9bd76f2a87cc01c6d6"></a><!-- doxytag: member="polybori::BoolePolynomial::lmStableHash" ref="2341a9539acd7e9bd76f2a87cc01c6d6" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f35f1df19ee1faf411fc3d10034464a0">BoolePolynomial::hash_type</a> polybori::BoolePolynomial::lmStableHash </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Hash value of the leading term. <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l01172">leadFirst()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="pbori__routines__hash_8h_source.html#l00095">polybori::stable_first_hash_range()</a>.</p> </div> </div><p> <a class="anchor" name="2ad5a90c7bfa980d15a7ca6005baad1e"></a><!-- doxytag: member="polybori::BoolePolynomial::lmTotalDeg" ref="2ad5a90c7bfa980d15a7ca6005baad1e" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::lmTotalDeg </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Total degree of the leading term. <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00738">lmDeg()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="f922cc6c7798bfee714a6614165b1e8b"></a><!-- doxytag: member="polybori::BoolePolynomial::navigation" ref="f922cc6c7798bfee714a6614165b1e8b" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> polybori::BoolePolynomial::navigation </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Navigate through structure. <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#l02063">polybori::groebner::addPolynomialToReductor()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00960">begin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00719">deg()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00912">degBegin()</a>, <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="nf_8cc_source.html#l01829">polybori::groebner::do_plug_1()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00977">expBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00993">genericBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01069">genericExpBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00784">gradedPart()</a>, <a class="el" href="pbori__routines__order_8h_source.html#l00251">polybori::generic_iteration< DegRevLexAscOrder, Iterator >::incrementIterator()</a>, <a class="el" href="pbori__routines__order_8h_source.html#l00208">polybori::generic_iteration< DegLexOrder, Iterator >::incrementIterator()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00134">polybori::DegRevLexAscOrder::lead()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00148">polybori::DegLexOrder::lead()</a>, <a class="el" href="BlockDegRevLexAscOrder_8cc_source.html#l00116">polybori::BlockDegRevLexAscOrder::lead()</a>, <a class="el" href="BlockDegLexOrder_8cc_source.html#l00109">polybori::BlockDegLexOrder::lead()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00149">polybori::DegRevLexAscOrder::leadExp()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00180">polybori::DegLexOrder::leadExp()</a>, <a class="el" href="LexOrder_8cc_source.html#l00245">polybori::LexOrder::leadExpIteratorBegin()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00235">polybori::DegRevLexAscOrder::leadExpIteratorBegin()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00248">polybori::DegLexOrder::leadExpIteratorBegin()</a>, <a class="el" href="BlockDegRevLexAscOrder_8cc_source.html#l00193">polybori::BlockDegRevLexAscOrder::leadExpIteratorBegin()</a>, <a class="el" href="BlockDegLexOrder_8cc_source.html#l00190">polybori::BlockDegLexOrder::leadExpIteratorBegin()</a>, <a class="el" href="pbori__routines__order_8h_source.html#l00244">polybori::generic_iteration< DegRevLexAscOrder, Iterator >::leadIterator()</a>, <a class="el" href="pbori__routines__order_8h_source.html#l00202">polybori::generic_iteration< DegLexOrder, Iterator >::leadIterator()</a>, <a class="el" href="pbori__routines__order_8h_source.html#l00178">polybori::generic_iteration< LexOrder, Iterator >::leadIterator()</a>, <a class="el" href="LexOrder_8cc_source.html#l00222">polybori::LexOrder::leadIteratorBegin()</a>, <a class="el" href="DegRevLexAscOrder_8cc_source.html#l00205">polybori::DegRevLexAscOrder::leadIteratorBegin()</a>, <a class="el" href="DegLexOrder_8cc_source.html#l00218">polybori::DegLexOrder::leadIteratorBegin()</a>, <a class="el" href="BlockDegRevLexAscOrder_8cc_source.html#l00164">polybori::BlockDegRevLexAscOrder::leadIteratorBegin()</a>, <a class="el" href="BlockDegLexOrder_8cc_source.html#l00159">polybori::BlockDegLexOrder::leadIteratorBegin()</a>, <a class="el" href="nf_8cc_source.html#l01775">polybori::groebner::ll_red_nf_generic()</a>, <a class="el" href="nf_8cc_source.html#l00364">polybori::groebner::nf_delaying()</a>, <a class="el" href="nf_8cc_source.html#l00421">polybori::groebner::nf_delaying_exchanging()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00501">operator*=()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00552">operator/=()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02562">polybori::groebner::red_tail_in_last_block()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01376">polybori::groebner::translate_indices()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00103">polybori::groebner::LexBucket::updateTailStart()</a>, and <a class="el" href="lexbuckets_8cc_source.html#l00022">polybori::groebner::without_prior_part()</a>.</p> </div> </div><p> <a class="anchor" name="704a7532e816594702505d48b3e2ef80"></a><!-- doxytag: member="polybori::BoolePolynomial::nNodes" ref="704a7532e816594702505d48b3e2ef80" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::nNodes </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Number of nodes in the decision diagram. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00633">polybori::CDDInterface< CuddLikeZDD >::nNodes()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="nf_8cc_source.html#l00364">polybori::groebner::nf_delaying()</a>, and <a class="el" href="nf_8cc_source.html#l00421">polybori::groebner::nf_delaying_exchanging()</a>.</p> </div> </div><p> <a class="anchor" name="f3ce733993101f31a7dbd5a4a11420bb"></a><!-- doxytag: member="polybori::BoolePolynomial::nUsedVariables" ref="f3ce733993101f31a7dbd5a4a11420bb" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::nUsedVariables </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Number of variables of the polynomial. <p> <p>References <a class="el" href="CDDInterface_8h_source.html#l00693">polybori::CDDInterface< CuddLikeZDD >::nSupport()</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#l01791">polybori::groebner::GroebnerStrategy::treatVariablePairs()</a>.</p> </div> </div><p> <a class="anchor" name="d932485cffe8b67d6a06b6bf4d018d5a"></a><!-- doxytag: member="polybori::BoolePolynomial::operator set_type" ref="d932485cffe8b67d6a06b6bf4d018d5a" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::BoolePolynomial::operator <a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Casting operator to Boolean set. <p> </div> </div><p> <a class="anchor" name="58466553efa10fe233417d74e92e1dd0"></a><!-- doxytag: member="polybori::BoolePolynomial::operator!=" ref="58466553efa10fe233417d74e92e1dd0" args="(constant_type rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::operator!= </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="bc33f178f342dbc73510e4111eaa107d"></a><!-- doxytag: member="polybori::BoolePolynomial::operator!=" ref="bc33f178f342dbc73510e4111eaa107d" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::operator!= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.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="fa7153dd84ac056e8477fc2c671c4ab5"></a><!-- doxytag: member="polybori::BoolePolynomial::operator%=" ref="fa7153dd84ac056e8477fc2c671c4ab5" args="(constant_type rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>& polybori::BoolePolynomial::operator%= </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</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="2b39e36c457fe83ec05775205b71ed47"></a><!-- doxytag: member="polybori::BoolePolynomial::operator%=" ref="2b39e36c457fe83ec05775205b71ed47" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>& polybori::BoolePolynomial::operator%= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.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="204f76c2c479cdfe404994d4e8b87d72"></a><!-- doxytag: member="polybori::BoolePolynomial::operator%=" ref="204f76c2c479cdfe404994d4e8b87d72" args="(const monom_type &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator%= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, <a class="el" href="CDDInterface_8h_source.html#l00470">polybori::CDDInterface< CuddLikeZDD >::diffAssign()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="CDDInterface_8h_source.html#l00699">polybori::CDDInterface< CuddLikeZDD >::support()</a>.</p> </div> </div><p> <a class="anchor" name="e5a7fb16866faa59f3def15442d75c06"></a><!-- doxytag: member="polybori::BoolePolynomial::operator*=" ref="e5a7fb16866faa59f3def15442d75c06" args="(constant_type rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>& polybori::BoolePolynomial::operator*= </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</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="ea74e47b0026bcfd5fcdf1d0f257f060"></a><!-- doxytag: member="polybori::BoolePolynomial::operator*=" ref="ea74e47b0026bcfd5fcdf1d0f257f060" args="(const self &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator*= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00291">polybori::dd_multiply_recursively()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00773">diagram()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="f8e7c9c63f6beeb4f044f76b36157532"></a><!-- doxytag: member="polybori::BoolePolynomial::operator*=" ref="f8e7c9c63f6beeb4f044f76b36157532" args="(const exp_type &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator*= </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></td> </tr> </table> </div> <div class="memdoc"> <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#l00484">polybori::dd_multiply_recursively_exp()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00773">diagram()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">polybori::BooleExponent::end()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="03d81194690fbadcf9ebcd464c8129c8"></a><!-- doxytag: member="polybori::BoolePolynomial::operator*=" ref="03d81194690fbadcf9ebcd464c8129c8" args="(const monom_type &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator*= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00291">polybori::dd_multiply_recursively()</a>, <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00773">diagram()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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> </div> </div><p> <a class="anchor" name="475d6aaeeaea002211949b82ace7186d"></a><!-- doxytag: member="polybori::BoolePolynomial::operator+=" ref="475d6aaeeaea002211949b82ace7186d" args="(constant_type rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>& polybori::BoolePolynomial::operator+= </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</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="ce2078d139773904544816bea75868a7"></a><!-- doxytag: member="polybori::BoolePolynomial::operator+=" ref="ce2078d139773904544816bea75868a7" args="(const self &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator+= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="13ad55948c5b1f7f4a773ea31bbea770"></a><!-- doxytag: member="polybori::BoolePolynomial::operator-" ref="13ad55948c5b1f7f4a773ea31bbea770" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>& polybori::BoolePolynomial::operator- </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="b8e091abc2149b44a4cb107de0071181"></a><!-- doxytag: member="polybori::BoolePolynomial::operator-=" ref="b8e091abc2149b44a4cb107de0071181" args="(const RHSType &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class RHSType > </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>& polybori::BoolePolynomial::operator-= </td> <td>(</td> <td class="paramtype">const RHSType & </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="3cf498847ee6244f34ab98ee39ffb0d3"></a><!-- doxytag: member="polybori::BoolePolynomial::operator/=" ref="3cf498847ee6244f34ab98ee39ffb0d3" args="(constant_type rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator/= </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="pbori__defs_8h_source.html#l00175">UNLIKELY</a>.</p> </div> </div><p> <a class="anchor" name="0387e98c539428253972ddab7112da0c"></a><!-- doxytag: member="polybori::BoolePolynomial::operator/=" ref="0387e98c539428253972ddab7112da0c" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator/= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00552">operator/=()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="pbori__defs_8h_source.html#l00175">UNLIKELY</a>.</p> </div> </div><p> <a class="anchor" name="684a7b76354ca9eb76db9a46a8c15bb1"></a><!-- doxytag: member="polybori::BoolePolynomial::operator/=" ref="684a7b76354ca9eb76db9a46a8c15bb1" args="(const exp_type &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator/= </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></td> </tr> </table> </div> <div class="memdoc"> <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#l00790">polybori::dd_divide_recursively_exp()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00773">diagram()</a>, <a class="el" href="BooleExponent_8h_source.html#l00165">polybori::BooleExponent::end()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="06b65020426b71545955dfe391937a44"></a><!-- doxytag: member="polybori::BoolePolynomial::operator/=" ref="06b65020426b71545955dfe391937a44" args="(const monom_type &)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">BoolePolynomial</a> & polybori::BoolePolynomial::operator/= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00726">polybori::dd_divide_recursively()</a>, <a class="el" href="BooleMonomial_8h_source.html#l00367">polybori::BooleMonomial::diagram()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00773">diagram()</a>, <a class="el" href="CDDInterface_8h_source.html#l00806">polybori::CDDInterface< CuddLikeZDD >::navigation()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">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="BoolePolynomial_8cc_source.html#l00585">operator/=()</a>.</p> </div> </div><p> <a class="anchor" name="3758780d74fe1580bf60e4898e3a785f"></a><!-- doxytag: member="polybori::BoolePolynomial::operator=" ref="3758780d74fe1580bf60e4898e3a785f" args="(constant_type rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">self</a>& polybori::BoolePolynomial::operator= </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</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="99a07934b6d8a9d27c215d75e1cf6c61"></a><!-- doxytag: member="polybori::BoolePolynomial::operator==" ref="99a07934b6d8a9d27c215d75e1cf6c61" args="(constant_type rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::operator== </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BooleConstant.html">constant_type</a> </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="97b434baf4c67dacb03bcd3814bad13f"></a><!-- doxytag: member="polybori::BoolePolynomial::operator==" ref="97b434baf4c67dacb03bcd3814bad13f" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">bool_type</a> polybori::BoolePolynomial::operator== </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.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="a07b8bcebcf41c14972d3e6b3ba8d925"></a><!-- doxytag: member="polybori::BoolePolynomial::orderedBegin" ref="a07b8bcebcf41c14972d3e6b3ba8d925" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">BoolePolynomial::ordered_iterator</a> polybori::BoolePolynomial::orderedBegin </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Start of ordering respecting iterator. <p> <p>References <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="nf_8cc_source.html#l01187">polybori::groebner::BlockOrderHelper::begin()</a>, <a class="el" href="nf_8cc_source.html#l01162">polybori::groebner::DegOrderHelper::begin()</a>, <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00777">polybori::groebner::reduce_by_binom()</a>.</p> </div> </div><p> <a class="anchor" name="8b709449dcc351255a1bef44405a34e1"></a><!-- doxytag: member="polybori::BoolePolynomial::orderedEnd" ref="8b709449dcc351255a1bef44405a34e1" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">BoolePolynomial::ordered_iterator</a> polybori::BoolePolynomial::orderedEnd </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Finish of ordering respecting iterator. <p> <p>References <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="nf_8cc_source.html#l01190">polybori::groebner::BlockOrderHelper::end()</a>, <a class="el" href="nf_8cc_source.html#l01165">polybori::groebner::DegOrderHelper::end()</a>, and <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>.</p> </div> </div><p> <a class="anchor" name="7ac69f255bdc64ce37acb775226483a1"></a><!-- doxytag: member="polybori::BoolePolynomial::orderedExpBegin" ref="7ac69f255bdc64ce37acb775226483a1" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">BoolePolynomial::ordered_exp_iterator</a> polybori::BoolePolynomial::orderedExpBegin </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Start of ordering respecting exponent iterator. <p> <p>References <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00844">print()</a>.</p> </div> </div><p> <a class="anchor" name="e17d9d271eca032bff1de44aad8e42db"></a><!-- doxytag: member="polybori::BoolePolynomial::orderedExpEnd" ref="e17d9d271eca032bff1de44aad8e42db" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">BoolePolynomial::ordered_exp_iterator</a> polybori::BoolePolynomial::orderedExpEnd </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Finish of ordering respecting exponent iterator. <p> <p>References <a class="el" href="BooleEnv_8cc_source.html#l00085">polybori::BooleEnv::ordering()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00844">print()</a>.</p> </div> </div><p> <a class="anchor" name="462f03b9d546ab940ffeb0e06a0717f0"></a><!-- doxytag: member="polybori::BoolePolynomial::prettyPrint" ref="462f03b9d546ab940ffeb0e06a0717f0" args="(const char *filename) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">void polybori::BoolePolynomial::prettyPrint </td> <td>(</td> <td class="paramtype">const char * </td> <td class="paramname"> <em>filename</em> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Pretty print to filename. <p> </div> </div><p> <a class="anchor" name="911ce7a2d7982f0131e30653e069ea15"></a><!-- doxytag: member="polybori::BoolePolynomial::prettyPrint" ref="911ce7a2d7982f0131e30653e069ea15" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">void polybori::BoolePolynomial::prettyPrint </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Pretty print to stdout. <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#l00656">polybori::CDDInterface< CuddLikeZDD >::prettyPrint()</a>.</p> </div> </div><p> <a class="anchor" name="1f145ae3ff272488c6edcb365533b9f9"></a><!-- doxytag: member="polybori::BoolePolynomial::print" ref="1f145ae3ff272488c6edcb365533b9f9" args="(ostream_type &) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#773245778f095b9b8a9b6940d8f7f462">BoolePolynomial::ostream_type</a> & polybori::BoolePolynomial::print </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1BoolePolynomial.html#773245778f095b9b8a9b6940d8f7f462">ostream_type</a> & </td> <td class="paramname"> <em>os</em> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Print current polynomial to output stream. <p> <p>References <a class="el" href="pbori__routines__misc_8h_source.html#l00271">polybori::dd_print_terms()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00607">isOne()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00604">isZero()</a>, <a class="el" href="CDDInterface_8h_source.html#l00689">polybori::CDDInterface< CuddLikeZDD >::managerCore()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00944">orderedExpBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00952">orderedExpEnd()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l01181">polybori::operator<<()</a>.</p> </div> </div><p> <a class="anchor" name="7276879e35ffafe7146d455fdb86e16c"></a><!-- doxytag: member="polybori::BoolePolynomial::reducibleBy" ref="7276879e35ffafe7146d455fdb86e16c" args="(const self &) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">BoolePolynomial::bool_type</a> polybori::BoolePolynomial::reducibleBy </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.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> Tests whether polynomial can be reduced by right-hand side. <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00887">firstBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00895">firstEnd()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00604">isZero()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="nf_8cc_source.html#l00095">polybori::groebner::nf2()</a>, <a class="el" href="nf_8cc_source.html#l00147">polybori::groebner::nf2_short()</a>, and <a class="el" href="BooleMonomial_8cc_source.html#l00115">polybori::BooleMonomial::reducibleBy()</a>.</p> </div> </div><p> <a class="anchor" name="f1a245a3dbbd0b988c88a9dc3b29922b"></a><!-- doxytag: member="polybori::BoolePolynomial::ring" ref="f1a245a3dbbd0b988c88a9dc3b29922b" 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::BoolePolynomial::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="groebner__alg_8cc_source.html#l02579">polybori::groebner::GroebnerStrategy::addAsYouWish()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02313">polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed()</a>, <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="LexOrder_8cc_source.html#l00178">polybori::LexOrder::lead()</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#l02678">polybori::groebner::mult_fast_sim()</a>, <a class="el" href="nf_8cc_source.html#l00226">polybori::groebner::nf3_lexbuckets()</a>, <a class="el" href="nf_8cc_source.html#l01521">polybori::groebner::red_tail_general()</a>, <a class="el" href="nf_8cc_source.html#l01584">polybori::groebner::red_tail_generic()</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#l01376">polybori::groebner::translate_indices()</a>, and <a class="el" href="lexbuckets_8cc_source.html#l00022">polybori::groebner::without_prior_part()</a>.</p> </div> </div><p> <a class="anchor" name="c9c0baa075563f8c6a66cd472ce85159"></a><!-- doxytag: member="polybori::BoolePolynomial::set" ref="c9c0baa075563f8c6a66cd472ce85159" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleSet.html">set_type</a> polybori::BoolePolynomial::set </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get corresponding subset of of the powerset over all variables. <p> </div> </div><p> <a class="anchor" name="2796c8a274f2a2557b97cff10081604a"></a><!-- doxytag: member="polybori::BoolePolynomial::stableHash" ref="2796c8a274f2a2557b97cff10081604a" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#f35f1df19ee1faf411fc3d10034464a0">hash_type</a> polybori::BoolePolynomial::stableHash </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get hash value, which is reproducible. <p> </div> </div><p> <a class="anchor" name="dd8ed9ba9c16a4dd36a23bdcfa37b247"></a><!-- doxytag: member="polybori::BoolePolynomial::terms" ref="dd8ed9ba9c16a4dd36a23bdcfa37b247" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#fe8dacf966ec169a6a5fa2bbb7f16791">BoolePolynomial::termlist_type</a> polybori::BoolePolynomial::terms </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Return of all terms. <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l01149">fetchTerms()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00675">firstDivisors()</a>.</p> </div> </div><p> <a class="anchor" name="fd6bab495f0afe70e8cc0d6a7d776dea"></a><!-- doxytag: member="polybori::BoolePolynomial::totalDeg" ref="fd6bab495f0afe70e8cc0d6a7d776dea" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html#a95ed10bbb6de4d0c80ef3836e3c53aa">BoolePolynomial::size_type</a> polybori::BoolePolynomial::totalDeg </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Total maximal degree of the polynomial. <p> <p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00719">deg()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="a046f5b16b024d5585968ddfdd5c5fb5"></a><!-- doxytag: member="polybori::BoolePolynomial::usedVariables" ref="a046f5b16b024d5585968ddfdd5c5fb5" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">BoolePolynomial::monom_type</a> polybori::BoolePolynomial::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 polynomial. <p> <p>References <a class="el" href="BoolePolynomial_8h_source.html#l00773">diagram()</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#l01517">polybori::groebner::polynomial_in_one_block()</a>.</p> </div> </div><p> <a class="anchor" name="a2542a610cfc91520b9e3195e386b5d1"></a><!-- doxytag: member="polybori::BoolePolynomial::usedVariablesExp" ref="a2542a610cfc91520b9e3195e386b5d1" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">BoolePolynomial::exp_type</a> polybori::BoolePolynomial::usedVariablesExp </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const</td> </tr> </table> </div> <div class="memdoc"> <p> Exponent vector of all of variables of the polynomial. <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#l00717">polybori::CDDInterface< CuddLikeZDD >::usedIndices()</a>.</p> <p>Referenced by <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="cache__manager_8h_source.html#l00067">polybori::groebner::CacheManager::insert()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="cache__manager_8h_source.html#l00041">polybori::groebner::CacheManager::lookup()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00678">polybori::groebner::PolyEntry::PolyEntry()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00698">polybori::groebner::PolyEntry::recomputeInformation()</a>.</p> </div> </div><p> <hr><h2>Friends And Related Function Documentation</h2> <a class="anchor" name="6e128d7cf48287a85e3841e4ab833401"></a><!-- doxytag: member="polybori::BoolePolynomial::BooleMonomial" ref="6e128d7cf48287a85e3841e4ab833401" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">friend class <a class="el" href="classpolybori_1_1BooleMonomial.html">BooleMonomial</a><code> [friend]</code> </td> </tr> </table> </div> <div class="memdoc"> <p> Let <a class="el" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd's decicion diagram...">BooleMonomial</a> access protected and private members. <p> </div> </div><p> <hr>The documentation for this class was generated from the following files:<ul> <li><a class="el" href="BoolePolynomial_8h_source.html">BoolePolynomial.h</a><li><a class="el" href="BoolePolynomial_8cc.html">BoolePolynomial.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>