<!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::CCuddNavigator Class Reference</title> <link href="tabs.css" rel="stylesheet" type="text/css"> <link href="doxygen.css" rel="stylesheet" type="text/css"> </head><body> <!-- Generated by Doxygen 1.5.9 --> <div class="navigation" id="top"> <div class="tabs"> <ul> <li><a href="index.html"><span>Main Page</span></a></li> <li><a href="pages.html"><span>Related Pages</span></a></li> <li><a href="namespaces.html"><span>Namespaces</span></a></li> <li class="current"><a href="annotated.html"><span>Classes</span></a></li> <li><a href="files.html"><span>Files</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="annotated.html"><span>Class List</span></a></li> <li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li> <li><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> <div class="navpath"><a class="el" href="namespacepolybori.html">polybori</a>::<a class="el" href="classpolybori_1_1CCuddNavigator.html">CCuddNavigator</a> </div> </div> <div class="contents"> <h1>polybori::CCuddNavigator Class Reference</h1><!-- doxytag: class="polybori::CCuddNavigator" -->This class defines an iterator for navigating through then and else branches of ZDDs. <a href="#_details">More...</a> <p> <code>#include <<a class="el" href="CCuddNavigator_8h_source.html">CCuddNavigator.h</a>></code> <p> <div class="dynheader"> Inheritance diagram for polybori::CCuddNavigator:</div> <div class="dynsection"> <p><center><img src="classpolybori_1_1CCuddNavigator.png" usemap="#polybori::CCuddNavigator_map" border="0" alt=""></center> <map name="polybori::CCuddNavigator_map"> <area href="classpolybori_1_1CCuddLastIter.html" alt="polybori::CCuddLastIter" shape="rect" coords="0,56,158,80"> </map> </div> <p> <a href="classpolybori_1_1CCuddNavigator-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 DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8c2a3518d0c3b93751586e7ff67f578f">pointer_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Cudd's node pointer. <a href="#8c2a3518d0c3b93751586e7ff67f578f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddZDD.html">CTypes::dd_base</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#f28e183b4366310d51d848171f03f46d">dd_base</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Cudd's node pointer. <a href="#f28e183b4366310d51d848171f03f46d"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef const <a class="el" href="classpolybori_1_1CCuddNavigator.html#8c2a3518d0c3b93751586e7ff67f578f">pointer_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#79d298c75097aea886d3843ac4ba27a1">const_access_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for constantly accessing node pointer. <a href="#79d298c75097aea886d3843ac4ba27a1"></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_1CCuddNavigator.html#8de42543eb01b34efac8e963752c3be9">idx_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for indices. <a href="#8de42543eb01b34efac8e963752c3be9"></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_1CCuddNavigator.html#164825b7261631e0ebe683cd4d9713a8">size_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for indices. <a href="#164825b7261631e0ebe683cd4d9713a8"></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_1CCuddNavigator.html#067c677f8731ac1ffd4a53e3e2926e8e">hash_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for hashing. <a href="#067c677f8731ac1ffd4a53e3e2926e8e"></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_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Type for boolean results. <a href="#8be6ae464c6a121b7daa58a665f9c3b5"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html#8de42543eb01b34efac8e963752c3be9">idx_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#5f265068f97d3a335d30c65ba9d5d8fd">value_type</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Return type of dereferencing operator. <a href="#5f265068f97d3a335d30c65ba9d5d8fd"></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_1CCuddNavigator.html#be2a710c2a21e85039423376066fd16f">self</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Get type of *this. <a href="#be2a710c2a21e85039423376066fd16f"></a><br></td></tr> <tr><td colspan="2"><div class="groupHeader">Interface types for standard iterator access</div></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1navigator__tag.html">navigator_tag</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#5905cb8634f62f371054b74c8e56dc51">iterator_category</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef std::iterator_traits<br class="typebreak"> < <a class="el" href="classpolybori_1_1CCuddNavigator.html#8c2a3518d0c3b93751586e7ff67f578f">pointer_type</a> ><br class="typebreak"> ::<a class="el" href="classpolybori_1_1CCuddNavigator.html#2c71fe8b0785e3b97fa8a16e804ba91a">difference_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#2c71fe8b0785e3b97fa8a16e804ba91a">difference_type</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#3ecaa70dba4ec25cccdb22549d280134">pointer</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html#5f265068f97d3a335d30c65ba9d5d8fd">value_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#dbf2ab6a790006de8d83150e01fbf865">reference</a></td></tr> <tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#a66dc44b2f904dcbee61d2af816869a0">CCuddNavigator</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Default constructor. <a href="#a66dc44b2f904dcbee61d2af816869a0"></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_1CCuddNavigator.html#692d0757032fc8b46801d2ecd3e8311a">CCuddNavigator</a> (<a class="el" href="classpolybori_1_1CCuddNavigator.html#8c2a3518d0c3b93751586e7ff67f578f">pointer_type</a> ptr)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct from node pointer. <a href="#692d0757032fc8b46801d2ecd3e8311a"></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_1CCuddNavigator.html#ee88d365e69eb33d1f05a4ec28f28d31">CCuddNavigator</a> (const <a class="el" href="classpolybori_1_1CCuddZDD.html">dd_base</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Construct from decision diagram. <a href="#ee88d365e69eb33d1f05a4ec28f28d31"></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_1CCuddNavigator.html#626f0cc9014ea4e2ff695120a9842f74">CCuddNavigator</a> (const <a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> &rhs)</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Copy Constructor. <a href="#626f0cc9014ea4e2ff695120a9842f74"></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_1CCuddNavigator.html#b4c25e02c22615c49f5e6e74eadf649a">~CCuddNavigator</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#b4c25e02c22615c49f5e6e74eadf649a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#509ef978bd47f74e651411ec2fe50ad3">incrementThen</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Increment in then direction. <a href="#509ef978bd47f74e651411ec2fe50ad3"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#f2d46ab831a4baaefdce05fb686b07f5">thenBranch</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Increment in then direction. <a href="#f2d46ab831a4baaefdce05fb686b07f5"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#347269fc9b99ffec1b93bbd6f44bcf27">incrementElse</a> ()</td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Increment in else direction. <a href="#347269fc9b99ffec1b93bbd6f44bcf27"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#bad998777186a38fa0db7acf2ac086d6">elseBranch</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Increment in else direction. <a href="#bad998777186a38fa0db7acf2ac086d6"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#dbf2ab6a790006de8d83150e01fbf865">reference</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#91712f6cf663ad2783e4b4939ffa5b64">operator*</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Constant dereference operator. <a href="#91712f6cf663ad2783e4b4939ffa5b64"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#79d298c75097aea886d3843ac4ba27a1">const_access_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#62c601bf5bb0935aedafa980c237feff">operator-></a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Constant pointer access operator. <a href="#62c601bf5bb0935aedafa980c237feff"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#79d298c75097aea886d3843ac4ba27a1">const_access_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#0244a90132338327589f7447edadfe56">getNode</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Constant pointer access operator. <a href="#0244a90132338327589f7447edadfe56"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#067c677f8731ac1ffd4a53e3e2926e8e">hash_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#9dcf1d9c2cae3f72cdb2ecb0d0380d7e">hash</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Constant pointer access operator. <a href="#9dcf1d9c2cae3f72cdb2ecb0d0380d7e"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#0f63f52b4bc8bd6195ea6cb9cf6a9e93">operator==</a> (const <a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Equality test. <a href="#0f63f52b4bc8bd6195ea6cb9cf6a9e93"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#83b7f2331a2a14729e3c9e7226af159a">operator!=</a> (const <a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> &rhs) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Nonequality test. <a href="#83b7f2331a2a14729e3c9e7226af159a"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#565297a790f653c7c68bbe329f20061e">isConstant</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether constant node was reached. <a href="#565297a790f653c7c68bbe329f20061e"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#5a22617f92b0d88e461d922efec2c93c">terminalValue</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether terminal node marks end of path. <a href="#5a22617f92b0d88e461d922efec2c93c"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#458deac816e54ad5d5293b2461d4e36e">isValid</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether *this is not the default iterator <a class="el" href="classpolybori_1_1CCuddNavigator.html#be2a710c2a21e85039423376066fd16f" title="Get type of *this.">self()</a> (NULL pointer). <a href="#458deac816e54ad5d5293b2461d4e36e"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#f175a18a699044106209a27129cdb41f">isTerminated</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether end of path was reached. <a href="#f175a18a699044106209a27129cdb41f"></a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#381305661115f5a32d727c82649a066f">isEmpty</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether dead end was reached. <a href="#381305661115f5a32d727c82649a066f"></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_1CCuddNavigator.html#ab995a3941060c3745506044c8a91da7">incRef</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Force incrementation of reference count. <a href="#ab995a3941060c3745506044c8a91da7"></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_1CCuddNavigator.html#d0d404eebf6c0b8ef38377a3b9eb4c0a">decRef</a> () const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Force decrementation of reference count. <a href="#d0d404eebf6c0b8ef38377a3b9eb4c0a"></a><br></td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class MgrType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#2c9629342083e284ef9ef68242df950a">recursiveDecRef</a> (const MgrType &mgr) const </td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">Force recursive decrementation of reference count. <a href="#2c9629342083e284ef9ef68242df950a"></a><br></td></tr> <tr><td colspan="2"><div class="groupHeader">Pointer-like comparision operations</div></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#56e9a97f4a6a08cfdbc37bae0ff230bb">operator<</a> (const <a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#73646f1587f490dfde10ad2169f59a21">operator<=</a> (const <a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#585ab4594c351307e7fa158f41072dbb">operator></a> (const <a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> &rhs) const </td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CCuddNavigator.html#ff30ee566b63e53e8701d65e38e8c5b2">operator>=</a> (const <a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> &rhs) const </td></tr> </table> <hr><a name="_details"></a><h2>Detailed Description</h2> This class defines an iterator for navigating through then and else branches of ZDDs. <p> This class defines an iterator over the first minimal term of a given ZDD node. <hr><h2>Member Typedef Documentation</h2> <a class="anchor" name="8be6ae464c6a121b7daa58a665f9c3b5"></a><!-- doxytag: member="polybori::CCuddNavigator::bool_type" ref="8be6ae464c6a121b7daa58a665f9c3b5" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#ae2c602841648d0b2b240eb3b612111e">CTypes::bool_type</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">polybori::CCuddNavigator::bool_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for boolean results. <p> </div> </div><p> <a class="anchor" name="79d298c75097aea886d3843ac4ba27a1"></a><!-- doxytag: member="polybori::CCuddNavigator::const_access_type" ref="79d298c75097aea886d3843ac4ba27a1" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef const <a class="el" href="classpolybori_1_1CCuddNavigator.html#8c2a3518d0c3b93751586e7ff67f578f">pointer_type</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html#79d298c75097aea886d3843ac4ba27a1">polybori::CCuddNavigator::const_access_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for constantly accessing node pointer. <p> </div> </div><p> <a class="anchor" name="f28e183b4366310d51d848171f03f46d"></a><!-- doxytag: member="polybori::CCuddNavigator::dd_base" ref="f28e183b4366310d51d848171f03f46d" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddZDD.html">CTypes::dd_base</a> <a class="el" href="classpolybori_1_1CCuddZDD.html">polybori::CCuddNavigator::dd_base</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Cudd's node pointer. <p> </div> </div><p> <a class="anchor" name="2c71fe8b0785e3b97fa8a16e804ba91a"></a><!-- doxytag: member="polybori::CCuddNavigator::difference_type" ref="2c71fe8b0785e3b97fa8a16e804ba91a" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef std::iterator_traits<<a class="el" href="classpolybori_1_1CCuddNavigator.html#8c2a3518d0c3b93751586e7ff67f578f">pointer_type</a>>::<a class="el" href="classpolybori_1_1CCuddNavigator.html#2c71fe8b0785e3b97fa8a16e804ba91a">difference_type</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html#2c71fe8b0785e3b97fa8a16e804ba91a">polybori::CCuddNavigator::difference_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="067c677f8731ac1ffd4a53e3e2926e8e"></a><!-- doxytag: member="polybori::CCuddNavigator::hash_type" ref="067c677f8731ac1ffd4a53e3e2926e8e" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#eb07372fd3478864402ba0e30b211d5e">CTypes::hash_type</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html#067c677f8731ac1ffd4a53e3e2926e8e">polybori::CCuddNavigator::hash_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for hashing. <p> </div> </div><p> <a class="anchor" name="8de42543eb01b34efac8e963752c3be9"></a><!-- doxytag: member="polybori::CCuddNavigator::idx_type" ref="8de42543eb01b34efac8e963752c3be9" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#8c170014c637d9ecf5950063ca30ef46">CTypes::idx_type</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html#8de42543eb01b34efac8e963752c3be9">polybori::CCuddNavigator::idx_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for indices. <p> </div> </div><p> <a class="anchor" name="5905cb8634f62f371054b74c8e56dc51"></a><!-- doxytag: member="polybori::CCuddNavigator::iterator_category" ref="5905cb8634f62f371054b74c8e56dc51" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1navigator__tag.html">navigator_tag</a> <a class="el" href="structpolybori_1_1navigator__tag.html">polybori::CCuddNavigator::iterator_category</a> </td> </tr> </table> </div> <div class="memdoc"> <p> <p>Reimplemented in <a class="el" href="classpolybori_1_1CCuddLastIter.html#5c7e5f5f54aedb03fe6ea1a6f72eb53c">polybori::CCuddLastIter</a>.</p> </div> </div><p> <a class="anchor" name="3ecaa70dba4ec25cccdb22549d280134"></a><!-- doxytag: member="polybori::CCuddNavigator::pointer" ref="3ecaa70dba4ec25cccdb22549d280134" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef void <a class="el" href="classpolybori_1_1CCuddNavigator.html#3ecaa70dba4ec25cccdb22549d280134">polybori::CCuddNavigator::pointer</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="8c2a3518d0c3b93751586e7ff67f578f"></a><!-- doxytag: member="polybori::CCuddNavigator::pointer_type" ref="8c2a3518d0c3b93751586e7ff67f578f" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef DdNode* <a class="el" href="classpolybori_1_1CCuddNavigator.html#8c2a3518d0c3b93751586e7ff67f578f">polybori::CCuddNavigator::pointer_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Cudd's node pointer. <p> </div> </div><p> <a class="anchor" name="dbf2ab6a790006de8d83150e01fbf865"></a><!-- doxytag: member="polybori::CCuddNavigator::reference" ref="dbf2ab6a790006de8d83150e01fbf865" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html#5f265068f97d3a335d30c65ba9d5d8fd">value_type</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html#dbf2ab6a790006de8d83150e01fbf865">polybori::CCuddNavigator::reference</a> </td> </tr> </table> </div> <div class="memdoc"> <p> </div> </div><p> <a class="anchor" name="be2a710c2a21e85039423376066fd16f"></a><!-- doxytag: member="polybori::CCuddNavigator::self" ref="be2a710c2a21e85039423376066fd16f" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html">CCuddNavigator</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html">polybori::CCuddNavigator::self</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Get type of *this. <p> <p>Reimplemented in <a class="el" href="classpolybori_1_1CCuddLastIter.html#ccd977ed12ea32756a074c437195fcda">polybori::CCuddLastIter</a>.</p> </div> </div><p> <a class="anchor" name="164825b7261631e0ebe683cd4d9713a8"></a><!-- doxytag: member="polybori::CCuddNavigator::size_type" ref="164825b7261631e0ebe683cd4d9713a8" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="structpolybori_1_1CAuxTypes.html#0e254f927049b57061437ac57ea5c2cd">CTypes::size_type</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html#164825b7261631e0ebe683cd4d9713a8">polybori::CCuddNavigator::size_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Type for indices. <p> </div> </div><p> <a class="anchor" name="5f265068f97d3a335d30c65ba9d5d8fd"></a><!-- doxytag: member="polybori::CCuddNavigator::value_type" ref="5f265068f97d3a335d30c65ba9d5d8fd" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">typedef <a class="el" href="classpolybori_1_1CCuddNavigator.html#8de42543eb01b34efac8e963752c3be9">idx_type</a> <a class="el" href="classpolybori_1_1CCuddNavigator.html#5f265068f97d3a335d30c65ba9d5d8fd">polybori::CCuddNavigator::value_type</a> </td> </tr> </table> </div> <div class="memdoc"> <p> Return type of dereferencing operator. <p> </div> </div><p> <hr><h2>Constructor & Destructor Documentation</h2> <a class="anchor" name="a66dc44b2f904dcbee61d2af816869a0"></a><!-- doxytag: member="polybori::CCuddNavigator::CCuddNavigator" ref="a66dc44b2f904dcbee61d2af816869a0" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::CCuddNavigator::CCuddNavigator </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="692d0757032fc8b46801d2ecd3e8311a"></a><!-- doxytag: member="polybori::CCuddNavigator::CCuddNavigator" ref="692d0757032fc8b46801d2ecd3e8311a" args="(pointer_type ptr)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::CCuddNavigator::CCuddNavigator </td> <td>(</td> <td class="paramtype"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8c2a3518d0c3b93751586e7ff67f578f">pointer_type</a> </td> <td class="paramname"> <em>ptr</em> </td> <td> ) </td> <td><code> [inline, explicit]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Construct from node pointer. <p> </div> </div><p> <a class="anchor" name="ee88d365e69eb33d1f05a4ec28f28d31"></a><!-- doxytag: member="polybori::CCuddNavigator::CCuddNavigator" ref="ee88d365e69eb33d1f05a4ec28f28d31" args="(const dd_base &rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::CCuddNavigator::CCuddNavigator </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddZDD.html">dd_base</a> & </td> <td class="paramname"> <em>rhs</em> </td> <td> ) </td> <td><code> [inline, explicit]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Construct from decision diagram. <p> </div> </div><p> <a class="anchor" name="626f0cc9014ea4e2ff695120a9842f74"></a><!-- doxytag: member="polybori::CCuddNavigator::CCuddNavigator" ref="626f0cc9014ea4e2ff695120a9842f74" args="(const self &rhs)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::CCuddNavigator::CCuddNavigator </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.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="b4c25e02c22615c49f5e6e74eadf649a"></a><!-- doxytag: member="polybori::CCuddNavigator::~CCuddNavigator" ref="b4c25e02c22615c49f5e6e74eadf649a" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::CCuddNavigator::~CCuddNavigator </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="d0d404eebf6c0b8ef38377a3b9eb4c0a"></a><!-- doxytag: member="polybori::CCuddNavigator::decRef" ref="d0d404eebf6c0b8ef38377a3b9eb4c0a" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">void polybori::CCuddNavigator::decRef </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Force decrementation of reference count. <p> <p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00394">polybori::BooleSet::minimalElements()</a>, and <a class="el" href="CCuddGetNode_8cc_source.html#l00073">polybori::CCuddGetNode::operator()()</a>.</p> </div> </div><p> <a class="anchor" name="bad998777186a38fa0db7acf2ac086d6"></a><!-- doxytag: member="polybori::CCuddNavigator::elseBranch" ref="bad998777186a38fa0db7acf2ac086d6" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> polybori::CCuddNavigator::elseBranch </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Increment in else direction. <p> <p>References <a class="el" href="CCuddNavigator_8h_source.html#l00285">incrementElse()</a>.</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="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="nf_8cc_source.html#l01829">polybori::groebner::do_plug_1()</a>, <a class="el" href="interpolate_8cc_source.html#l00234">polybori::groebner::include_divisors()</a>, <a class="el" href="nf_8cc_source.html#l01775">polybori::groebner::ll_red_nf_generic()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02273">polybori::groebner::map_every_x_to_x_plus_one()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01821">polybori::groebner::minimal_elements_cudd_style_unary()</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="CCuddGetNode_8cc_source.html#l00073">polybori::CCuddGetNode::operator()()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l02044">polybori::groebner::recursively_insert()</a>.</p> </div> </div><p> <a class="anchor" name="0244a90132338327589f7447edadfe56"></a><!-- doxytag: member="polybori::CCuddNavigator::getNode" ref="0244a90132338327589f7447edadfe56" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#79d298c75097aea886d3843ac4ba27a1">const_access_type</a> polybori::CCuddNavigator::getNode </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Constant pointer access operator. <p> <p>Referenced by <a class="el" href="CCacheManagement_8h_source.html#l00314">polybori::CCuddLikeMgrStorage< MgrType >::generate()</a>, <a class="el" href="pbori__algo__int_8h_source.html#l00605">polybori::dd_operations< CTypes::dd_type::navigator >::length()</a>, <a class="el" href="pbori__algo__int_8h_source.html#l00572">polybori::dd_operations< CTypes::dd_type::navigator >::newNodeAssign()</a>, <a class="el" href="pbori__algo__int_8h_source.html#l00602">polybori::dd_operations< CTypes::dd_type::navigator >::nSupport()</a>, <a class="el" href="CCuddGetNode_8cc_source.html#l00098">polybori::CCuddGetNode::operator()()</a>, and <a class="el" href="pbori__algo__int_8h_source.html#l00562">polybori::dd_operations< CTypes::dd_type::navigator >::replacingNode()</a>.</p> </div> </div><p> <a class="anchor" name="9dcf1d9c2cae3f72cdb2ecb0d0380d7e"></a><!-- doxytag: member="polybori::CCuddNavigator::hash" ref="9dcf1d9c2cae3f72cdb2ecb0d0380d7e" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#067c677f8731ac1ffd4a53e3e2926e8e">hash_type</a> polybori::CCuddNavigator::hash </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Constant pointer access operator. <p> </div> </div><p> <a class="anchor" name="ab995a3941060c3745506044c8a91da7"></a><!-- doxytag: member="polybori::CCuddNavigator::incRef" ref="ab995a3941060c3745506044c8a91da7" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">void polybori::CCuddNavigator::incRef </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Force incrementation of reference count. <p> <p>Referenced by <a class="el" href="pbori__algo__int_8h_source.html#l00592">polybori::dd_operations< CTypes::dd_type::navigator >::assign()</a>, <a class="el" href="pbori__algo__int_8h_source.html#l00609">polybori::dd_operations< CTypes::dd_type::navigator >::newNode()</a>, <a class="el" href="pbori__algo__int_8h_source.html#l00572">polybori::dd_operations< CTypes::dd_type::navigator >::newNodeAssign()</a>, <a class="el" href="CCuddGetNode_8cc_source.html#l00073">polybori::CCuddGetNode::operator()()</a>, and <a class="el" href="pbori__algo__int_8h_source.html#l00562">polybori::dd_operations< CTypes::dd_type::navigator >::replacingNode()</a>.</p> </div> </div><p> <a class="anchor" name="347269fc9b99ffec1b93bbd6f44bcf27"></a><!-- doxytag: member="polybori::CCuddNavigator::incrementElse" ref="347269fc9b99ffec1b93bbd6f44bcf27" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html">CCuddNavigator</a> & polybori::CCuddNavigator::incrementElse </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Increment in else direction. <p> <p>References <a class="el" href="CCuddNavigator_8h_source.html#l00207">isValid()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="CCuddLastIter_8cc_source.html#l00044">polybori::CCuddLastIter::CCuddLastIter()</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="CCuddNavigator_8h_source.html#l00180">elseBranch()</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#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="CCuddLastIter_8cc_source.html#l00085">polybori::CCuddLastIter::operator++()</a>, <a class="el" href="CDDInterface_8h_source.html#l00866">polybori::CDDInterface< dd_base >::ownsOne()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02562">polybori::groebner::red_tail_in_last_block()</a>, <a class="el" href="lexbuckets_8cc_source.html#l00022">polybori::groebner::without_prior_part()</a>, and <a class="el" href="interpolate_8cc_source.html#l00080">polybori::groebner::zeros()</a>.</p> </div> </div><p> <a class="anchor" name="509ef978bd47f74e651411ec2fe50ad3"></a><!-- doxytag: member="polybori::CCuddNavigator::incrementThen" ref="509ef978bd47f74e651411ec2fe50ad3" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html">CCuddNavigator</a> & polybori::CCuddNavigator::incrementThen </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Increment in then direction. <p> <p>References <a class="el" href="CCuddNavigator_8h_source.html#l00207">isValid()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="nf_8cc_source.html#l01775">polybori::groebner::ll_red_nf_generic()</a>, <a class="el" href="CCuddLastIter_8cc_source.html#l00085">polybori::CCuddLastIter::operator++()</a>, and <a class="el" href="CCuddNavigator_8h_source.html#l00174">thenBranch()</a>.</p> </div> </div><p> <a class="anchor" name="565297a790f653c7c68bbe329f20061e"></a><!-- doxytag: member="polybori::CCuddNavigator::isConstant" ref="565297a790f653c7c68bbe329f20061e" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">CCuddNavigator::bool_type</a> polybori::CCuddNavigator::isConstant </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether constant node was reached. <p> <p>References <a class="el" href="CCuddNavigator_8h_source.html#l00207">isValid()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="CCuddLastIter_8cc_source.html#l00044">polybori::CCuddLastIter::CCuddLastIter()</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="interpolate_8cc_source.html#l00234">polybori::groebner::include_divisors()</a>, <a class="el" href="nf_8cc_source.html#l01775">polybori::groebner::ll_red_nf_generic()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02273">polybori::groebner::map_every_x_to_x_plus_one()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01154">polybori::groebner::minimal_elements_internal2()</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="CCuddLastIter_8cc_source.html#l00085">polybori::CCuddLastIter::operator++()</a>, <a class="el" href="CDDInterface_8h_source.html#l00866">polybori::CDDInterface< dd_base >::ownsOne()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02562">polybori::groebner::red_tail_in_last_block()</a>, <a class="el" href="CCuddNavigator_8h_source.html#l00263">terminalValue()</a>, and <a class="el" href="CCuddLastIter_8cc_source.html#l00122">polybori::CCuddLastIter::terminateConstant()</a>.</p> </div> </div><p> <a class="anchor" name="381305661115f5a32d727c82649a066f"></a><!-- doxytag: member="polybori::CCuddNavigator::isEmpty" ref="381305661115f5a32d727c82649a066f" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::isEmpty </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether dead end was reached. <p> <p>Referenced by <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>.</p> </div> </div><p> <a class="anchor" name="f175a18a699044106209a27129cdb41f"></a><!-- doxytag: member="polybori::CCuddNavigator::isTerminated" ref="f175a18a699044106209a27129cdb41f" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::isTerminated </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether end of path was reached. <p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l00307">polybori::groebner::contained_variables_cudd_style()</a>, and <a class="el" href="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>.</p> </div> </div><p> <a class="anchor" name="458deac816e54ad5d5293b2461d4e36e"></a><!-- doxytag: member="polybori::CCuddNavigator::isValid" ref="458deac816e54ad5d5293b2461d4e36e" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::isValid </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether *this is not the default iterator <a class="el" href="classpolybori_1_1CCuddNavigator.html#be2a710c2a21e85039423376066fd16f" title="Get type of *this.">self()</a> (NULL pointer). <p> <p>Referenced by <a class="el" href="BoolePolynomial_8h_source.html#l00542">polybori::BoolePolynomial::BoolePolynomial()</a>, <a class="el" href="CCuddLastIter_8cc_source.html#l00044">polybori::CCuddLastIter::CCuddLastIter()</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="CCuddNavigator_8h_source.html#l00285">incrementElse()</a>, <a class="el" href="CCuddNavigator_8h_source.html#l00273">incrementThen()</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="CCuddNavigator_8h_source.html#l00254">isConstant()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02273">polybori::groebner::map_every_x_to_x_plus_one()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00260">polybori::groebner::mod_deg2_set()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00204">polybori::groebner::mod_var_set()</a>, <a class="el" href="CCuddGetNode_8cc_source.html#l00098">polybori::CCuddGetNode::operator()()</a>, <a class="el" href="CCuddNavigator_8h_source.html#l00245">operator*()</a>, and <a class="el" href="CCuddLastIter_8cc_source.html#l00085">polybori::CCuddLastIter::operator++()</a>.</p> </div> </div><p> <a class="anchor" name="83b7f2331a2a14729e3c9e7226af159a"></a><!-- doxytag: member="polybori::CCuddNavigator::operator!=" ref="83b7f2331a2a14729e3c9e7226af159a" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::operator!= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.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 test. <p> </div> </div><p> <a class="anchor" name="91712f6cf663ad2783e4b4939ffa5b64"></a><!-- doxytag: member="polybori::CCuddNavigator::operator*" ref="91712f6cf663ad2783e4b4939ffa5b64" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#5f265068f97d3a335d30c65ba9d5d8fd">CCuddNavigator::value_type</a> polybori::CCuddNavigator::operator* </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Constant dereference operator. <p> <p>References <a class="el" href="CCuddNavigator_8h_source.html#l00207">isValid()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> </div> </div><p> <a class="anchor" name="62c601bf5bb0935aedafa980c237feff"></a><!-- doxytag: member="polybori::CCuddNavigator::operator->" ref="62c601bf5bb0935aedafa980c237feff" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#79d298c75097aea886d3843ac4ba27a1">const_access_type</a> polybori::CCuddNavigator::operator-> </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Constant pointer access operator. <p> </div> </div><p> <a class="anchor" name="56e9a97f4a6a08cfdbc37bae0ff230bb"></a><!-- doxytag: member="polybori::CCuddNavigator::operator<" ref="56e9a97f4a6a08cfdbc37bae0ff230bb" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::operator< </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.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="73646f1587f490dfde10ad2169f59a21"></a><!-- doxytag: member="polybori::CCuddNavigator::operator<=" ref="73646f1587f490dfde10ad2169f59a21" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::operator<= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.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="0f63f52b4bc8bd6195ea6cb9cf6a9e93"></a><!-- doxytag: member="polybori::CCuddNavigator::operator==" ref="0f63f52b4bc8bd6195ea6cb9cf6a9e93" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::operator== </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.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 test. <p> </div> </div><p> <a class="anchor" name="585ab4594c351307e7fa158f41072dbb"></a><!-- doxytag: member="polybori::CCuddNavigator::operator>" ref="585ab4594c351307e7fa158f41072dbb" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::operator> </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.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="ff30ee566b63e53e8701d65e38e8c5b2"></a><!-- doxytag: member="polybori::CCuddNavigator::operator>=" ref="ff30ee566b63e53e8701d65e38e8c5b2" args="(const self &rhs) const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">bool_type</a> polybori::CCuddNavigator::operator>= </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1CCuddNavigator.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="2c9629342083e284ef9ef68242df950a"></a><!-- doxytag: member="polybori::CCuddNavigator::recursiveDecRef" ref="2c9629342083e284ef9ef68242df950a" args="(const MgrType &mgr) const " --> <div class="memitem"> <div class="memproto"> <div class="memtemplate"> template<class MgrType > </div> <table class="memname"> <tr> <td class="memname">void polybori::CCuddNavigator::recursiveDecRef </td> <td>(</td> <td class="paramtype">const MgrType & </td> <td class="paramname"> <em>mgr</em> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Force recursive decrementation of reference count. <p> <p>Referenced by <a class="el" href="BooleSet_8cc_source.html#l00394">polybori::BooleSet::minimalElements()</a>, and <a class="el" href="CCuddGetNode_8cc_source.html#l00098">polybori::CCuddGetNode::operator()()</a>.</p> </div> </div><p> <a class="anchor" name="5a22617f92b0d88e461d922efec2c93c"></a><!-- doxytag: member="polybori::CCuddNavigator::terminalValue" ref="5a22617f92b0d88e461d922efec2c93c" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">CCuddNavigator::bool_type</a> polybori::CCuddNavigator::terminalValue </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Check whether terminal node marks end of path. <p> <p>References <a class="el" href="CCuddNavigator_8h_source.html#l00254">isConstant()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p> <p>Referenced by <a class="el" href="CCuddLastIter_8cc_source.html#l00044">polybori::CCuddLastIter::CCuddLastIter()</a>, <a class="el" href="CCuddLastIter_8cc_source.html#l00085">polybori::CCuddLastIter::operator++()</a>, and <a class="el" href="CDDInterface_8h_source.html#l00866">polybori::CDDInterface< dd_base >::ownsOne()</a>.</p> </div> </div><p> <a class="anchor" name="f2d46ab831a4baaefdce05fb686b07f5"></a><!-- doxytag: member="polybori::CCuddNavigator::thenBranch" ref="f2d46ab831a4baaefdce05fb686b07f5" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classpolybori_1_1CCuddNavigator.html">self</a> polybori::CCuddNavigator::thenBranch </td> <td>(</td> <td class="paramname"> </td> <td> ) </td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> Increment in then direction. <p> <p>References <a class="el" href="CCuddNavigator_8h_source.html#l00273">incrementThen()</a>.</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="polynomial__properties_8cc_source.html#l00013">polybori::groebner::do_is_rewriteable()</a>, <a class="el" href="nf_8cc_source.html#l01829">polybori::groebner::do_plug_1()</a>, <a class="el" href="interpolate_8cc_source.html#l00234">polybori::groebner::include_divisors()</a>, <a class="el" href="nf_8cc_source.html#l01775">polybori::groebner::ll_red_nf_generic()</a>, <a class="el" href="groebner__alg_8cc_source.html#l02273">polybori::groebner::map_every_x_to_x_plus_one()</a>, <a class="el" href="groebner__alg_8cc_source.html#l01821">polybori::groebner::minimal_elements_cudd_style_unary()</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="CCuddGetNode_8cc_source.html#l00073">polybori::CCuddGetNode::operator()()</a>, and <a class="el" href="groebner__alg_8cc_source.html#l02044">polybori::groebner::recursively_insert()</a>.</p> </div> </div><p> <hr>The documentation for this class was generated from the following file:<ul> <li><a class="el" href="CCuddNavigator_8h_source.html">CCuddNavigator.h</a></ul> </div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:01 2009 for PolyBoRi by <a href="http://www.doxygen.org/index.html"> <img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.9 </small></address> </body> </html>