<!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 class="current"><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><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_d">- d -</a></h3><ul> <li>dd_operations() : <a class="el" href="classpolybori_1_1dd__operations_3_01CTypes_1_1dd__type_1_1navigator_01_4.html#cf653b2b767ed69426ffac0355effcdf">polybori::dd_operations< CTypes::dd_type::navigator ></a> <li>ddDivide() : <a class="el" href="classpolybori_1_1BooleSet.html#08f05f662da85976b087150ccca9095c">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#8bb7332bea41eec1b3e9012e49b4ed01">polybori::CDDInterface< CuddLikeZDD ></a> <li>ddDivideAssign() : <a class="el" href="classpolybori_1_1BooleSet.html#037e23c68efe01f09166930fcc078d08">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#bee0b4c2ea9e3aec2756eb55b2c7c22f">polybori::CDDInterface< CuddLikeZDD ></a> <li>ddVariable() : <a class="el" href="classpolybori_1_1BooleRing.html#680392efa6d897088de582e685fa7425">polybori::BooleRing</a> , <a class="el" href="classpolybori_1_1CDDManagerBase.html#c88a5f4a03a5d1ac60d2f502ecefe53a">polybori::CDDManagerBase< CuddLikeManType, StorageType ></a> <li>DebugCheck() : <a class="el" href="classpolybori_1_1CCuddInterface.html#17e6176456f5e63948c4980b3035ef1b">polybori::CCuddInterface</a> <li>decRef() : <a class="el" href="classpolybori_1_1CCuddNavigator.html#d0d404eebf6c0b8ef38377a3b9eb4c0a">polybori::CCuddNavigator</a> <li>decrement() : <a class="el" href="classpolybori_1_1CTermStack.html#a0d381364a14b740d5a14dd4e08e07f4">polybori::CTermStack< NavigatorType, Category, BaseType ></a> , <a class="el" href="classpolybori_1_1CDegTermStack.html#94823da2784004fb08fcfa774875967e">polybori::CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType ></a> <li>decrementNode() : <a class="el" href="classpolybori_1_1CTermStackBase.html#0513e4985ae05f7520f39c859d93e0bd">polybori::CTermStackBase< NavigatorType, BaseType ></a> <li>default_binder2nd() : <a class="el" href="classpolybori_1_1default__binder2nd.html#2cb00129140e64a65e5ede8c89c66f3a">polybori::default_binder2nd< BinaryFunction ></a> <li>default_binder_base() : <a class="el" href="classpolybori_1_1default__binder__base.html#ab96b06d8d23a29d3416ba98806ccb1b">polybori::default_binder_base< BindType, BinaryFunction, ValueType ></a> <li>deg() : <a class="el" href="classpolybori_1_1BooleMonomial.html#7f8db3627c0fcdb60bafe6e6f25bfc3a">polybori::BooleMonomial</a> , <a class="el" href="classpolybori_1_1BoolePolynomial.html#7314af89d9bb81dd3a1d6758c43b99e0">polybori::BoolePolynomial</a> , <a class="el" href="classpolybori_1_1COrderedIter.html#fee9e42c8151d93cf5d7773c5e8bcdd1">polybori::COrderedIter< NavigatorType, MonomType ></a> , <a class="el" href="classpolybori_1_1CTermIter.html#796ed7d9309e586d7cc1698e93791cbd">polybori::CTermIter< StackType, TermGeneratorType ></a> , <a class="el" href="classpolybori_1_1CTermStackBase.html#eb11cb1fc141b24ddfaec591077baab4">polybori::CTermStackBase< NavigatorType, BaseType ></a> , <a class="el" href="classpolybori_1_1BooleExponent.html#f6ee6ddb617ff78dbd7c1d7910b052b9">polybori::BooleExponent</a> <li>degBegin() : <a class="el" href="classpolybori_1_1BoolePolynomial.html#7567f17b580ce9e6754574adf97399b5">polybori::BoolePolynomial</a> <li>degEnd() : <a class="el" href="classpolybori_1_1BoolePolynomial.html#44b9889bd6187314ba38d33b6c37edcc">polybori::BoolePolynomial</a> <li>DegLexOrder() : <a class="el" href="classpolybori_1_1DegLexOrder.html#a6b8853eaf21e42ec79e0b596c5f38ce">polybori::DegLexOrder</a> <li>DegRevLexAscOrder() : <a class="el" href="classpolybori_1_1DegRevLexAscOrder.html#a26d54892ca36cd506daec290041afcd">polybori::DegRevLexAscOrder</a> <li>degTerm() : <a class="el" href="classpolybori_1_1CDegTermStack.html#c6a16135609c6220154c04c5a72f6690">polybori::CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType ></a> <li>deref() : <a class="el" href="classpolybori_1_1CCuddZDD.html#5b4d07cc47ca31b01d4fffbfe6c6eb3d">polybori::CCuddZDD</a> <li>dereference() : <a class="el" href="classpolybori_1_1CVariableIter.html#8b8cfdc35b1d665374716737ddf96e65">polybori::CVariableIter< Iterator, VariableType ></a> , <a class="el" href="classpolybori_1_1CCuddFirstIter.html#b3ec1d0a771b946694164ecd6ea79f08">polybori::CCuddFirstIter</a> , <a class="el" href="classpolybori_1_1COrderedIter.html#8eb4083b5d8aace4e8f2de737e9880c0">polybori::COrderedIter< NavigatorType, MonomType ></a> , <a class="el" href="classpolybori_1_1CTermIter.html#fc0ea60d9370dbdacd31e21d4c9a0f7c">polybori::CTermIter< StackType, TermGeneratorType ></a> <li>descendingVariables() : <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#3e0d971af6adbef70e9e349d87a06592">polybori::CDynamicOrderBase</a> , <a class="el" href="classpolybori_1_1CDynamicOrder.html#5e54e40ab49fecccf9fe0d95df950bc9">polybori::CDynamicOrder< OrderType ></a> <li>diagram() : <a class="el" href="classpolybori_1_1BooleMonomial.html#4884899505316ffe516f66256743b4e1">polybori::BooleMonomial</a> , <a class="el" href="classpolybori_1_1BoolePolynomial.html#a5e40309d6889917338db56513fa2d7f">polybori::BoolePolynomial</a> , <a class="el" href="classpolybori_1_1BooleSet.html#ccd48aa92e590d3e4cf7e8289c3a5301">polybori::BooleSet</a> <li>diff() : <a class="el" href="classpolybori_1_1BooleSet.html#bd0d2932406c9177d7344b9e6aa20e74">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1dd__operations_3_01CTypes_1_1dd__type_1_1navigator_01_4.html#f77b19c0459095f2ccafc6a538f584f4">polybori::dd_operations< CTypes::dd_type::navigator ></a> , <a class="el" href="classpolybori_1_1CDDInterface.html#952b93666cbf3de6a97d2b69b829976b">polybori::CDDInterface< CuddLikeZDD ></a> <li>diffAssign() : <a class="el" href="classpolybori_1_1BooleSet.html#39c3de5c6e61857ea981ff44f708858e">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#516c040ff1856555dc542027374890cd">polybori::CDDInterface< CuddLikeZDD ></a> , <a class="el" href="classpolybori_1_1dd__operations_3_01CTypes_1_1dd__type_1_1navigator_01_4.html#4f65e0f58365b7d663b612b160516890">polybori::dd_operations< CTypes::dd_type::navigator ></a> <li>diffConst() : <a class="el" href="classpolybori_1_1BooleSet.html#187083814c08b06a51cea1bc6fec04ea">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#f18fc26811026e902132504fadbbedba">polybori::CDDInterface< CuddLikeZDD ></a> <li>diffConstAssign() : <a class="el" href="classpolybori_1_1BooleSet.html#f7b5ffe4124b416143e79c4446708bdf">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#652fde32f9304bfdc00c972d215177fb">polybori::CDDInterface< CuddLikeZDD ></a> <li>DisableReorderingReporting() : <a class="el" href="classpolybori_1_1CCuddInterface.html#57cb21ba9d190649260e81c1e656b141">polybori::CCuddInterface</a> <li>divide() : <a class="el" href="classpolybori_1_1BooleExponent.html#3dd5c61dbf5581ebd355b0ea00389581">polybori::BooleExponent</a> , <a class="el" href="classpolybori_1_1BooleSet.html#e6105c32f260fb693c4cc4affa0f850a">polybori::BooleSet</a> <li>divideAssign() : <a class="el" href="classpolybori_1_1BooleSet.html#cac5168e9227569ebb8e4b27a336e164">polybori::BooleSet</a> <li>divideFirst() : <a class="el" href="classpolybori_1_1BooleSet.html#7ed33ea48859cb23acfe7a5e1b2e5b07">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#2df42bc62e42a1afe527098a1c862ad4">polybori::CDDInterface< CuddLikeZDD ></a> <li>divideFirstAssign() : <a class="el" href="classpolybori_1_1BooleSet.html#061c8a7e244d4ec3c2d0e1d7a3d6d972">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#6d7f05fdd2e54f5b8c1ced24ac8ece7a">polybori::CDDInterface< CuddLikeZDD ></a> <li>divisors() : <a class="el" href="classpolybori_1_1BooleMonomial.html#8f2276fdfa44d2fb08b53d423be6f2b1">polybori::BooleMonomial</a> , <a class="el" href="classpolybori_1_1BooleExponent.html#a1ea29b91181a8646bacad9779395442">polybori::BooleExponent</a> <li>divisorsOf() : <a class="el" href="classpolybori_1_1BooleSet.html#6b55b95bc0fbaa4f2a31137b3c3514ca">polybori::BooleSet</a> <li>dotProduct() : <a class="el" href="classpolybori_1_1BooleSet.html#3dcc7cc22d6323af3048ec249188d936">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#4f3aa67f921cb7e5b7035891854d2be6">polybori::CDDInterface< CuddLikeZDD ></a> <li>dotProductAssign() : <a class="el" href="classpolybori_1_1BooleSet.html#13aed46343d723267fd93761988b950b">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#6253bb18dc397f271a08c7595f4acd58">polybori::CDDInterface< CuddLikeZDD ></a> <li>dummy_data_type() : <a class="el" href="classpolybori_1_1dummy__data__type.html#3545b4035c464f9aaf7184f4b8dd37c3">polybori::dummy_data_type< DummyType ></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>