<!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><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 class="current"><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_s">- s -</a></h3><ul> <li>set() : <a class="el" href="classpolybori_1_1BooleEnv.html#99d91a616733b480b0d11e58d2d75bc2">polybori::BooleEnv</a> , <a class="el" href="classpolybori_1_1BooleMonomial.html#42c6a4a067541423960b3f4d229bbc3b">polybori::BooleMonomial</a> , <a class="el" href="classpolybori_1_1BooleVariable.html#1c6cf0f3bdbc1212cf3dde8398b7d6e2">polybori::BooleVariable</a> , <a class="el" href="classpolybori_1_1CVariableNames.html#3c7e1b543fcad299a4dc646db26d63ac">polybori::CVariableNames</a> , <a class="el" href="classpolybori_1_1BoolePolynomial.html#c9c0baa075563f8c6a66cd472ce85159">polybori::BoolePolynomial</a> <li>setHandler() : <a class="el" href="classpolybori_1_1CCuddInterface.html#68d18a3de0391d985b61c257bd24e6ea">polybori::CCuddInterface</a> <li>setName() : <a class="el" href="classpolybori_1_1CCuddInterface.html#3a65a77e96a37928190097cca0ae1caf">polybori::CCuddInterface</a> <li>setToHasTRep() : <a class="el" href="classpolybori_1_1groebner_1_1PairStatusSet.html#29f8662741d4d592f76e12ab789d2e49">polybori::groebner::PairStatusSet</a> <li>setToUncalculated() : <a class="el" href="classpolybori_1_1groebner_1_1PairStatusSet.html#6d2590680e0e5495723be1770e36fafe">polybori::groebner::PairStatusSet</a> <li>setVariableName() : <a class="el" href="classpolybori_1_1BooleEnv.html#eb408e1211ff459b12e43fd8a415d2a7">polybori::BooleEnv</a> , <a class="el" href="classpolybori_1_1CDDManagerBase.html#1742e18a23d82739e30c758ae6fd1982">polybori::CDDManagerBase< CuddLikeManType, StorageType ></a> <li>SharingSize() : <a class="el" href="classpolybori_1_1CCuddInterface.html#4fb8612172c428d9730434fd01310106">polybori::CCuddInterface</a> <li>ShorterEliminationLength() : <a class="el" href="classpolybori_1_1groebner_1_1ShorterEliminationLength.html#b8b317e015fb311478854c088368200c">polybori::groebner::ShorterEliminationLength</a> <li>ShorterEliminationLengthModified() : <a class="el" href="classpolybori_1_1groebner_1_1ShorterEliminationLengthModified.html#32a66d5249ab94b875e7ad0761f11237">polybori::groebner::ShorterEliminationLengthModified</a> <li>size() : <a class="el" href="classpolybori_1_1BooleMonomial.html#f41263f68e4c4e25530132ee69cce943">polybori::BooleMonomial</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#5128cab0f470b0dec943f7c33d6e2f17">polybori::CDDInterface< CuddLikeZDD ></a> , <a class="el" href="classpolybori_1_1CExpGenerator.html#8b3116e8d7439e08a9ff366273e96cef">polybori::CExpGenerator< ExpType ></a> , <a class="el" href="classpolybori_1_1CTermStackBase.html#3f011445428aba38c19a084672466f52">polybori::CTermStackBase< NavigatorType, BaseType ></a> , <a class="el" href="classpolybori_1_1BooleExponent.html#069fe92b4f7b7d67332eaf6592444ad3">polybori::BooleExponent</a> <li>sizeDouble() : <a class="el" href="classpolybori_1_1CDDInterface.html#530176a8be3693d2aa36d003fb25ee94">polybori::CDDInterface< CuddLikeZDD ></a> <li>SlimgbReduction() : <a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html#39d87a3ec05d5412707872bf314cb07f">polybori::groebner::SlimgbReduction< variant ></a> <li>stableHash() : <a class="el" href="classpolybori_1_1BooleExponent.html#aefd3a2fe035dfde421dcc091c5d50ca">polybori::BooleExponent</a> , <a class="el" href="classpolybori_1_1BooleMonomial.html#2d69a19345d4a07f5c791cfab4ad6a16">polybori::BooleMonomial</a> , <a class="el" href="classpolybori_1_1BoolePolynomial.html#2796c8a274f2a2557b97cff10081604a">polybori::BoolePolynomial</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#02bea25795fd5fd691eeea688e0b86d1">polybori::CDDInterface< CuddLikeZDD ></a> <li>stackBegin() : <a class="el" href="classpolybori_1_1CTermStackBase.html#305bcf6aa1445535d55c26d96d358fd5">polybori::CTermStackBase< NavigatorType, BaseType ></a> <li>stackEnd() : <a class="el" href="classpolybori_1_1CTermStackBase.html#2c982d06da8786a42d256d9e833621ea">polybori::CTermStackBase< NavigatorType, BaseType ></a> <li>stackRBegin() : <a class="el" href="classpolybori_1_1CTermStackBase.html#11202d32c94dec44b94df3438aa4ca9d">polybori::CTermStackBase< NavigatorType, BaseType ></a> <li>stackREnd() : <a class="el" href="classpolybori_1_1CTermStackBase.html#ae0d8b20a97ffa9547543ef2e6dd5231">polybori::CTermStackBase< NavigatorType, BaseType ></a> <li>subSet() : <a class="el" href="classpolybori_1_1CDDInterface.html#2b3fc32266bd01a4358fcd2acb6acb26">polybori::CDDInterface< CuddLikeZDD ></a> <li>subset0() : <a class="el" href="classpolybori_1_1BooleSet.html#93c1a6680523646c20584a2de8a46099">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#1f187bf7bfc67573af3bd982961cfa69">polybori::CDDInterface< CuddLikeZDD ></a> <li>subset0Assign() : <a class="el" href="classpolybori_1_1BooleSet.html#d1cb5c78fb852256d68fd8877ce2cfe1">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#588867d4ef9bbce684a0814ee284185a">polybori::CDDInterface< CuddLikeZDD ></a> <li>subset1() : <a class="el" href="classpolybori_1_1BooleSet.html#2c568cf40e08b28a21abf00a500a619e">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#674bdebf1957e9d8c053d72e5e6ef5bb">polybori::CDDInterface< CuddLikeZDD ></a> <li>subset1Assign() : <a class="el" href="classpolybori_1_1BooleSet.html#e86bf9a454876caa1cc0a3993ec43ab1">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#6348b342a055af6144dcda0a63e3dabb">polybori::CDDInterface< CuddLikeZDD ></a> <li>suggestPluginVariable() : <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html#48bafc0d0ef8eb90a4fc8df91eab85bb">polybori::groebner::GroebnerStrategy</a> <li>sum_range() : <a class="el" href="classpolybori_1_1groebner_1_1BlockOrderHelper.html#07a9f98afe57d45c5e249c2d856a656f">polybori::groebner::BlockOrderHelper</a> , <a class="el" href="classpolybori_1_1groebner_1_1DegOrderHelper.html#d562decc1cfd0a21f48936458fa13b5e">polybori::groebner::DegOrderHelper</a> , <a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html#fcc92e853ec3b6ef278a7f6b19fbafe6">polybori::groebner::LexHelper</a> <li>support() : <a class="el" href="classpolybori_1_1CDDInterface.html#6aba64d24b0795670dda592a0ec1330f">polybori::CDDInterface< CuddLikeZDD ></a> <li>supSet() : <a class="el" href="classpolybori_1_1CDDInterface.html#f199d6c33745d60e668ba8ec7362382f">polybori::CDDInterface< CuddLikeZDD ></a> <li>symmetric_composition() : <a class="el" href="classpolybori_1_1symmetric__composition.html#e0e224dd851743ef9aad59ed6dfd08ba">polybori::symmetric_composition< BinaryOp, UnaryOperation ></a> <li>symmGB_F2() : <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html#30f39e09db5e3556af0c4b1495246199">polybori::groebner::GroebnerStrategy</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>