<!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::CDDInterface< CuddLikeZDD > Class Template 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_1CDDInterface.html">CDDInterface</a> </div> </div> <div class="contents"> <h1>polybori::CDDInterface< CuddLikeZDD > Class Template Reference</h1><!-- doxytag: class="polybori::CDDInterface" --><!-- doxytag: inherits="CDDInterfaceBase< CuddLikeZDD >" --><code>#include <<a class="el" href="CDDInterface_8h_source.html">CDDInterface.h</a>></code> <p> <div class="dynheader"> Inheritance diagram for polybori::CDDInterface< CuddLikeZDD >:</div> <div class="dynsection"> <p><center><img src="classpolybori_1_1CDDInterface.png" usemap="#polybori::CDDInterface< CuddLikeZDD >_map" border="0" alt=""></center> <map name="polybori::CDDInterface< CuddLikeZDD >_map"> <area href="classpolybori_1_1CDDInterfaceBase.html" alt="polybori::CDDInterfaceBase< CuddLikeZDD >" shape="rect" coords="0,0,273,24"> <area href="classpolybori_1_1BooleSet.html" alt="polybori::BooleSet" shape="rect" coords="0,112,273,136"> </map> </div> <p> <a href="classpolybori_1_1CDDInterface-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 CuddLikeZDD </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Interfacing Cudd's zero-suppressed decision diagram type. <a href="#581c47be759552f70d15a029a8a680eb"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef zdd_traits<br class="typebreak"> < <a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a> ><br class="typebreak"> ::<a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Cudd's decision diagram manager type. <a href="#4e4c86152f9a10374e963b2d86a3be07"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1manager__traits.html">manager_traits</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> >::tmp_ref </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#1c9678fad8a854ddfc0a8a0a072c45ae">mgr_ref</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Reference to decision diagram manager type. <a href="#1c9678fad8a854ddfc0a8a0a072c45ae"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1manager__traits.html">manager_traits</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> >::<a class="el" href="classpolybori_1_1CDDInterface.html#f04a1aa611802efb65282d2ad405c45b">core_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#f04a1aa611802efb65282d2ad405c45b">core_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Decision diagram manager core type. <a href="#f04a1aa611802efb65282d2ad405c45b"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classCDDManager.html">CDDManager</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#1e8c2de7230560be3790d79a56f8c1cc">manager_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Interface to Cudd's decision diagram manager type. <a href="#1e8c2de7230560be3790d79a56f8c1cc"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterfaceBase.html">CDDInterfaceBase</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#53b2bc361a08dfb9e74c5bfac213fd8a">base_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to base type. <a href="#53b2bc361a08dfb9e74c5bfac213fd8a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterfaceBase.html">base_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#2d1a043a28136d98a53e329339402143">base</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a><br class="typebreak"> < <a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#23e68104e0e176953fa85b401674582b">self</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Generic access to type of *this. <a href="#23e68104e0e176953fa85b401674582b"></a><br></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_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Define size type. <a href="#3c5302a498f41b02a778f65c720c3441"></a><br></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_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Define index type. <a href="#a0c138660bde4b5b935243c2bfd8c6aa"></a><br></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_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">ostream_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for output streams. <a href="#9b21d36a78a7e9cb12486a4a0ae1c1c0"></a><br></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_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for comparisons. <a href="#0e3bacf8cde66c20f7b9b3094c928fea"></a><br></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_1CDDInterface.html#ebd02aee609d3195f736e1b0b1de6c86">hash_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for hashed. <a href="#ebd02aee609d3195f736e1b0b1de6c86"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddFirstIter.html">CCuddFirstIter</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#60ef5f70cb4b40242442c6d224778065">first_iterator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for retrieving first term from Cudd's ZDDs. <a href="#60ef5f70cb4b40242442c6d224778065"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddLastIter.html">CCuddLastIter</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#7c1dde2debf409f4836bf55ab32b50e4">last_iterator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for retrieving last term from Cudd's ZDDs. <a href="#7c1dde2debf409f4836bf55ab32b50e4"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html">CCuddNavigator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#2728afd1f0dbf503a94915b79f4502bf">navigator</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Iterator type for navigation throught Cudd's ZDDs structure. <a href="#2728afd1f0dbf503a94915b79f4502bf"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef FILE * </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#f8429917ee2c4fe2e1430d29b54da631">pretty_out_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for output of pretty print. <a href="#f8429917ee2c4fe2e1430d29b54da631"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef const char * </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#6da7252e8579b44c832b6d1c343063ae">filename_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for file name of pretty print output. <a href="#6da7252e8579b44c832b6d1c343063ae"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#db2dc64a5d34769db45898acb35216eb">easy_equality_property</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">This type has an easy equality check. <a href="#db2dc64a5d34769db45898acb35216eb"></a><br></td></tr> <tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#354a3712b7b5a1dedf62e06305f68c5f">CDDInterface</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Default constructor. <a href="#354a3712b7b5a1dedf62e06305f68c5f"></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_1CDDInterface.html#60115341bdca29943aa76a48c008cb9c">CDDInterface</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Copy constructor. <a href="#60115341bdca29943aa76a48c008cb9c"></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_1CDDInterface.html#de06225812d49717b61c7aad1677a67b">CDDInterface</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct from interfaced type. <a href="#de06225812d49717b61c7aad1677a67b"></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_1CDDInterface.html#339df63fbb684e88c2e96e53eac1de73">CDDInterface</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> &mgr, const <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> &navi)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct from Manager and navigator. <a href="#339df63fbb684e88c2e96e53eac1de73"></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_1CDDInterface.html#c1ca0fbb65d676d11ca17be36ac43c28">CDDInterface</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> &mgr, <a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> thenNavi, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> elseNavi)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct new node from manager, index, and navigators. <a href="#c1ca0fbb65d676d11ca17be36ac43c28"></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_1CDDInterface.html#3b9f5a3be7d0b35ec2d4bcb3bde5a7d3">CDDInterface</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> &mgr, <a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx, <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> navi)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#2f217b9da073c38f75d7cd5eedfbe107">CDDInterface</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx, const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &thenDD, const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &elseDD)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct new node. <a href="#2f217b9da073c38f75d7cd5eedfbe107"></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_1CDDInterface.html#98a94fecbdcdaa23f156124686685483">~CDDInterface</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#98a94fecbdcdaa23f156124686685483"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#ebd02aee609d3195f736e1b0b1de6c86">hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#db6548a66c3999d86dcadf0009836b03">hash</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get unique hash value (valid only per runtime). <a href="#db6548a66c3999d86dcadf0009836b03"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#ebd02aee609d3195f736e1b0b1de6c86">hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#02bea25795fd5fd691eeea688e0b86d1">stableHash</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get stable hash value, which is reproducible. <a href="#02bea25795fd5fd691eeea688e0b86d1"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#c2d7c3cab926aa4d332f52610b194f5a">unite</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set union. <a href="#c2d7c3cab926aa4d332f52610b194f5a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#9790974bdc39f5abaa46e3882876ab7b">uniteAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set union with assignment. <a href="#9790974bdc39f5abaa46e3882876ab7b"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#c602d283181aac6dd85a16dcf0d45d15">ite</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &then_dd, const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &else_dd) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">If-Then-Else operation. <a href="#c602d283181aac6dd85a16dcf0d45d15"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#ec13c049c043d3c352d94c9133c045fd">iteAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &then_dd, const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &else_dd)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">If-Then-Else operation with assignment. <a href="#ec13c049c043d3c352d94c9133c045fd"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#952b93666cbf3de6a97d2b69b829976b">diff</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set difference. <a href="#952b93666cbf3de6a97d2b69b829976b"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#516c040ff1856555dc542027374890cd">diffAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set difference with assignment. <a href="#516c040ff1856555dc542027374890cd"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#f18fc26811026e902132504fadbbedba">diffConst</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set difference. <a href="#f18fc26811026e902132504fadbbedba"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#652fde32f9304bfdc00c972d215177fb">diffConstAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set difference with assignment. <a href="#652fde32f9304bfdc00c972d215177fb"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#f9c3271ea6861e604bdc000684683c73">intersect</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set intersection. <a href="#f9c3271ea6861e604bdc000684683c73"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#10e485df94875c45ecbe42d0bbca72bf">intersectAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Set intersection with assignment. <a href="#10e485df94875c45ecbe42d0bbca72bf"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#48c207e7da8cfdf9457749cf19f17e32">product</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Product. <a href="#48c207e7da8cfdf9457749cf19f17e32"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#d503e4affae5e573b656709e0a20b986">productAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Product with assignment. <a href="#d503e4affae5e573b656709e0a20b986"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#f6f84bbc8dc3e94a5ba03499af89c107">unateProduct</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Unate product. <a href="#f6f84bbc8dc3e94a5ba03499af89c107"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#4f3aa67f921cb7e5b7035891854d2be6">dotProduct</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Returns dot Product. <a href="#4f3aa67f921cb7e5b7035891854d2be6"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#6253bb18dc397f271a08c7595f4acd58">dotProductAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#17ff3bbba87ecd58056ca6334863a8d9">Xor</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#5a3d124510ee060e88cfe30a41e3a730">unateProductAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Unate product with assignment. <a href="#5a3d124510ee060e88cfe30a41e3a730"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#1f187bf7bfc67573af3bd982961cfa69">subset0</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Generate subset, where decision diagram manager variable idx is false. <a href="#1f187bf7bfc67573af3bd982961cfa69"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#588867d4ef9bbce684a0814ee284185a">subset0Assign</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">subset0 with assignment <a href="#588867d4ef9bbce684a0814ee284185a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#674bdebf1957e9d8c053d72e5e6ef5bb">subset1</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Generate subset, where decision diagram manager variable idx is asserted. <a href="#674bdebf1957e9d8c053d72e5e6ef5bb"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#6348b342a055af6144dcda0a63e3dabb">subset1Assign</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">subset1 with assignment <a href="#6348b342a055af6144dcda0a63e3dabb"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#5bd0851844c6b6bc4d65dd51465990a4">change</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Substitute variable with index idx by its complement. <a href="#5bd0851844c6b6bc4d65dd51465990a4"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#184ebb28e1cf6e6642506f7d9837b0a6">changeAssign</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> idx)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Change with assignment. <a href="#184ebb28e1cf6e6642506f7d9837b0a6"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#8bb7332bea41eec1b3e9012e49b4ed01">ddDivide</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Division. <a href="#8bb7332bea41eec1b3e9012e49b4ed01"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#bee0b4c2ea9e3aec2756eb55b2c7c22f">ddDivideAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Division with assignment. <a href="#bee0b4c2ea9e3aec2756eb55b2c7c22f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#634fdc163c3446d95e6c23ea9a6cc64f">weakDivide</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Weak division. <a href="#634fdc163c3446d95e6c23ea9a6cc64f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#cea5039d309b02dce68a1abed99b46d9">weakDivideAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Weak division with assignment. <a href="#cea5039d309b02dce68a1abed99b46d9"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#6d7f05fdd2e54f5b8c1ced24ac8ece7a">divideFirstAssign</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Division with first term of right-hand side and assignment. <a href="#6d7f05fdd2e54f5b8c1ced24ac8ece7a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#2df42bc62e42a1afe527098a1c862ad4">divideFirst</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Division with first term of right-hand side. <a href="#2df42bc62e42a1afe527098a1c862ad4"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#f13a6ae0bf2ab99c2b17f631829fa78f">nNodes</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get number of nodes in decision diagram. <a href="#f13a6ae0bf2ab99c2b17f631829fa78f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">ostream_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#2b3f1d292626e0baae5979e72352dd64">print</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">ostream_type</a> &os) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get number of nodes in decision diagram. <a href="#2b3f1d292626e0baae5979e72352dd64"></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_1CDDInterface.html#9f03d240edf9220ace28654cf21143be">prettyPrint</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#f8429917ee2c4fe2e1430d29b54da631">pretty_out_type</a> filehandle=stdout) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Print Dot-output to file given by file handle. <a href="#9f03d240edf9220ace28654cf21143be"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#f0936c6d8261b45f4b9d8d87f6364623">prettyPrint</a> (<a class="el" href="classpolybori_1_1CDDInterface.html#6da7252e8579b44c832b6d1c343063ae">filename_type</a> filename) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Print Dot-output to file given by file name. <a href="#f0936c6d8261b45f4b9d8d87f6364623"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#050d1bd7a007d90aef802f1f4cbabd3c">operator==</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Equality check. <a href="#050d1bd7a007d90aef802f1f4cbabd3c"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#9f44fa6d8bf28213ab63d9601f814a3f">operator!=</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Nonequality check. <a href="#9f44fa6d8bf28213ab63d9601f814a3f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#1c9678fad8a854ddfc0a8a0a072c45ae">mgr_ref</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#41134aa1cc96606701528ccc5856c51f">manager</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get reference to actual decision diagram manager. <a href="#41134aa1cc96606701528ccc5856c51f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#f04a1aa611802efb65282d2ad405c45b">core_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#65cf8fbce2b06128d83b86f49670e33a">managerCore</a> () const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#101d1f478212b83bdcb5de8cda227c6c">nSupport</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get numbers of used variables. <a href="#101d1f478212b83bdcb5de8cda227c6c"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#6aba64d24b0795670dda592a0ec1330f">support</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get multiples of used variables. <a href="#6aba64d24b0795670dda592a0ec1330f"></a><br></td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class VectorLikeType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#74cf302d21f752cacd41581ba4e0de0a">usedIndices</a> (VectorLikeType &indices) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get used variables (assuming indices of zero length). <a href="#74cf302d21f752cacd41581ba4e0de0a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">int * </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#9c8ba5faa7c153f0b0b75ceaec06d15a">usedIndices</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get used variables (assuming indices of length <a class="el" href="classpolybori_1_1CDDInterface.html#101d1f478212b83bdcb5de8cda227c6c" title="Get numbers of used variables.">nSupport()</a>). <a href="#9c8ba5faa7c153f0b0b75ceaec06d15a"></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_1CDDInterface.html#47cac92b3401359385b60abf760db61d">firstBegin</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Start of first term. <a href="#47cac92b3401359385b60abf760db61d"></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_1CDDInterface.html#2ca7110e74d98e0419b1e8aaba2c7b99">firstEnd</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of first term. <a href="#2ca7110e74d98e0419b1e8aaba2c7b99"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddLastIter.html">last_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#c06da94bf4cbf86a0e98cbd7a3bd21a5">lastBegin</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Start of first term. <a href="#c06da94bf4cbf86a0e98cbd7a3bd21a5"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddLastIter.html">last_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#0581557146dd62840da4cee301c09e2e">lastEnd</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Finish of first term. <a href="#0581557146dd62840da4cee301c09e2e"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#6b139678e062c727bd419556978b8139">firstMultiples</a> (const std::vector< <a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> > &multipliers) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get decison diagram representing the multiples of the first term. <a href="#6b139678e062c727bd419556978b8139"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#2b3fc32266bd01a4358fcd2acb6acb26">subSet</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#f199d6c33745d60e668ba8ec7362382f">supSet</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#c3d85737b7c5146e2204655a1c967d25">firstDivisors</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get decison diagram representing the divisors of the first term. <a href="#c3d85737b7c5146e2204655a1c967d25"></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_1CDDInterface.html#7dde88b9d522c7faae213f8e75ba4b12">navigation</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Navigate through ZDD by incrementThen(), incrementElse(), and terminated(). <a href="#7dde88b9d522c7faae213f8e75ba4b12"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#78e9bcc6af406137eb48c822ced16536">emptiness</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Checks whether the decision diagram is empty. <a href="#78e9bcc6af406137eb48c822ced16536"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#5c7a7c14791679e372b12f677022899b">blankness</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Checks whether the decision diagram has every variable negated. <a href="#5c7a7c14791679e372b12f677022899b"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#a55c1c7e1e42383c8ef5064654ddc4d0">isConstant</a> () const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#5128cab0f470b0dec943f7c33d6e2f17">size</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Returns number of terms. <a href="#5128cab0f470b0dec943f7c33d6e2f17"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#92b6e64c08f1013e123b7e6ca65da885">length</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Returns number of terms (deprecated). <a href="#92b6e64c08f1013e123b7e6ca65da885"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#977112822d6abc67de39dd7712cd56a9">nVariables</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Returns number of variables in manager. <a href="#977112822d6abc67de39dd7712cd56a9"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#477a0f68a5528de0d6a74c28b1fc54b4">minimalElements</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Returns minimal factors of all minimal terms. <a href="#477a0f68a5528de0d6a74c28b1fc54b4"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#c7518f2f73758c6423b6af17d9c68b93">cofactor0</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#8daa15844f10c83831b8230e1a732fd9">cofactor1</a> (const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> &rhs, <a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> includeVars) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#a4bc116bf1554d0fcf77766319db54e3">ownsOne</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether the empty set is included. <a href="#a4bc116bf1554d0fcf77766319db54e3"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">double </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#530176a8be3693d2aa36d003fb25ee94">sizeDouble</a> () const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#09d34bf71e57be76b873a6c6c3395b11">emptyElement</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get corresponding zero element. <a href="#09d34bf71e57be76b873a6c6c3395b11"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDDInterface.html#cc78842c9cae8ca22690819442802a33">blankElement</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get corresponding one element. <a href="#cc78842c9cae8ca22690819442802a33"></a><br></td></tr> </table> <hr><a name="_details"></a><h2>Detailed Description</h2> <h3>template<class CuddLikeZDD><br> class polybori::CDDInterface< CuddLikeZDD ></h3> For Cudd-like ZDDs, like ZDD or <a class="el" href="classpolybori_1_1CCuddZDD.html" title="This class defines a C++ interface to CUDD's zero-suppressed decision diagram...">CCuddZDD</a> <dl class="todo" compact><dt><b><a class="el" href="todo.html#_todo000005">Todo:</a></b></dt><dd>Generalize it </dd></dl> <hr><h2>Member Typedef Documentation</h2> <a class="anchor" name="2d1a043a28136d98a53e329339402143"></a><!-- doxytag: member="polybori::CDDInterface::base" ref="2d1a043a28136d98a53e329339402143" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterfaceBase.html">base_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterfaceBase.html">base</a> </td> </tr> </table> </div> <div class="memdoc"> <p> <p>Reimplemented in <a class="el" href="classpolybori_1_1BooleSet.html#2eb4b6cf66c940d3e5763c99e2a462bf">polybori::BooleSet</a>.</p> </div> </div><p> <a class="anchor" name="53b2bc361a08dfb9e74c5bfac213fd8a"></a><!-- doxytag: member="polybori::CDDInterface::base_type" ref="53b2bc361a08dfb9e74c5bfac213fd8a" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterfaceBase.html">CDDInterfaceBase</a><<a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a>> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterfaceBase.html">base_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Generic access to base type. <p> </div> </div><p> <a class="anchor" name="0e3bacf8cde66c20f7b9b3094c928fea"></a><!-- doxytag: member="polybori::CDDInterface::bool_type" ref="0e3bacf8cde66c20f7b9b3094c928fea" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <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_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for comparisons. <p> </div> </div><p> <a class="anchor" name="f04a1aa611802efb65282d2ad405c45b"></a><!-- doxytag: member="polybori::CDDInterface::core_type" ref="f04a1aa611802efb65282d2ad405c45b" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1manager__traits.html">manager_traits</a><<a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a>>::<a class="el" href="classpolybori_1_1CDDInterface.html#f04a1aa611802efb65282d2ad405c45b">core_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#f04a1aa611802efb65282d2ad405c45b">core_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Decision diagram manager core type. <p> </div> </div><p> <a class="anchor" name="db2dc64a5d34769db45898acb35216eb"></a><!-- doxytag: member="polybori::CDDInterface::easy_equality_property" ref="db2dc64a5d34769db45898acb35216eb" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="structpolybori_1_1valid__tag.html">easy_equality_property</a> </td> </tr> </table> </div> <div class="memdoc"> <p> This type has an easy equality check. <p> </div> </div><p> <a class="anchor" name="6da7252e8579b44c832b6d1c343063ae"></a><!-- doxytag: member="polybori::CDDInterface::filename_type" ref="6da7252e8579b44c832b6d1c343063ae" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef const char* <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#6da7252e8579b44c832b6d1c343063ae">filename_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for file name of pretty print output. <p> </div> </div><p> <a class="anchor" name="60ef5f70cb4b40242442c6d224778065"></a><!-- doxytag: member="polybori::CDDInterface::first_iterator" ref="60ef5f70cb4b40242442c6d224778065" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddFirstIter.html">CCuddFirstIter</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CCuddFirstIter.html">first_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator type for retrieving first term from Cudd's ZDDs. <p> </div> </div><p> <a class="anchor" name="ebd02aee609d3195f736e1b0b1de6c86"></a><!-- doxytag: member="polybori::CDDInterface::hash_type" ref="ebd02aee609d3195f736e1b0b1de6c86" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <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_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#ebd02aee609d3195f736e1b0b1de6c86">hash_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for hashed. <p> </div> </div><p> <a class="anchor" name="a0c138660bde4b5b935243c2bfd8c6aa"></a><!-- doxytag: member="polybori::CDDInterface::idx_type" ref="a0c138660bde4b5b935243c2bfd8c6aa" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <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_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Define index type. <p> <p>Reimplemented in <a class="el" href="classpolybori_1_1BooleSet.html#35849fe578c384430f342b2fd3dfb8bf">polybori::BooleSet</a>.</p> </div> </div><p> <a class="anchor" name="581c47be759552f70d15a029a8a680eb"></a><!-- doxytag: member="polybori::CDDInterface::interfaced_type" ref="581c47be759552f70d15a029a8a680eb" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef CuddLikeZDD <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Interfacing Cudd's zero-suppressed decision diagram type. <p> <p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterfaceBase.html#3a6affc8f40899b5e9db4bdb5e90767b">polybori::CDDInterfaceBase< CuddLikeZDD ></a>.</p> </div> </div><p> <a class="anchor" name="7c1dde2debf409f4836bf55ab32b50e4"></a><!-- doxytag: member="polybori::CDDInterface::last_iterator" ref="7c1dde2debf409f4836bf55ab32b50e4" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddLastIter.html">CCuddLastIter</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CCuddLastIter.html">last_iterator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator type for retrieving last term from Cudd's ZDDs. <p> </div> </div><p> <a class="anchor" name="4e4c86152f9a10374e963b2d86a3be07"></a><!-- doxytag: member="polybori::CDDInterface::manager_base" ref="4e4c86152f9a10374e963b2d86a3be07" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef zdd_traits<<a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a>>::<a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Cudd's decision diagram manager type. <p> </div> </div><p> <a class="anchor" name="1e8c2de7230560be3790d79a56f8c1cc"></a><!-- doxytag: member="polybori::CDDInterface::manager_type" ref="1e8c2de7230560be3790d79a56f8c1cc" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classCDDManager.html">CDDManager</a><<a class="el" href="classpolybori_1_1CCuddInterface.html">CCuddInterface</a>> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_4.html">manager_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Interface to Cudd's decision diagram manager type. <p> </div> </div><p> <a class="anchor" name="1c9678fad8a854ddfc0a8a0a072c45ae"></a><!-- doxytag: member="polybori::CDDInterface::mgr_ref" ref="1c9678fad8a854ddfc0a8a0a072c45ae" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1manager__traits.html">manager_traits</a><<a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a>>::tmp_ref <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#1c9678fad8a854ddfc0a8a0a072c45ae">mgr_ref</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Reference to decision diagram manager type. <p> </div> </div><p> <a class="anchor" name="2728afd1f0dbf503a94915b79f4502bf"></a><!-- doxytag: member="polybori::CDDInterface::navigator" ref="2728afd1f0dbf503a94915b79f4502bf" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html">CCuddNavigator</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Iterator type for navigation throught Cudd's ZDDs structure. <p> <p>Reimplemented in <a class="el" href="classpolybori_1_1BooleSet.html#83ae03975425e413d9cf998556ca8743">polybori::BooleSet</a>.</p> </div> </div><p> <a class="anchor" name="9b21d36a78a7e9cb12486a4a0ae1c1c0"></a><!-- doxytag: member="polybori::CDDInterface::ostream_type" ref="9b21d36a78a7e9cb12486a4a0ae1c1c0" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <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_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">ostream_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for output streams. <p> </div> </div><p> <a class="anchor" name="f8429917ee2c4fe2e1430d29b54da631"></a><!-- doxytag: member="polybori::CDDInterface::pretty_out_type" ref="f8429917ee2c4fe2e1430d29b54da631" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef FILE* <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#f8429917ee2c4fe2e1430d29b54da631">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="23e68104e0e176953fa85b401674582b"></a><!-- doxytag: member="polybori::CDDInterface::self" ref="23e68104e0e176953fa85b401674582b" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a><<a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_type</a>> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html">self</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Generic access to type of *this. <p> <p>Reimplemented from <a class="el" href="classpolybori_1_1CDDInterfaceBase.html#5143706233c92624d9f6ac6413fc5d46">polybori::CDDInterfaceBase< CuddLikeZDD ></a>.</p> <p>Reimplemented in <a class="el" href="classpolybori_1_1BooleSet.html#bacc176939f98d981637a169a7f73e3e">polybori::BooleSet</a>.</p> </div> </div><p> <a class="anchor" name="3c5302a498f41b02a778f65c720c3441"></a><!-- doxytag: member="polybori::CDDInterface::size_type" ref="3c5302a498f41b02a778f65c720c3441" args="" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <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_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Define size type. <p> <p>Reimplemented in <a class="el" href="classpolybori_1_1BooleSet.html#58f12dd287069a43ca76923597d3e9ba">polybori::BooleSet</a>.</p> </div> </div><p> <hr><h2>Constructor & Destructor Documentation</h2> <a class="anchor" name="354a3712b7b5a1dedf62e06305f68c5f"></a><!-- doxytag: member="polybori::CDDInterface::CDDInterface" ref="354a3712b7b5a1dedf62e06305f68c5f" args="()" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Default constructor. <p> </div> </div><p> <a class="anchor" name="60115341bdca29943aa76a48c008cb9c"></a><!-- doxytag: member="polybori::CDDInterface::CDDInterface" ref="60115341bdca29943aa76a48c008cb9c" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Copy constructor. <p> </div> </div><p> <a class="anchor" name="de06225812d49717b61c7aad1677a67b"></a><!-- doxytag: member="polybori::CDDInterface::CDDInterface" ref="de06225812d49717b61c7aad1677a67b" args="(const interfaced_type &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html#581c47be759552f70d15a029a8a680eb">interfaced_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 from interfaced type. <p> </div> </div><p> <a class="anchor" name="339df63fbb684e88c2e96e53eac1de73"></a><!-- doxytag: member="polybori::CDDInterface::CDDInterface" ref="339df63fbb684e88c2e96e53eac1de73" args="(const manager_base &mgr, const navigator &navi)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> & </td> <td class="paramname"> <em>mgr</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> & </td> <td class="paramname"> <em>navi</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 from Manager and navigator. <p> </div> </div><p> <a class="anchor" name="c1ca0fbb65d676d11ca17be36ac43c28"></a><!-- doxytag: member="polybori::CDDInterface::CDDInterface" ref="c1ca0fbb65d676d11ca17be36ac43c28" args="(const manager_base &mgr, idx_type idx, navigator thenNavi, navigator elseNavi)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> & </td> <td class="paramname"> <em>mgr</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td> <td class="paramname"> <em>thenNavi</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td> <td class="paramname"> <em>elseNavi</em></td><td> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Construct new node from manager, index, and navigators. <p> </div> </div><p> <a class="anchor" name="3b9f5a3be7d0b35ec2d4bcb3bde5a7d3"></a><!-- doxytag: member="polybori::CDDInterface::CDDInterface" ref="3b9f5a3be7d0b35ec2d4bcb3bde5a7d3" args="(const manager_base &mgr, idx_type idx, navigator navi)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html#4e4c86152f9a10374e963b2d86a3be07">manager_base</a> & </td> <td class="paramname"> <em>mgr</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> </td> <td class="paramname"> <em>navi</em></td><td> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Construct new node from manager, index, and common navigator for then and else-branches </div> </div><p> <a class="anchor" name="2f217b9da073c38f75d7cd5eedfbe107"></a><!-- doxytag: member="polybori::CDDInterface::CDDInterface" ref="2f217b9da073c38f75d7cd5eedfbe107" args="(idx_type idx, const self &thenDD, const self &elseDD)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td> <td class="paramname"> <em>thenDD</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td> <td class="paramname"> <em>elseDD</em></td><td> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Construct new node. <p> </div> </div><p> <a class="anchor" name="98a94fecbdcdaa23f156124686685483"></a><!-- doxytag: member="polybori::CDDInterface::~CDDInterface" ref="98a94fecbdcdaa23f156124686685483" args="()" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::~<a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </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="cc78842c9cae8ca22690819442802a33"></a><!-- doxytag: member="polybori::CDDInterface::blankElement" ref="cc78842c9cae8ca22690819442802a33" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::blankElement </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get corresponding one element. <p> </div> </div><p> <a class="anchor" name="5c7a7c14791679e372b12f677022899b"></a><!-- doxytag: member="polybori::CDDInterface::blankness" ref="5c7a7c14791679e372b12f677022899b" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::blankness </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Checks whether the decision diagram has every variable negated. <p> </div> </div><p> <a class="anchor" name="5bd0851844c6b6bc4d65dd51465990a4"></a><!-- doxytag: member="polybori::CDDInterface::change" ref="5bd0851844c6b6bc4d65dd51465990a4" args="(idx_type idx) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classchange.html">change</a> </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Substitute variable with index idx by its complement. <p> </div> </div><p> <a class="anchor" name="184ebb28e1cf6e6642506f7d9837b0a6"></a><!-- doxytag: member="polybori::CDDInterface::changeAssign" ref="184ebb28e1cf6e6642506f7d9837b0a6" args="(idx_type idx)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::<a class="el" href="classchangeAssign.html">changeAssign</a> </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Change with assignment. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00470">polybori::BoolePolynomial::BoolePolynomial()</a>, and <a class="el" href="BooleMonomial_8cc_source.html#l00124">polybori::BooleMonomial::changeAssign()</a>.</p> </div> </div><p> <a class="anchor" name="c7518f2f73758c6423b6af17d9c68b93"></a><!-- doxytag: member="polybori::CDDInterface::cofactor0" ref="c7518f2f73758c6423b6af17d9c68b93" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::cofactor0 </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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="8daa15844f10c83831b8230e1a732fd9"></a><!-- doxytag: member="polybori::CDDInterface::cofactor1" ref="8daa15844f10c83831b8230e1a732fd9" args="(const self &rhs, idx_type includeVars) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::cofactor1 </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td> <td class="paramname"> <em>rhs</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>includeVars</em></td><td> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td></td><td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="8bb7332bea41eec1b3e9012e49b4ed01"></a><!-- doxytag: member="polybori::CDDInterface::ddDivide" ref="8bb7332bea41eec1b3e9012e49b4ed01" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::ddDivide </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Division. <p> </div> </div><p> <a class="anchor" name="bee0b4c2ea9e3aec2756eb55b2c7c22f"></a><!-- doxytag: member="polybori::CDDInterface::ddDivideAssign" ref="bee0b4c2ea9e3aec2756eb55b2c7c22f" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::ddDivideAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Division with assignment. <p> </div> </div><p> <a class="anchor" name="952b93666cbf3de6a97d2b69b829976b"></a><!-- doxytag: member="polybori::CDDInterface::diff" ref="952b93666cbf3de6a97d2b69b829976b" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::diff </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Set difference. <p> </div> </div><p> <a class="anchor" name="516c040ff1856555dc542027374890cd"></a><!-- doxytag: member="polybori::CDDInterface::diffAssign" ref="516c040ff1856555dc542027374890cd" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::diffAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Set difference with assignment. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00607">polybori::BoolePolynomial::operator%=()</a>.</p> </div> </div><p> <a class="anchor" name="f18fc26811026e902132504fadbbedba"></a><!-- doxytag: member="polybori::CDDInterface::diffConst" ref="f18fc26811026e902132504fadbbedba" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::diffConst </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Set difference. <p> </div> </div><p> <a class="anchor" name="652fde32f9304bfdc00c972d215177fb"></a><!-- doxytag: member="polybori::CDDInterface::diffConstAssign" ref="652fde32f9304bfdc00c972d215177fb" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::diffConstAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Set difference with assignment. <p> </div> </div><p> <a class="anchor" name="2df42bc62e42a1afe527098a1c862ad4"></a><!-- doxytag: member="polybori::CDDInterface::divideFirst" ref="2df42bc62e42a1afe527098a1c862ad4" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::divideFirst </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Division with first term of right-hand side. <p> </div> </div><p> <a class="anchor" name="6d7f05fdd2e54f5b8c1ced24ac8ece7a"></a><!-- doxytag: member="polybori::CDDInterface::divideFirstAssign" ref="6d7f05fdd2e54f5b8c1ced24ac8ece7a" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::divideFirstAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Division with first term of right-hand side and assignment. <p> </div> </div><p> <a class="anchor" name="4f3aa67f921cb7e5b7035891854d2be6"></a><!-- doxytag: member="polybori::CDDInterface::dotProduct" ref="4f3aa67f921cb7e5b7035891854d2be6" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::dotProduct </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Returns dot Product. <p> </div> </div><p> <a class="anchor" name="6253bb18dc397f271a08c7595f4acd58"></a><!-- doxytag: member="polybori::CDDInterface::dotProductAssign" ref="6253bb18dc397f271a08c7595f4acd58" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::dotProductAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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="78e9bcc6af406137eb48c822ced16536"></a><!-- doxytag: member="polybori::CDDInterface::emptiness" ref="78e9bcc6af406137eb48c822ced16536" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::emptiness </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Checks whether the decision diagram is empty. <p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02579">polybori::groebner::GroebnerStrategy::addAsYouWish()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02063">polybori::groebner::addPolynomialToReductor()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00675">polybori::BoolePolynomial::firstDivisors()</a>, <a class="el" href="BooleSet_8cc_source.html#l00369">polybori::BooleSet::hasTermOfVariables()</a>, <a class="el" href="interpolate_8cc_source.html#l00121">polybori::groebner::interpolate()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="nf_8cc_source.html#l01116">polybori::groebner::LexHelper::irreducible_lead()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01821">polybori::groebner::minimal_elements_cudd_style_unary()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01122">polybori::groebner::minimal_elements_internal()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01220">polybori::groebner::minimal_elements_internal3()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00204">polybori::groebner::mod_var_set()</a>, <a class="el" href="BooleSet_8cc_source.html#l00273">polybori::BooleSet::owns()</a>, <a class="el" href="nf_8cc_source.html#l01067">polybori::groebner::select1()</a>, <a class="el" href="nf_8cc_source.html#l01206">polybori::groebner::select_no_deg_growth()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p> </div> </div><p> <a class="anchor" name="09d34bf71e57be76b873a6c6c3395b11"></a><!-- doxytag: member="polybori::CDDInterface::emptyElement" ref="09d34bf71e57be76b873a6c6c3395b11" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::emptyElement </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get corresponding zero element. <p> <p>Reimplemented in <a class="el" href="classpolybori_1_1BooleSet.html#9a6da5a590bef1b4221811147cde8dca">polybori::BooleSet</a>.</p> </div> </div><p> <a class="anchor" name="47cac92b3401359385b60abf760db61d"></a><!-- doxytag: member="polybori::CDDInterface::firstBegin" ref="47cac92b3401359385b60abf760db61d" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddFirstIter.html">first_iterator</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::firstBegin </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Start of first term. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00887">polybori::BoolePolynomial::firstBegin()</a>, and <a class="el" href="BooleExponent_8cc_source.html#l00432">polybori::BooleExponent::multiplyFirst()</a>.</p> </div> </div><p> <a class="anchor" name="c3d85737b7c5146e2204655a1c967d25"></a><!-- doxytag: member="polybori::CDDInterface::firstDivisors" ref="c3d85737b7c5146e2204655a1c967d25" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::firstDivisors </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get decison diagram representing the divisors of the first term. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00675">polybori::BoolePolynomial::firstDivisors()</a>, and <a class="el" href="BoolePolynomial_8h_source.html#l00634">polybori::BoolePolynomial::lmDivisors()</a>.</p> </div> </div><p> <a class="anchor" name="2ca7110e74d98e0419b1e8aaba2c7b99"></a><!-- doxytag: member="polybori::CDDInterface::firstEnd" ref="2ca7110e74d98e0419b1e8aaba2c7b99" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddFirstIter.html">first_iterator</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::firstEnd </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Finish of first term. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00895">polybori::BoolePolynomial::firstEnd()</a>, and <a class="el" href="BooleExponent_8cc_source.html#l00432">polybori::BooleExponent::multiplyFirst()</a>.</p> </div> </div><p> <a class="anchor" name="6b139678e062c727bd419556978b8139"></a><!-- doxytag: member="polybori::CDDInterface::firstMultiples" ref="6b139678e062c727bd419556978b8139" args="(const std::vector< idx_type > &multipliers) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::firstMultiples </td> <td>(</td> <td class="paramtype">const std::vector< <a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> > & </td> <td class="paramname"> <em>multipliers</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get decison diagram representing the multiples of the first term. <p> </div> </div><p> <a class="anchor" name="db6548a66c3999d86dcadf0009836b03"></a><!-- doxytag: member="polybori::CDDInterface::hash" ref="db6548a66c3999d86dcadf0009836b03" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#ebd02aee609d3195f736e1b0b1de6c86">hash_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::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 (valid only per runtime). <p> </div> </div><p> <a class="anchor" name="f9c3271ea6861e604bdc000684683c73"></a><!-- doxytag: member="polybori::CDDInterface::intersect" ref="f9c3271ea6861e604bdc000684683c73" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::intersect </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Set intersection. <p> </div> </div><p> <a class="anchor" name="10e485df94875c45ecbe42d0bbca72bf"></a><!-- doxytag: member="polybori::CDDInterface::intersectAssign" ref="10e485df94875c45ecbe42d0bbca72bf" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::intersectAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Set intersection with assignment. <p> </div> </div><p> <a class="anchor" name="a55c1c7e1e42383c8ef5064654ddc4d0"></a><!-- doxytag: member="polybori::CDDInterface::isConstant" ref="a55c1c7e1e42383c8ef5064654ddc4d0" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::isConstant </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="c602d283181aac6dd85a16dcf0d45d15"></a><!-- doxytag: member="polybori::CDDInterface::ite" ref="c602d283181aac6dd85a16dcf0d45d15" args="(const self &then_dd, const self &else_dd) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::ite </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td> <td class="paramname"> <em>then_dd</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td> <td class="paramname"> <em>else_dd</em></td><td> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td></td><td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> If-Then-Else operation. <p> </div> </div><p> <a class="anchor" name="ec13c049c043d3c352d94c9133c045fd"></a><!-- doxytag: member="polybori::CDDInterface::iteAssign" ref="ec13c049c043d3c352d94c9133c045fd" args="(const self &then_dd, const self &else_dd)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::iteAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td> <td class="paramname"> <em>then_dd</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.html">self</a> & </td> <td class="paramname"> <em>else_dd</em></td><td> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> If-Then-Else operation with assignment. <p> </div> </div><p> <a class="anchor" name="c06da94bf4cbf86a0e98cbd7a3bd21a5"></a><!-- doxytag: member="polybori::CDDInterface::lastBegin" ref="c06da94bf4cbf86a0e98cbd7a3bd21a5" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddLastIter.html">last_iterator</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::lastBegin </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Start of first term. <p> </div> </div><p> <a class="anchor" name="0581557146dd62840da4cee301c09e2e"></a><!-- doxytag: member="polybori::CDDInterface::lastEnd" ref="0581557146dd62840da4cee301c09e2e" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddLastIter.html">last_iterator</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::lastEnd </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Finish of first term. <p> </div> </div><p> <a class="anchor" name="92b6e64c08f1013e123b7e6ca65da885"></a><!-- doxytag: member="polybori::CDDInterface::length" ref="92b6e64c08f1013e123b7e6ca65da885" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::length </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Returns number of terms (deprecated). <p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l02078">polybori::groebner::GroebnerStrategy::addGenerator()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00834">polybori::BoolePolynomial::length()</a>, <a class="el" href="literal__factorization_8cc_source.html#l00198">polybori::groebner::LiteralFactorization::LiteralFactorization()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01122">polybori::groebner::minimal_elements_internal()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02410">polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00971">polybori::groebner::reduce_complete()</a>, and <a class="el" href="nf_8cc_source.html#l00821">polybori::groebner::sum_size()</a>.</p> </div> </div><p> <a class="anchor" name="41134aa1cc96606701528ccc5856c51f"></a><!-- doxytag: member="polybori::CDDInterface::manager" ref="41134aa1cc96606701528ccc5856c51f" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#1c9678fad8a854ddfc0a8a0a072c45ae">mgr_ref</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::manager </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get reference to actual decision diagram manager. <p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l00344">polybori::groebner::contained_deg2_cudd_style()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00307">polybori::groebner::contained_variables_cudd_style()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00719">polybori::BoolePolynomial::deg()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00464">polybori::BooleExponent::divisors()</a>, <a class="el" href="BooleSet_8cc_source.html#l00331">polybori::BooleSet::firstDivisorsOf()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00784">polybori::BoolePolynomial::gradedPart()</a>, <a class="el" href="interpolate_8cc_source.html#l00234">polybori::groebner::include_divisors()</a>, <a class="el" href="interpolate_8cc_source.html#l00121">polybori::groebner::interpolate()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01821">polybori::groebner::minimal_elements_cudd_style_unary()</a>, <a class="el" href="BooleSet_8cc_source.html#l00394">polybori::BooleSet::minimalElements()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00296">polybori::groebner::mod_deg2_set()</a>, <a class="el" href="nf_8cc_source.html#l02480">polybori::groebner::mod_mon_set()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00246">polybori::groebner::mod_var_set()</a>, <a class="el" href="BooleExponent_8cc_source.html#l00446">polybori::BooleExponent::multiples()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02059">polybori::groebner::recursively_insert()</a>, <a class="el" href="interpolate_8cc_source.html#l00054">polybori::groebner::variety_lex_leading_terms()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p> </div> </div><p> <a class="anchor" name="65cf8fbce2b06128d83b86f49670e33a"></a><!-- doxytag: member="polybori::CDDInterface::managerCore" ref="65cf8fbce2b06128d83b86f49670e33a" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#f04a1aa611802efb65282d2ad405c45b">core_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::managerCore </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> <p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00290">polybori::BooleSet::begin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00960">polybori::BoolePolynomial::begin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00912">polybori::BoolePolynomial::degBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00993">polybori::BoolePolynomial::genericBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l01069">polybori::BoolePolynomial::genericExpBegin()</a>, <a class="el" href="BooleSet_8cc_source.html#l00469">polybori::BooleSet::print()</a>, and <a class="el" href="BoolePolynomial_8cc_source.html#l00844">polybori::BoolePolynomial::print()</a>.</p> </div> </div><p> <a class="anchor" name="477a0f68a5528de0d6a74c28b1fc54b4"></a><!-- doxytag: member="polybori::CDDInterface::minimalElements" ref="477a0f68a5528de0d6a74c28b1fc54b4" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::minimalElements </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Returns minimal factors of all minimal terms. <p> <p>Reimplemented in <a class="el" href="classpolybori_1_1BooleSet.html#3ce39e5c8210af2b3b8163502c67b3e6">polybori::BooleSet</a>.</p> </div> </div><p> <a class="anchor" name="7dde88b9d522c7faae213f8e75ba4b12"></a><!-- doxytag: member="polybori::CDDInterface::navigation" ref="7dde88b9d522c7faae213f8e75ba4b12" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html">navigator</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::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 ZDD by incrementThen(), incrementElse(), and terminated(). <p> <p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00290">polybori::BooleSet::begin()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00344">polybori::groebner::contained_deg2_cudd_style()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00307">polybori::groebner::contained_variables_cudd_style()</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="BooleSet_8cc_source.html#l00455">polybori::BooleSet::existAbstract()</a>, <a class="el" href="BooleSet_8cc_source.html#l00331">polybori::BooleSet::firstDivisorsOf()</a>, <a class="el" href="BooleSet_8cc_source.html#l00369">polybori::BooleSet::hasTermOfVariables()</a>, <a class="el" href="interpolate_8cc_source.html#l00234">polybori::groebner::include_divisors()</a>, <a class="el" href="interpolate_8cc_source.html#l00121">polybori::groebner::interpolate()</a>, <a class="el" href="interpolate_8cc_source.html#l00182">polybori::groebner::interpolate_smallest_lex()</a>, <a class="el" href="nf_8cc_source.html#l01775">polybori::groebner::ll_red_nf_generic()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01821">polybori::groebner::minimal_elements_cudd_style_unary()</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="BooleSet_8cc_source.html#l00394">polybori::BooleSet::minimalElements()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00260">polybori::groebner::mod_deg2_set()</a>, <a class="el" href="nf_8cc_source.html#l02480">polybori::groebner::mod_mon_set()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00204">polybori::groebner::mod_var_set()</a>, <a class="el" href="BooleSet_8cc_source.html#l00358">polybori::BooleSet::multiplesOf()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00501">polybori::BoolePolynomial::operator*=()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00552">polybori::BoolePolynomial::operator/=()</a>, <a class="el" href="BooleSet_8cc_source.html#l00282">polybori::BooleSet::owns()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02059">polybori::groebner::recursively_insert()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p> </div> </div><p> <a class="anchor" name="f13a6ae0bf2ab99c2b17f631829fa78f"></a><!-- doxytag: member="polybori::CDDInterface::nNodes" ref="f13a6ae0bf2ab99c2b17f631829fa78f" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::nNodes </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get number of nodes in decision diagram. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00795">polybori::BoolePolynomial::nNodes()</a>.</p> </div> </div><p> <a class="anchor" name="101d1f478212b83bdcb5de8cda227c6c"></a><!-- doxytag: member="polybori::CDDInterface::nSupport" ref="101d1f478212b83bdcb5de8cda227c6c" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::nSupport </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get numbers of used variables. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00804">polybori::BoolePolynomial::nUsedVariables()</a>.</p> </div> </div><p> <a class="anchor" name="977112822d6abc67de39dd7712cd56a9"></a><!-- doxytag: member="polybori::CDDInterface::nVariables" ref="977112822d6abc67de39dd7712cd56a9" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::nVariables </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Returns number of variables in manager. <p> </div> </div><p> <a class="anchor" name="9f44fa6d8bf28213ab63d9601f814a3f"></a><!-- doxytag: member="polybori::CDDInterface::operator!=" ref="9f44fa6d8bf28213ab63d9601f814a3f" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::operator!= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Nonequality check. <p> </div> </div><p> <a class="anchor" name="050d1bd7a007d90aef802f1f4cbabd3c"></a><!-- doxytag: member="polybori::CDDInterface::operator==" ref="050d1bd7a007d90aef802f1f4cbabd3c" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::operator== </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Equality check. <p> </div> </div><p> <a class="anchor" name="a4bc116bf1554d0fcf77766319db54e3"></a><!-- doxytag: member="polybori::CDDInterface::ownsOne" ref="a4bc116bf1554d0fcf77766319db54e3" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::ownsOne </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Test whether the empty set is included. <p> <p>Referenced by <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01821">polybori::groebner::minimal_elements_cudd_style_unary()</a>, and <a class="el" href="nf_8cc_source.html#l02480">polybori::groebner::mod_mon_set()</a>.</p> </div> </div><p> <a class="anchor" name="f0936c6d8261b45f4b9d8d87f6364623"></a><!-- doxytag: member="polybori::CDDInterface::prettyPrint" ref="f0936c6d8261b45f4b9d8d87f6364623" args="(filename_type filename) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">bool_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::prettyPrint </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#6da7252e8579b44c832b6d1c343063ae">filename_type</a> </td> <td class="paramname"> <em>filename</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Print Dot-output to file given by file name. <p> </div> </div><p> <a class="anchor" name="9f03d240edf9220ace28654cf21143be"></a><!-- doxytag: member="polybori::CDDInterface::prettyPrint" ref="9f03d240edf9220ace28654cf21143be" args="(pretty_out_type filehandle=stdout) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">void <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::prettyPrint </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#f8429917ee2c4fe2e1430d29b54da631">pretty_out_type</a> </td> <td class="paramname"> <em>filehandle</em> = <code>stdout</code> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Print Dot-output to file given by file handle. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00868">polybori::BoolePolynomial::prettyPrint()</a>.</p> </div> </div><p> <a class="anchor" name="2b3f1d292626e0baae5979e72352dd64"></a><!-- doxytag: member="polybori::CDDInterface::print" ref="2b3f1d292626e0baae5979e72352dd64" args="(ostream_type &os) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">ostream_type</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::print </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#9b21d36a78a7e9cb12486a4a0ae1c1c0">ostream_type</a> & </td> <td class="paramname"> <em>os</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get number of nodes in decision diagram. <p> <p> Enable ostream cout and cerr (at least) <p>Reimplemented in <a class="el" href="classpolybori_1_1BooleSet.html#1788bdeba1025c287af01f0ab7569c13">polybori::BooleSet</a>.</p> </div> </div><p> <a class="anchor" name="48c207e7da8cfdf9457749cf19f17e32"></a><!-- doxytag: member="polybori::CDDInterface::product" ref="48c207e7da8cfdf9457749cf19f17e32" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::product </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Product. <p> </div> </div><p> <a class="anchor" name="d503e4affae5e573b656709e0a20b986"></a><!-- doxytag: member="polybori::CDDInterface::productAssign" ref="d503e4affae5e573b656709e0a20b986" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::productAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Product with assignment. <p> </div> </div><p> <a class="anchor" name="5128cab0f470b0dec943f7c33d6e2f17"></a><!-- doxytag: member="polybori::CDDInterface::size" ref="5128cab0f470b0dec943f7c33d6e2f17" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#3c5302a498f41b02a778f65c720c3441">size_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::size </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Returns number of terms. <p> <p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00499">polybori::BooleSet::countIndex()</a>, <a class="el" href="BooleSet_8cc_source.html#l00505">polybori::BooleSet::countIndexDouble()</a>, and <a class="el" href="interpolate_8cc_source.html#l00054">polybori::groebner::variety_lex_leading_terms()</a>.</p> </div> </div><p> <a class="anchor" name="530176a8be3693d2aa36d003fb25ee94"></a><!-- doxytag: member="polybori::CDDInterface::sizeDouble" ref="530176a8be3693d2aa36d003fb25ee94" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">double <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::sizeDouble </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="02bea25795fd5fd691eeea688e0b86d1"></a><!-- doxytag: member="polybori::CDDInterface::stableHash" ref="02bea25795fd5fd691eeea688e0b86d1" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html#ebd02aee609d3195f736e1b0b1de6c86">hash_type</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::stableHash </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get stable hash value, which is reproducible. <p> </div> </div><p> <a class="anchor" name="2b3fc32266bd01a4358fcd2acb6acb26"></a><!-- doxytag: member="polybori::CDDInterface::subSet" ref="2b3fc32266bd01a4358fcd2acb6acb26" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::subSet </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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="1f187bf7bfc67573af3bd982961cfa69"></a><!-- doxytag: member="polybori::CDDInterface::subset0" ref="1f187bf7bfc67573af3bd982961cfa69" args="(idx_type idx) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::subset0 </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Generate subset, where decision diagram manager variable idx is false. <p> </div> </div><p> <a class="anchor" name="588867d4ef9bbce684a0814ee284185a"></a><!-- doxytag: member="polybori::CDDInterface::subset0Assign" ref="588867d4ef9bbce684a0814ee284185a" args="(idx_type idx)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::subset0Assign </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> subset0 with assignment <p> </div> </div><p> <a class="anchor" name="674bdebf1957e9d8c053d72e5e6ef5bb"></a><!-- doxytag: member="polybori::CDDInterface::subset1" ref="674bdebf1957e9d8c053d72e5e6ef5bb" args="(idx_type idx) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::subset1 </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Generate subset, where decision diagram manager variable idx is asserted. <p> </div> </div><p> <a class="anchor" name="6348b342a055af6144dcda0a63e3dabb"></a><!-- doxytag: member="polybori::CDDInterface::subset1Assign" ref="6348b342a055af6144dcda0a63e3dabb" args="(idx_type idx)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::subset1Assign </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CDDInterface.html#a0c138660bde4b5b935243c2bfd8c6aa">idx_type</a> </td> <td class="paramname"> <em>idx</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> subset1 with assignment <p> <p>Referenced by <a class="el" href="BooleMonomial_8cc_source.html#l00181">polybori::BooleMonomial::operator/=()</a>.</p> </div> </div><p> <a class="anchor" name="6aba64d24b0795670dda592a0ec1330f"></a><!-- doxytag: member="polybori::CDDInterface::support" ref="6aba64d24b0795670dda592a0ec1330f" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::support </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get multiples of used variables. <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00607">polybori::BoolePolynomial::operator%=()</a>.</p> </div> </div><p> <a class="anchor" name="f199d6c33745d60e668ba8ec7362382f"></a><!-- doxytag: member="polybori::CDDInterface::supSet" ref="f199d6c33745d60e668ba8ec7362382f" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::supSet </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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="f6f84bbc8dc3e94a5ba03499af89c107"></a><!-- doxytag: member="polybori::CDDInterface::unateProduct" ref="f6f84bbc8dc3e94a5ba03499af89c107" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::unateProduct </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Unate product. <p> <p>Referenced by <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>, and <a class="el" href="groebner__alg_8cc_source.html#l00796">polybori::groebner::reduce_complete()</a>.</p> </div> </div><p> <a class="anchor" name="5a3d124510ee060e88cfe30a41e3a730"></a><!-- doxytag: member="polybori::CDDInterface::unateProductAssign" ref="5a3d124510ee060e88cfe30a41e3a730" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::unateProductAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Unate product with assignment. <p> <p>Referenced by <a class="el" href="BooleMonomial_8cc_source.html#l00143">polybori::BooleMonomial::operator*=()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00716">polybori::groebner::reduce_by_monom()</a>.</p> </div> </div><p> <a class="anchor" name="c2d7c3cab926aa4d332f52610b194f5a"></a><!-- doxytag: member="polybori::CDDInterface::unite" ref="c2d7c3cab926aa4d332f52610b194f5a" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::unite </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Set union. <p> </div> </div><p> <a class="anchor" name="9790974bdc39f5abaa46e3882876ab7b"></a><!-- doxytag: member="polybori::CDDInterface::uniteAssign" ref="9790974bdc39f5abaa46e3882876ab7b" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::uniteAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Set union with assignment. <p> </div> </div><p> <a class="anchor" name="9c8ba5faa7c153f0b0b75ceaec06d15a"></a><!-- doxytag: member="polybori::CDDInterface::usedIndices" ref="9c8ba5faa7c153f0b0b75ceaec06d15a" args="() const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname">int* <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::usedIndices </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get used variables (assuming indices of length <a class="el" href="classpolybori_1_1CDDInterface.html#101d1f478212b83bdcb5de8cda227c6c" title="Get numbers of used variables.">nSupport()</a>). <p> <p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00394">polybori::BooleSet::minimalElements()</a>, and <a class="el" href="BooleSet_8cc_source.html#l00443">polybori::BooleSet::usedVariablesExp()</a>.</p> </div> </div><p> <a class="anchor" name="74cf302d21f752cacd41581ba4e0de0a"></a><!-- doxytag: member="polybori::CDDInterface::usedIndices" ref="74cf302d21f752cacd41581ba4e0de0a" args="(VectorLikeType &indices) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <div class="memtemplate"> template<class VectorLikeType > </div> <table class="memname"> <tr> <td class="memname">void <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::usedIndices </td> <td>(</td> <td class="paramtype">VectorLikeType & </td> <td class="paramname"> <em>indices</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Get used variables (assuming indices of zero length). <p> <p>Referenced by <a class="el" href="BoolePolynomial_8cc_source.html#l00822">polybori::BoolePolynomial::usedVariablesExp()</a>.</p> </div> </div><p> <a class="anchor" name="634fdc163c3446d95e6c23ea9a6cc64f"></a><!-- doxytag: member="polybori::CDDInterface::weakDivide" ref="634fdc163c3446d95e6c23ea9a6cc64f" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::weakDivide </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Weak division. <p> </div> </div><p> <a class="anchor" name="cea5039d309b02dce68a1abed99b46d9"></a><!-- doxytag: member="polybori::CDDInterface::weakDivideAssign" ref="cea5039d309b02dce68a1abed99b46d9" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a>& <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::weakDivideAssign </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> Weak division with assignment. <p> </div> </div><p> <a class="anchor" name="17ff3bbba87ecd58056ca6334863a8d9"></a><!-- doxytag: member="polybori::CDDInterface::Xor" ref="17ff3bbba87ecd58056ca6334863a8d9" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class CuddLikeZDD> </div> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CDDInterface.html">self</a> <a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface</a>< CuddLikeZDD >::Xor </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CDDInterface.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> <hr>The documentation for this class was generated from the following file:<ul> <li><a class="el" href="CDDInterface_8h_source.html">CDDInterface.h</a></ul> </div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:02 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>