<!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</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><a href="annotated.html"><span>Classes</span></a></li> <li class="current"><a href="files.html"><span>Files</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="files.html"><span>File List</span></a></li> <li class="current"><a href="globals.html"><span>File Members</span></a></li> </ul> </div> <div class="tabs"> <ul> <li class="current"><a href="globals.html"><span>All</span></a></li> <li><a href="globals_func.html"><span>Functions</span></a></li> <li><a href="globals_defs.html"><span>Defines</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="#index_b"><span>b</span></a></li> <li><a href="#index_d"><span>d</span></a></li> <li><a href="#index_e"><span>e</span></a></li> <li><a href="#index_g"><span>g</span></a></li> <li><a href="#index_h"><span>h</span></a></li> <li><a href="#index_l"><span>l</span></a></li> <li><a href="#index_m"><span>m</span></a></li> <li><a href="#index_p"><span>p</span></a></li> <li><a href="#index_u"><span>u</span></a></li> </ul> </div> </div> <div class="contents"> Here is a list of all file members with links to the files they belong to: <p> <h3><a class="anchor" name="index_b">- b -</a></h3><ul> <li>BEGIN_NAMESPACE_PBORI : <a class="el" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10">pbori_defs.h</a> <li>BEGIN_NAMESPACE_PBORIGB : <a class="el" href="groebner__defs_8h.html#379ca4efe65763012d75de1c107932b3">groebner_defs.h</a> </ul> <h3><a class="anchor" name="index_d">- d -</a></h3><ul> <li>DANGEROUS_FIXED_PATH : <a class="el" href="groebner__alg_8cc.html#7f725b2b1d1db519691585e23d09ae6b">groebner_alg.cc</a> </ul> <h3><a class="anchor" name="index_e">- e -</a></h3><ul> <li>ELEMENTAR_FACTORIZATION : <a class="el" href="literal__factorization_8cc.html#3c216dc3e7cbdb7449befa3189714d2c">literal_factorization.cc</a> <li>END_NAMESPACE_PBORI : <a class="el" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06">pbori_defs.h</a> <li>END_NAMESPACE_PBORIGB : <a class="el" href="groebner__defs_8h.html#81b45485049b7eaa5057379309e0210e">groebner_defs.h</a> <li>EXP_FOR_PAIRS : <a class="el" href="groebner__alg_8cc.html#758c47b4233f0e25dadccc51dbcb5ade">groebner_alg.cc</a> <li>Extra_bddFactoredFormLiterals() : <a class="el" href="extrafwd_8h.html#43c87ee3f774141fdfbd478ad91b8ac7">extrafwd.h</a> <li>Extra_zddChangeVars() : <a class="el" href="extrafwd_8h.html#9028da4fd4298e49ea4359c876e12b9c">extrafwd.h</a> <li>Extra_zddCheckUnateness() : <a class="el" href="extrafwd_8h.html#3e927fd07b4a63887004037e30a0c921">extrafwd.h</a> <li>Extra_zddCliques() : <a class="el" href="extrafwd_8h.html#16cf5c0503c5847d6c09c2014dadba03">extrafwd.h</a> <li>Extra_zddCofactor0() : <a class="el" href="extrafwd_8h.html#3e3db6af3a432fb67d2d5f0299184c38">extrafwd.h</a> <li>Extra_zddCofactor1() : <a class="el" href="extrafwd_8h.html#1255f7b399f9366e1f83bbf6a206b627">extrafwd.h</a> <li>Extra_zddCombination() : <a class="el" href="extrafwd_8h.html#65faa0f1312d61b68790ed4b72226f20">extrafwd.h</a> <li>Extra_zddCombinationFromLevels() : <a class="el" href="extrafwd_8h.html#c4813871ec3de362bbc553ec52eb7b4f">extrafwd.h</a> <li>Extra_zddCommonCubeFast() : <a class="el" href="extrafwd_8h.html#6737cc65abb6a63c5d28bc3aa7fc5166">extrafwd.h</a> <li>Extra_zddCommonLiterals() : <a class="el" href="extrafwd_8h.html#5d9ab9fc6ba963b43bd2e8f7acee6041">extrafwd.h</a> <li>Extra_zddCompatible() : <a class="el" href="extrafwd_8h.html#9c486dd36b062d1ff4e2d194054cc48e">extrafwd.h</a> <li>Extra_zddConvertBddCubeIntoZddCube() : <a class="el" href="extrafwd_8h.html#787268baab2886f4ed4c275e901b5b5b">extrafwd.h</a> <li>Extra_zddConvertEsopToBdd() : <a class="el" href="extrafwd_8h.html#875c1f5453e35b86c3f116384d99ac6d">extrafwd.h</a> <li>Extra_zddConvertToBdd() : <a class="el" href="extrafwd_8h.html#91057e84bb5622f552ed3d35da61026f">extrafwd.h</a> <li>Extra_zddConvertToBddAndAdd() : <a class="el" href="extrafwd_8h.html#2184a1e6198c498791c3210c159e34a6">extrafwd.h</a> <li>Extra_zddConvertToBddUnate() : <a class="el" href="extrafwd_8h.html#c4227f652cc842756666c03cd6d4870f">extrafwd.h</a> <li>Extra_zddCountLiteralsSimple() : <a class="el" href="extrafwd_8h.html#c34bf22b6adf7424b275bd140c3ed78f">extrafwd.h</a> <li>Extra_zddCoveredByArea() : <a class="el" href="extrafwd_8h.html#a88cabcbdab4ae78469d352f6e17a465">extrafwd.h</a> <li>Extra_zddCrossProduct() : <a class="el" href="extrafwd_8h.html#f2d7d570b14afda8e8bc89e20e3b952f">extrafwd.h</a> <li>Extra_zddDisjointCover() : <a class="el" href="extrafwd_8h.html#ecd476bf383c11c00f6b2a869a6aeff7">extrafwd.h</a> <li>Extra_zddDivision() : <a class="el" href="extrafwd_8h.html#7eb4c52f8b785458a6e148a13e9b4db6">extrafwd.h</a> <li>Extra_zddDotProduct() : <a class="el" href="extrafwd_8h.html#1192f3df8e54281288caf283245de4d5">extrafwd.h</a> <li>Extra_zddEmptyBelongs() : <a class="el" href="extrafwd_8h.html#1704f4ce5f572bdbd4af8cbb4cd997b4">extrafwd.h</a> <li>Extra_zddExistAbstract() : <a class="el" href="extrafwd_8h.html#1adf8a98e7a481e980ab36ebce6841aa">extrafwd.h</a> <li>Extra_zddExorProduct() : <a class="el" href="extrafwd_8h.html#ce064e13d70faba96f8513f7e5746004">extrafwd.h</a> <li>Extra_zddFactoredFormLiterals() : <a class="el" href="extrafwd_8h.html#b7306ecc95b68ea6b3fbe65a394e1d22">extrafwd.h</a> <li>Extra_zddFastEsopCoverArray() : <a class="el" href="extrafwd_8h.html#2e84e3da79a7f6007def48351f6663b7">extrafwd.h</a> <li>Extra_zddGetMostCoveredArea() : <a class="el" href="extrafwd_8h.html#f4202b181d61261800e18128eea5c18f">extrafwd.h</a> <li>Extra_zddIncremCliques() : <a class="el" href="extrafwd_8h.html#7a0d1eb9b5d548d2f62fab85413897fe">extrafwd.h</a> <li>Extra_zddIsOneSubset() : <a class="el" href="extrafwd_8h.html#ae127d1b9a9142b1246a92b982af5847">extrafwd.h</a> <li>Extra_zddIsopCover() : <a class="el" href="extrafwd_8h.html#5c633bcdfd5a636d92c273deff792217">extrafwd.h</a> <li>Extra_zddIsopCoverAllVars() : <a class="el" href="extrafwd_8h.html#8979862b6616d87fe3a64160fb741ad5">extrafwd.h</a> <li>Extra_zddIsopCoverAlt() : <a class="el" href="extrafwd_8h.html#4fdaf09bce43defc01483e16a44ece0e">extrafwd.h</a> <li>Extra_zddIsopCoverRandom() : <a class="el" href="extrafwd_8h.html#c1884cff5015b56780231239a1f256a8">extrafwd.h</a> <li>Extra_zddIsopCoverReduced() : <a class="el" href="extrafwd_8h.html#4f3392d80793502b3bd4ffb43bb38b29">extrafwd.h</a> <li>Extra_zddIsopCoverUnateVars() : <a class="el" href="extrafwd_8h.html#f8a17150fc609b653f5f52defa59d9b0">extrafwd.h</a> <li>Extra_zddIsopCubeNum() : <a class="el" href="extrafwd_8h.html#6cacec7ef13bff3b5e361a9f4329d919">extrafwd.h</a> <li>Extra_zddIsopPrintCover() : <a class="el" href="extrafwd_8h.html#5c9a266a065d67a6b88dc87fecc77c02">extrafwd.h</a> <li>Extra_zddLevel0Kernel() : <a class="el" href="extrafwd_8h.html#9d4f77a28b7a55efe4ea26851aa79ef6">extrafwd.h</a> <li>Extra_zddLFLiterals() : <a class="el" href="extrafwd_8h.html#28def03210e585b5e2a16b5bbd9b29b0">extrafwd.h</a> <li>Extra_zddLitCount() : <a class="el" href="extrafwd_8h.html#1eeb9b36f3926f2ccf528c78ec52bcf5">extrafwd.h</a> <li>Extra_zddLitCountComb() : <a class="el" href="extrafwd_8h.html#3f369eaad4c936db28e51ec8d254639f">extrafwd.h</a> <li>Extra_zddMakeCubeFree() : <a class="el" href="extrafwd_8h.html#8e6cfced25e324d4d06f5e8fe6efa16f">extrafwd.h</a> <li>Extra_zddMaxCliques() : <a class="el" href="extrafwd_8h.html#eb806906235c96cd6913f8579eae92cb">extrafwd.h</a> <li>Extra_zddMaxDotProduct() : <a class="el" href="extrafwd_8h.html#34e6613c394a9b5fc3b824ca75662723">extrafwd.h</a> <li>Extra_zddMaximal() : <a class="el" href="extrafwd_8h.html#8950b1faf2d917636c2ef91f6157316b">extrafwd.h</a> <li>Extra_zddMaximum() : <a class="el" href="extrafwd_8h.html#65b8f43b71080a7fd974d24314a532ce">extrafwd.h</a> <li>Extra_zddMaxNotSupSet() : <a class="el" href="extrafwd_8h.html#a6e3e46579bf8f3801ec956ca35a87a8">extrafwd.h</a> <li>Extra_zddMaxUnion() : <a class="el" href="extrafwd_8h.html#ea9fc650a01272368e44d28b6f297e31">extrafwd.h</a> <li>Extra_zddMinimal() : <a class="el" href="extrafwd_8h.html#30e18eedb4e5f94ebac27795208cbb8f">extrafwd.h</a> <li>Extra_zddMinimum() : <a class="el" href="extrafwd_8h.html#8231e634fcc310f5cb70d6adbe949533">extrafwd.h</a> <li>Extra_zddMinUnion() : <a class="el" href="extrafwd_8h.html#e7d99678784f53bcb2cda56d5e25bff7">extrafwd.h</a> <li>Extra_zddMoreThanOnceCubeFast() : <a class="el" href="extrafwd_8h.html#75a9ed59a874556c964c3460252ffc46">extrafwd.h</a> <li>Extra_zddMoreThanOneCube() : <a class="el" href="extrafwd_8h.html#9c34c7bb4ffc35a4eb461f1950f7fa6b">extrafwd.h</a> <li>Extra_zddMoreThanOneLiteral() : <a class="el" href="extrafwd_8h.html#7f01532ad1ab7d0f5124c56b8be96316">extrafwd.h</a> <li>Extra_zddMoreThanOneLiteralSet() : <a class="el" href="extrafwd_8h.html#e8fe33218700f240f80bf24f609c9773">extrafwd.h</a> <li>Extra_zddNotContainedCubesOverArea() : <a class="el" href="extrafwd_8h.html#75147a8057b7cc6d92f71dd8e0af0949">extrafwd.h</a> <li>Extra_zddNotCoveredByCover() : <a class="el" href="extrafwd_8h.html#4088013793209204dd2150415fa15156">extrafwd.h</a> <li>Extra_zddNotSubSet() : <a class="el" href="extrafwd_8h.html#b9712400ad8d1cba47f8a333fe869701">extrafwd.h</a> <li>Extra_zddNotSupSet() : <a class="el" href="extrafwd_8h.html#597a7afef797611efc0a9edc5dd2934a">extrafwd.h</a> <li>Extra_zddOverlappingWithArea() : <a class="el" href="extrafwd_8h.html#83354f268466c71a4b86fa19498b984a">extrafwd.h</a> <li>Extra_zddPermute() : <a class="el" href="extrafwd_8h.html#727ae5a2cb3dc9e98986ac3d85694f4f">extrafwd.h</a> <li>Extra_zddPrimeProduct() : <a class="el" href="extrafwd_8h.html#f8d9c379781ea6cb476db711b5d98c0e">extrafwd.h</a> <li>Extra_zddProductAlt() : <a class="el" href="extrafwd_8h.html#1500fdd30ef03a7e1a78865a82ea1388">extrafwd.h</a> <li>Extra_zddQuickDivisor() : <a class="el" href="extrafwd_8h.html#e5cd1b65cba07efc3955f2f261ae5c78">extrafwd.h</a> <li>Extra_zddRandomSet() : <a class="el" href="extrafwd_8h.html#084925cf77fb970b7b977268061bd802">extrafwd.h</a> <li>Extra_zddResolve() : <a class="el" href="extrafwd_8h.html#d41a226092761e6c994326b8f3957b6d">extrafwd.h</a> <li>Extra_zddSelectDist1Cubes() : <a class="el" href="extrafwd_8h.html#cd9f96060f6796df31669989e15d626f">extrafwd.h</a> <li>Extra_zddSelectOneCube() : <a class="el" href="extrafwd_8h.html#b8d8c9ae83455ac549acdce69ef872c2">extrafwd.h</a> <li>Extra_zddSelectOneSubset() : <a class="el" href="extrafwd_8h.html#bee810dfabd5d9fcb58e62662475f685">extrafwd.h</a> <li>Extra_zddSimplify() : <a class="el" href="extrafwd_8h.html#395fa276104491f1197fa840715abcba">extrafwd.h</a> <li>Extra_zddSingleCoveredArea() : <a class="el" href="extrafwd_8h.html#edae91e69efb64b4d0b65038a2d61def">extrafwd.h</a> <li>Extra_zddSinglesToComb() : <a class="el" href="extrafwd_8h.html#223d8d0f4f184c4d5fc7c33c89d766bb">extrafwd.h</a> <li>Extra_zddSubSet() : <a class="el" href="extrafwd_8h.html#e71887adf63ff82b71f5752b931c2b42">extrafwd.h</a> <li>Extra_zddSupercubes() : <a class="el" href="extrafwd_8h.html#1c200309b6ca1abe43ac36de9ab8da2a">extrafwd.h</a> <li>Extra_zddSupSet() : <a class="el" href="extrafwd_8h.html#4d7756c43cdee777ac3b3c97974a991a">extrafwd.h</a> <li>Extra_zddTestCubeFree() : <a class="el" href="extrafwd_8h.html#582bb0b9c4c265b9a557fe8c9d01c19e">extrafwd.h</a> <li>Extra_zddTuples() : <a class="el" href="extrafwd_8h.html#a7bc51789cddc5d4969f28a87e32c3bb">extrafwd.h</a> <li>Extra_zddTuplesFromBdd() : <a class="el" href="extrafwd_8h.html#ae96bf627f9b515ccde340baa124127e">extrafwd.h</a> <li>Extra_zddUnionExor() : <a class="el" href="extrafwd_8h.html#b3e9d664e7fbbb038b0427a031d883ca">extrafwd.h</a> <li>Extra_zddUniverse() : <a class="el" href="extrafwd_8h.html#a77b31754d0ee042394aaaa5aadb5088">extrafwd.h</a> <li>Extra_zddVariable() : <a class="el" href="extrafwd_8h.html#af4480fb7697e6ad9d142276d9dfc30b">extrafwd.h</a> <li>extraZddNotContainedCubesOverArea() : <a class="el" href="extrafwd_8h.html#abb6706d45c584fd9ecaa6f7c44d4e96">extrafwd.h</a> </ul> <h3><a class="anchor" name="index_g">- g -</a></h3><ul> <li>GENERATE_CSTRINGLITERAL : <a class="el" href="CStringLiteral_8h.html#5a0a74d72493e7043e69ae9e54b7b606">CStringLiteral.h</a> <li>generic_hash_function() : <a class="el" href="generic__hash_8h.html#7eb47d4b7f9cef21750f28a637742fd1">generic_hash.h</a> </ul> <h3><a class="anchor" name="index_h">- h -</a></h3><ul> <li>HAVE_DLEX4_DATA : <a class="el" href="groebner__alg_8cc.html#51fecd092a4268751055536b34839986">groebner_alg.cc</a> <li>HAVE_DP_ASC4_DATA : <a class="el" href="groebner__alg_8cc.html#2cd903066741013475951f670e99a596">groebner_alg.cc</a> <li>HAVE_HASH_MAP : <a class="el" href="pbori__func_8h.html#fcbed1dccd53fc187afcc90031c9c6f3">pbori_func.h</a> <li>HAVE_LP4_DATA : <a class="el" href="groebner__alg_8cc.html#23515eca7575f4e8ced7ff7297483ee4">groebner_alg.cc</a> </ul> <h3><a class="anchor" name="index_l">- l -</a></h3><ul> <li>LIKELY : <a class="el" href="pbori__defs_8h.html#1c5951c9a391674be15ca2883c98c7e1">pbori_defs.h</a> <li>LL_RED_FOR_GROEBNER : <a class="el" href="groebner__alg_8h.html#aa5a3648e2e1cd51bc55c69c64af8a76">groebner_alg.h</a> </ul> <h3><a class="anchor" name="index_m">- m -</a></h3><ul> <li>main() : <a class="el" href="testobj_8cc.html#e66f6b31b5ad750f1fe042a706a4e3d4">testobj.cc</a> </ul> <h3><a class="anchor" name="index_p">- p -</a></h3><ul> <li>PB_BINARY_FUNC_CALL : <a class="el" href="pbori__traits_8h.html#223b97aa965f4c43c6c8883fcaa9caf0">pbori_traits.h</a> <li>PB_CUDD_ERROR_TRAITS : <a class="el" href="pbori__traits_8h.html#ade504927a2408d1575b08d33e4f3262">pbori_traits.h</a> <li>PB_CUDDMGR_READ : <a class="el" href="CCuddInterface_8h.html#9739cf6beaeb87d1c7514f6fb204da2b">CCuddInterface.h</a> <li>PB_CUDDMGR_SET : <a class="el" href="CCuddInterface_8h.html#5bd7e32781826044fb030a40b1e98323">CCuddInterface.h</a> <li>PB_CUDDMGR_SWITCH : <a class="el" href="CCuddInterface_8h.html#151843dfb3cbd8c0bf3f88fb7b0d7528">CCuddInterface.h</a> <li>PB_DD_VERBOSE : <a class="el" href="CCuddZDD_8h.html#238faddb2cb93ac90a60b290544f2478">CCuddZDD.h</a> <li>PB_DECLARE_CUDD_TYPES : <a class="el" href="pbori__traits_8h.html#71c5e229a8a64d32fbf0a45acce725a4">pbori_traits.h</a> <li>PB_ZDD_APPLY : <a class="el" href="CCuddZDD_8h.html#37e1a57a295d5cf6ff43d7f2269dc6bf">CCuddZDD.h</a> <li>PB_ZDD_OP : <a class="el" href="CCuddZDD_8h.html#b882caa7956b268673cb9b32ee235fcd">CCuddZDD.h</a> <li>PB_ZDD_OP_ASSIGN : <a class="el" href="CCuddZDD_8h.html#3e8be5cb01ea1e4fe17555995d61954d">CCuddZDD.h</a> <li>PBORI : <a class="el" href="pbori__defs_8h.html#d55e03103fbbb07a476faa67f334c710">pbori_defs.h</a> <li>PBORI_ADD_BY_XOR : <a class="el" href="pbori__defs_8h.html#acfaa11210030cc0dcdcec4107cdf2b8">pbori_defs.h</a> <li>PBORI_BEGIN_NAMESPACE : <a class="el" href="pbori__defs_8h.html#57ece331c34260fd7daa044ec900890a">pbori_defs.h</a> <li>PBORI_CACHE_SLOTS : <a class="el" href="CDDManager_8h.html#c230ae907f55995b1a85d213f682d159">CDDManager.h</a> <li>PBORI_CONST_DDFUNCS : <a class="el" href="BooleSet_8h.html#44f579c5e19f78512f991a644698d383">BooleSet.h</a> <li>PBORI_CONST_DDFUNCS_IDX : <a class="el" href="BooleSet_8h.html#dde8682e47a373b4ca6872eae62db7b2">BooleSet.h</a> <li>PBORI_DDFUNCS : <a class="el" href="BooleSet_8h.html#2f598b8038826a7834c2bed55adc2d5a">BooleSet.h</a> <li>PBORI_DDFUNCS_IDX : <a class="el" href="BooleSet_8h.html#a63f3b8954a5cf615d60f74bb35bba96">BooleSet.h</a> <li>PBORI_DEVELOPER : <a class="el" href="pbori__defs_8h.html#35618156c8a37d1720a406b32a18b105">pbori_defs.h</a> <li>PBORI_END_NAMESPACE : <a class="el" href="pbori__defs_8h.html#707832f3c266d0b76e6611eb5608293f">pbori_defs.h</a> <li>PBORI_LHS_MULT : <a class="el" href="BoolePolynomial_8h.html#e8f34d8bcabb02a153156e25683f04b3">BoolePolynomial.h</a> <li>PBORI_LOWLEVEL_XOR : <a class="el" href="pbori__defs_8h.html#4d91e6409a4441ee12f5614357e43c9c">pbori_defs.h</a> <li>PBORI_MAX_MEMORY : <a class="el" href="CDDManager_8h.html#ec550424374cb624841ab0587a7e117a">CDDManager.h</a> <li>PBORI_NOT_IMPLEMENTED : <a class="el" href="pbori__defs_8h.html#bf439b66bfc79ff9592a2c87d9a38b66">pbori_defs.h</a> <li>PBORI_OSTREAM : <a class="el" href="pbori__defs_8h.html#8299a124cc093130fac56d4ed1aeb3b2">pbori_defs.h</a> <li>PBORI_RHS_MULT : <a class="el" href="BoolePolynomial_8h.html#89cc9efaf448e3809694f2ac9e18547f">BoolePolynomial.h</a> <li>PBORI_SHARED_PTR : <a class="el" href="pbori__defs_8h.html#153708bc063bf46d46db7dea298e2b83">pbori_defs.h</a> <li>PBORI_TRACE_FUNC : <a class="el" href="pbori__defs_8h.html#652ef33086b990b913379bf2f5b9a99e">pbori_defs.h</a> <li>PBORI_UNIQUE_SLOTS : <a class="el" href="CDDManager_8h.html#a6e50f618d6788949ff49c46596a22b7">CDDManager.h</a> <li>PBORI_USE_CCUDDFIRSTITER : <a class="el" href="BoolePolynomial_8cc.html#0e369c6ba908f6780297079a08db16af">BoolePolynomial.cc</a> <li>PBORI_USEDVARS_BY_IDX : <a class="el" href="pbori__defs_8h.html#bd915264be0d5e193fb9078047f680bd">pbori_defs.h</a> <li>PBORINAME : <a class="el" href="pbori__defs_8h.html#684934f4e3e3436f734720bdd18950de">pbori_defs.h</a> </ul> <h3><a class="anchor" name="index_u">- u -</a></h3><ul> <li>UNLIKELY : <a class="el" href="pbori__defs_8h.html#2e5f5338d3e6181b9083eff7b9a3a50c">pbori_defs.h</a> <li>USING_NAMESPACE_PBORI : <a class="el" href="pbori__defs_8h.html#59c0ad45ca940e58b58066f5212be084">pbori_defs.h</a> <li>USING_NAMESPACE_PBORIGB : <a class="el" href="groebner__defs_8h.html#d740b447bb907ce4e150c23e36c1cdc6">groebner_defs.h</a> <li>USING_PBORI : <a class="el" href="pbori__defs_8h.html#3ded6cc38c5570991e0e98a58dcdca0f">pbori_defs.h</a> </ul> </div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:04 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>