<!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: Class Members - Functions</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 class="current"><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="functions.html"><span>All</span></a></li> <li class="current"><a href="functions_func.html"><span>Functions</span></a></li> <li><a href="functions_vars.html"><span>Variables</span></a></li> <li><a href="functions_type.html"><span>Typedefs</span></a></li> <li><a href="functions_enum.html"><span>Enumerations</span></a></li> <li><a href="functions_eval.html"><span>Enumerator</span></a></li> <li><a href="functions_rela.html"><span>Related Functions</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="functions_func.html#index_a"><span>a</span></a></li> <li><a href="functions_func_0x62.html#index_b"><span>b</span></a></li> <li><a href="functions_func_0x63.html#index_c"><span>c</span></a></li> <li><a href="functions_func_0x64.html#index_d"><span>d</span></a></li> <li><a href="functions_func_0x65.html#index_e"><span>e</span></a></li> <li><a href="functions_func_0x66.html#index_f"><span>f</span></a></li> <li><a href="functions_func_0x67.html#index_g"><span>g</span></a></li> <li><a href="functions_func_0x68.html#index_h"><span>h</span></a></li> <li><a href="functions_func_0x69.html#index_i"><span>i</span></a></li> <li><a href="functions_func_0x6b.html#index_k"><span>k</span></a></li> <li><a href="functions_func_0x6c.html#index_l"><span>l</span></a></li> <li><a href="functions_func_0x6d.html#index_m"><span>m</span></a></li> <li class="current"><a href="functions_func_0x6e.html#index_n"><span>n</span></a></li> <li><a href="functions_func_0x6f.html#index_o"><span>o</span></a></li> <li><a href="functions_func_0x70.html#index_p"><span>p</span></a></li> <li><a href="functions_func_0x72.html#index_r"><span>r</span></a></li> <li><a href="functions_func_0x73.html#index_s"><span>s</span></a></li> <li><a href="functions_func_0x74.html#index_t"><span>t</span></a></li> <li><a href="functions_func_0x75.html#index_u"><span>u</span></a></li> <li><a href="functions_func_0x76.html#index_v"><span>v</span></a></li> <li><a href="functions_func_0x77.html#index_w"><span>w</span></a></li> <li><a href="functions_func_0x78.html#index_x"><span>x</span></a></li> <li><a href="functions_func_0x7a.html#index_z"><span>z</span></a></li> <li><a href="functions_func_0x7e.html#index_~"><span>~</span></a></li> </ul> </div> </div> <div class="contents"> <p> <h3><a class="anchor" name="index_n">- n -</a></h3><ul> <li>navigation() : <a class="el" href="classpolybori_1_1BoolePolynomial.html#f922cc6c7798bfee714a6614165b1e8b">polybori::BoolePolynomial</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#7dde88b9d522c7faae213f8e75ba4b12">polybori::CDDInterface< CuddLikeZDD ></a> , <a class="el" href="classpolybori_1_1CTermIter.html#1ea248e80ab12270bcbe9e6295054d3c">polybori::CTermIter< StackType, TermGeneratorType ></a> , <a class="el" href="classpolybori_1_1CTermStackBase.html#948e758964f465a9eb0fd0d87e3ac33e">polybori::CTermStackBase< NavigatorType, BaseType ></a> , <a class="el" href="classpolybori_1_1COrderedIter.html#747ca8ab7115ba05edc1d6b3f64f9754">polybori::COrderedIter< NavigatorType, MonomType ></a> <li>newNode() : <a class="el" href="classpolybori_1_1dd__operations_3_01CTypes_1_1dd__type_1_1navigator_01_4.html#fe3b27fa849443ee92b3f7f15b17c75e">polybori::dd_operations< CTypes::dd_type::navigator ></a> <li>newNodeAssign() : <a class="el" href="classpolybori_1_1dd__operations_3_01CTypes_1_1dd__type_1_1navigator_01_4.html#973524b464a9c18eb5d99706aeb17d79">polybori::dd_operations< CTypes::dd_type::navigator ></a> <li>next() : <a class="el" href="classpolybori_1_1CTermStack.html#12e725cb958cd98fa7545d43a46482a1">polybori::CTermStack< NavigatorType, Category, BaseType ></a> , <a class="el" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#8066f7c24b84193cd1aeadf94268a333">polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType ></a> , <a class="el" href="classpolybori_1_1bounded__restricted__term.html#a3127d9e8c9ad9e37bdcbbd7d55eaf90">polybori::bounded_restricted_term< NaviType, DescendingProperty ></a> <li>nextResult() : <a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#850a195fb303a6c07f470f252f25ab5d">polybori::groebner::SlimgbReduction< variant ></a> <li>nextSpoly() : <a class="el" href="classpolybori_1_1groebner_1_1PairManager.html#dea02e6e08ac61ec841919831774bf36">polybori::groebner::PairManager</a> , <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html#e0a1d82c749bd279baab3e891bb6cd37">polybori::groebner::GroebnerStrategy</a> <li>nextThen() : <a class="el" href="classpolybori_1_1bounded__restricted__term.html#3fb86d3477abf58c0bf368d1a3ef8625">polybori::bounded_restricted_term< NaviType, DescendingProperty ></a> <li>nf() : <a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#6a98dc11c2edd21e38065953ef089d03">polybori::groebner::LexHelper</a> , <a class="el" href="classpolybori_1_1groebner_1_1DegOrderHelper.html#7809fbed02401626399862cceb3d02db">polybori::groebner::DegOrderHelper</a> , <a class="el" href="classpolybori_1_1groebner_1_1BlockOrderHelper.html#a7f8fdab347592f0d83f3c49909c82fd">polybori::groebner::BlockOrderHelper</a> , <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html#abb1b8f9fc0a5bc5aa5a63e651d67e56">polybori::groebner::GroebnerStrategy</a> <li>nNodes() : <a class="el" href="classpolybori_1_1CDDInterface.html#f13a6ae0bf2ab99c2b17f631829fa78f">polybori::CDDInterface< CuddLikeZDD ></a> , <a class="el" href="classpolybori_1_1BoolePolynomial.html#704a7532e816594702505d48b3e2ef80">polybori::BoolePolynomial</a> <li>nodeCount() : <a class="el" href="classpolybori_1_1CCuddDDBase.html#3bc0fe9f735dc69549f1470b58fcd465">polybori::CCuddDDBase< DiagramType ></a> <li>NodeReadIndex() : <a class="el" href="classpolybori_1_1CCuddDDBase.html#0bf668194d6ec1daca72e5b00ef912b8">polybori::CCuddDDBase< DiagramType ></a> <li>noroStep() : <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html#3bf4ed46755ce00f089ac1b183f48d28">polybori::groebner::GroebnerStrategy</a> <li>nSupport() : <a class="el" href="classpolybori_1_1dd__operations_3_01CTypes_1_1dd__type_1_1navigator_01_4.html#06fdcba61127648627583c3374f3701c">polybori::dd_operations< CTypes::dd_type::navigator ></a> , <a class="el" href="classpolybori_1_1CDDInterface.html#101d1f478212b83bdcb5de8cda227c6c">polybori::CDDInterface< CuddLikeZDD ></a> <li>nUsedVariables() : <a class="el" href="classpolybori_1_1BoolePolynomial.html#f3ce733993101f31a7dbd5a4a11420bb">polybori::BoolePolynomial</a> <li>nVariables() : <a class="el" href="classpolybori_1_1CDDManagerBase.html#c696b0d81ba42d794bb971c0c591d6b9">polybori::CDDManagerBase< CuddLikeManType, StorageType ></a> , <a class="el" href="classpolybori_1_1CCuddInterface.html#e9e30ae7f4aa6c597598e7544555e3fb">polybori::CCuddInterface</a> , <a class="el" href="classpolybori_1_1BooleEnv.html#8951be7b9ecc53c6972562e1efa82fa3">polybori::BooleEnv</a> , <a class="el" href="classpolybori_1_1BooleRing.html#ed7dc0623793232b915778b84ff4717e">polybori::BooleRing</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#977112822d6abc67de39dd7712cd56a9">polybori::CDDInterface< CuddLikeZDD ></a> </ul> </div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:00 2009 for PolyBoRi by <a href="http://www.doxygen.org/index.html"> <img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.9 </small></address> </body> </html>