<!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 - Typedefs</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><a href="functions_func.html"><span>Functions</span></a></li> <li><a href="functions_vars.html"><span>Variables</span></a></li> <li class="current"><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_type.html#index_a"><span>a</span></a></li> <li class="current"><a href="functions_type_0x62.html#index_b"><span>b</span></a></li> <li><a href="functions_type_0x63.html#index_c"><span>c</span></a></li> <li><a href="functions_type_0x64.html#index_d"><span>d</span></a></li> <li><a href="functions_type_0x65.html#index_e"><span>e</span></a></li> <li><a href="functions_type_0x66.html#index_f"><span>f</span></a></li> <li><a href="functions_type_0x68.html#index_h"><span>h</span></a></li> <li><a href="functions_type_0x69.html#index_i"><span>i</span></a></li> <li><a href="functions_type_0x6b.html#index_k"><span>k</span></a></li> <li><a href="functions_type_0x6c.html#index_l"><span>l</span></a></li> <li><a href="functions_type_0x6d.html#index_m"><span>m</span></a></li> <li><a href="functions_type_0x6e.html#index_n"><span>n</span></a></li> <li><a href="functions_type_0x6f.html#index_o"><span>o</span></a></li> <li><a href="functions_type_0x70.html#index_p"><span>p</span></a></li> <li><a href="functions_type_0x71.html#index_q"><span>q</span></a></li> <li><a href="functions_type_0x72.html#index_r"><span>r</span></a></li> <li><a href="functions_type_0x73.html#index_s"><span>s</span></a></li> <li><a href="functions_type_0x74.html#index_t"><span>t</span></a></li> <li><a href="functions_type_0x75.html#index_u"><span>u</span></a></li> <li><a href="functions_type_0x76.html#index_v"><span>v</span></a></li> </ul> </div> </div> <div class="contents"> <p> <h3><a class="anchor" name="index_b">- b -</a></h3><ul> <li>base : <a class="el" href="classpolybori_1_1BooleEnv.html#3b0dcb96beb3f461b48e76c3c3f76fb1">polybori::BooleEnv</a> , <a class="el" href="classpolybori_1_1BoolePolyRing.html#d585ec48286e8cccc590851bff698edc">polybori::BoolePolyRing</a> , <a class="el" href="classpolybori_1_1BooleSet.html#2eb4b6cf66c940d3e5763c99e2a462bf">polybori::BooleSet</a> , <a class="el" href="classpolybori_1_1CCacheManBase_3_01ManagerType_00_01CacheType_00_010_01_4.html#3f05a5d7a1dddaf94ce49a49e9804dd8">polybori::CCacheManBase< ManagerType, CacheType, 0 ></a> , <a class="el" href="classpolybori_1_1CDDInterface.html#2d1a043a28136d98a53e329339402143">polybori::CDDInterface< CuddLikeZDD ></a> , <a class="el" href="classpolybori_1_1CGenericOrderedIter.html#e196c9ac110083bdaf647817e29217e8">polybori::CGenericOrderedIter< OrderType, NavigatorType, MonomType ></a> , <a class="el" href="classpolybori_1_1CGenericOrderedIter_3_01OrderType_00_01NavigatorType_00_01BooleExponent_01_4.html#de8a05954760f05dbc62b00f5079ebc3">polybori::CGenericOrderedIter< OrderType, NavigatorType, BooleExponent ></a> , <a class="el" href="classpolybori_1_1CDDManager_3_01Cudd_01_6_01_4.html#c6e020187b689489a73295a48f964315">polybori::CDDManager< Cudd & ></a> , <a class="el" href="classpolybori_1_1CRestrictedIter.html#ae323e14997a10b66ad058ac234bdd41">polybori::CRestrictedIter< Iterator, RestrictOp, IsValidTest ></a> , <a class="el" href="classpolybori_1_1CTermGenerator.html#cc4adb434df97c19b5ace3a46baaff1d">polybori::CTermGenerator< TermType ></a> , <a class="el" href="classpolybori_1_1CCacheManBase_3_01ManagerType_00_01CacheType_00_011_01_4.html#71b2bb031a8f01f79e09c6e9628c0adc">polybori::CCacheManBase< ManagerType, CacheType, 1 ></a> , <a class="el" href="classpolybori_1_1CDDManager_3_01Cudd_01_4.html#8e92786d128dc504682a673936039d32">polybori::CDDManager< Cudd ></a> , <a class="el" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html#3770687e56d965b1ac1651378bda038f">polybori::CTermGenerator< BooleMonomial ></a> , <a class="el" href="classpolybori_1_1CTermStack.html#f141b14bcbdfebfbf1834f9b7870dfd8">polybori::CTermStack< NavigatorType, Category, BaseType ></a> , <a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html#0da74166e91fb1c3fc8eab7b269bcf62">polybori::CDDManager< CCuddInterface & ></a> , <a class="el" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html#1e613fd6656df857709712f5bdc7b96f">polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType ></a> , <a class="el" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html#84c59a6321b691f536851003a2d5236d">polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType ></a> , <a class="el" href="classpolybori_1_1CacheManager.html#ebed9f58ba363c692243e42d5211e580">polybori::CacheManager< CacheType ></a> , <a class="el" href="classpolybori_1_1CCacheManBase_3_01ManagerType_00_01CacheType_00_012_01_4.html#b78bc3210147dca2c59e030bd54f24d1">polybori::CCacheManBase< ManagerType, CacheType, 2 ></a> , <a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_4.html#df00ab8b7803e149f65f7043ab69f83f">polybori::CDDManager< CCuddInterface ></a> , <a class="el" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html#eb13b18565bda42efc9f27c9b24bae96">polybori::CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType ></a> , <a class="el" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html#e24e8b6cb4beb945875ee6a6bf22b698">polybori::CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType ></a> , <a class="el" href="classpolybori_1_1CIndexHandle.html#ac606138466bb7f3ba763305eda28d2d">polybori::CIndexHandle< NaviType ></a> , <a class="el" href="classpolybori_1_1CDegTermStack.html#e7143dd542590912aaafb1858aa0ca6b">polybori::CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType ></a> , <a class="el" href="classpolybori_1_1CBlockTermStack.html#cde5f85c6e4d2889c9c451ec252b804d">polybori::CBlockTermStack< NavigatorType, DescendingProperty, BaseType ></a> , <a class="el" href="classpolybori_1_1CCacheManBase_3_01ManagerType_00_01CacheType_00_013_01_4.html#41420647a5feb9ae02a88f6e6542a143">polybori::CCacheManBase< ManagerType, CacheType, 3 ></a> , <a class="el" href="classpolybori_1_1CDegreeCache.html#7c2b6a785ed7489f2e150e2c42c83faa">polybori::CDegreeCache< TagType, DDType ></a> , <a class="el" href="classpolybori_1_1CDynamicOrder.html#b616108ea10ad8136cacd203e3e2fa93">polybori::CDynamicOrder< OrderType ></a> , <a class="el" href="classpolybori_1_1binary__composition.html#a3dbd7c92550d7b39153441462d234ed">polybori::binary_composition< BinaryOp, FirstOp, SecondOp ></a> , <a class="el" href="classpolybori_1_1CBlockDegreeCache.html#24bbbfd1977a65b32e5606874d260bfa">polybori::CBlockDegreeCache< TagType, DDType ></a> , <a class="el" href="classpolybori_1_1symmetric__composition.html#98e9ad213ab93859556782a16a8a8290">polybori::symmetric_composition< BinaryOp, UnaryOperation ></a> , <a class="el" href="classpolybori_1_1navigates.html#22473ef5a33ee8734eba632756c99f15">polybori::navigates< DDType ></a> , <a class="el" href="classpolybori_1_1BooleRing.html#294d7701fda93a3fe2d15e22ff518f00">polybori::BooleRing</a> , <a class="el" href="classpolybori_1_1CommutativeCacheManager.html#ea48574779b8ad260bf568855ceca18b">polybori::CommutativeCacheManager< CacheType ></a> , <a class="el" href="classpolybori_1_1CCacheManagement.html#ca09d8cd0184ebee421ce4eea81d97cf">polybori::CCacheManagement< CacheType, ArgumentLength ></a> , <a class="el" href="classpolybori_1_1CDegreeArgumentCache.html#199db5177e8df3e68afcac3a9e30bf4d">polybori::CDegreeArgumentCache< TagType, DDType ></a> , <a class="el" href="classpolybori_1_1constant__binder__base.html#d7e97ee471512b1a8aa9e0e235e6107e">polybori::constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp ></a> , <a class="el" href="classpolybori_1_1default__binder__base.html#6cb5c0ea5022cccf73ef58fc6b2c8cad">polybori::default_binder_base< BindType, BinaryFunction, ValueType ></a> , <a class="el" href="classpolybori_1_1CDelayedTermIter.html#cd4955d839fe810e784e88bc86fd2e3e">polybori::CDelayedTermIter< TermType, AppendOp, TerminalValueOp, DegIterBase ></a> , <a class="el" href="classpolybori_1_1default__binder2nd.html#13a3bc97250e42bb18d010011a1b654b">polybori::default_binder2nd< BinaryFunction ></a> , <a class="el" href="classpolybori_1_1AddEliminationDegree.html#ebb66da42790e3b6bb82785049ee9b7c">polybori::AddEliminationDegree< SizeType ></a> , <a class="el" href="classpolybori_1_1CCommutativeCacheManagement.html#3e2d9b6568e9d3ddde0b8ea3b18a92d0">polybori::CCommutativeCacheManagement< CacheType ></a> , <a class="el" href="classpolybori_1_1CExpIter.html#d8edb431944ae0666c136b96449e06f1">polybori::CExpIter< NaviType, ExpType ></a> , <a class="el" href="classpolybori_1_1CGenericIter.html#ab111aabd8a76e0cc66fe292d36dc1f3">polybori::CGenericIter< OrderType, NaviType, RefType ></a> , <a class="el" href="classpolybori_1_1handle__else.html#998f4fe336749b443e9f1f0f9d71e329">polybori::handle_else< NavigatorType ></a> , <a class="el" href="classpolybori_1_1CCuddLastIter.html#2e561955731ffce700325f269aed09da">polybori::CCuddLastIter</a> , <a class="el" href="classpolybori_1_1CGenericIter_3_01OrderType_00_01NaviType_00_01BooleMonomial_01_4.html#cf6e131b814cd1215df44c25db4375c0">polybori::CGenericIter< OrderType, NaviType, BooleMonomial ></a> , <a class="el" href="classpolybori_1_1CIdxPath.html#463c0f178eb33a029a5b57f35d37c877">polybori::CIdxPath< IdxType, SeparatorType ></a> , <a class="el" href="classpolybori_1_1CCuddZDD.html#2f77fafcaf70b2c8431f1fc004ab67e9">polybori::CCuddZDD</a> , <a class="el" href="classpolybori_1_1COrderBase.html#51e2640f37144a87420dd1abd167a506">polybori::COrderBase</a> , <a class="el" href="classpolybori_1_1CWrappedStack.html#38aec6d78f4f2f48740a40f9b53c3929">polybori::CWrappedStack< StackType ></a> <li>base_type : <a class="el" href="classpolybori_1_1CDDInterface.html#53b2bc361a08dfb9e74c5bfac213fd8a">polybori::CDDInterface< CuddLikeZDD ></a> <li>bin_op : <a class="el" href="classpolybori_1_1constant__binder__base.html#0491c79bd9afffd92f11cfcd34a4b421">polybori::constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp ></a> , <a class="el" href="classpolybori_1_1default__binder__base.html#063a996e83111704bf9735e06d0b8b47">polybori::default_binder_base< BindType, BinaryFunction, ValueType ></a> <li>binary_function : <a class="el" href="classpolybori_1_1CCuddDDBase.html#2c5ca5705b0ddc737c3dc5cfcaa93c5a">polybori::CCuddDDBase< DiagramType ></a> , <a class="el" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#dec8f911dc40fdb3a4954f5e3eedb028">polybori::mgrcore_traits< Cudd ></a> , <a class="el" href="structpolybori_1_1manager__traits.html#a1b0aee09604c997c353ce3ef7946af7">polybori::manager_traits< CuddLike ></a> , <a class="el" href="classpolybori_1_1CCuddInterface.html#70d43142f46c513749e51a2ddd9d8ba8">polybori::CCuddInterface</a> , <a class="el" href="classpolybori_1_1CCuddCore.html#0fea615421e42e625943fe3225844b80">polybori::CCuddCore</a> <li>binary_int_function : <a class="el" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html#5e06f22a1de2aa60d280eab77cd27b7e">polybori::mgrcore_traits< Cudd ></a> , <a class="el" href="classpolybori_1_1CCuddCore.html#21c98ff4d498b7a19bbbeb24e4c827ab">polybori::CCuddCore</a> , <a class="el" href="structpolybori_1_1manager__traits.html#3f304e22e5f5dd80144933a833436004">polybori::manager_traits< CuddLike ></a> , <a class="el" href="classpolybori_1_1CCuddInterface.html#f733492a498c4119ee77fcccdbe90997">polybori::CCuddInterface</a> , <a class="el" href="classpolybori_1_1CCuddDDBase.html#d934c183a31c2616d67d559566bcfecb">polybori::CCuddDDBase< DiagramType ></a> <li>binary_op_type : <a class="el" href="classpolybori_1_1symmetric__composition.html#4c4e2416bd96d62bc91b94df11ffd0f8">polybori::symmetric_composition< BinaryOp, UnaryOperation ></a> <li>bitvector_type : <a class="el" href="classpolybori_1_1groebner_1_1PairStatusSet.html#e179ccebf21a5364188c9f722bc12817">polybori::groebner::PairStatusSet</a> <li>block_dlex_exp_iterator : <a class="el" href="classpolybori_1_1BoolePolynomial.html#341de73dfb0f50b80a2da4037200c238">polybori::BoolePolynomial</a> <li>block_dlex_iterator : <a class="el" href="classpolybori_1_1BoolePolynomial.html#08b8a1de41631e78806059a177ccc2fc">polybori::BoolePolynomial</a> <li>block_dp_asc_exp_iterator : <a class="el" href="classpolybori_1_1BoolePolynomial.html#6210c943b9e9efc214a9c8177aa3da99">polybori::BoolePolynomial</a> <li>block_dp_asc_iterator : <a class="el" href="classpolybori_1_1BoolePolynomial.html#1658d8d6b51eb113b082cfbabd48abb0">polybori::BoolePolynomial</a> <li>block_idx_type : <a class="el" href="classpolybori_1_1BooleEnv.html#2b3631af83592e37e5a18c8542c65063">polybori::BooleEnv</a> , <a class="el" href="classpolybori_1_1cached__block__deg.html#0e0eda43cb04806486542a1af23904a9">polybori::cached_block_deg< NavigatorType ></a> , <a class="el" href="classpolybori_1_1BoolePolyRing.html#134809a2dbe9252f17b746cbc3d7a2e8">polybori::BoolePolyRing</a> , <a class="el" href="classpolybori_1_1COrderBase.html#f599ed9381cac855d0ba2080b61279b0">polybori::COrderBase</a> , <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#e1297c017485c2bf8df796b304d50fd7">polybori::CDynamicOrderBase</a> <li>block_iterator : <a class="el" href="classpolybori_1_1BoolePolyRing.html#3cb82e1f7a3fa38b4be3b1f4df643e89">polybori::BoolePolyRing</a> , <a class="el" href="classpolybori_1_1BooleEnv.html#8e491ea092b64818436cef4162d9763b">polybori::BooleEnv</a> , <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#10cc054a874e16648e273d55e4b2f363">polybori::CDynamicOrderBase</a> , <a class="el" href="classpolybori_1_1CDynamicOrder.html#452a1f8969c80f40659adde5c58681e1">polybori::CDynamicOrder< OrderType ></a> , <a class="el" href="classpolybori_1_1cached__block__deg.html#7b239b4c8ea314f97fa3d88803a26ed3">polybori::cached_block_deg< NavigatorType ></a> , <a class="el" href="classpolybori_1_1COrderBase.html#013bbb0b65404fde314a56a621b0deb9">polybori::COrderBase</a> <li>blockorder_property : <a class="el" href="classpolybori_1_1BlockDegLexOrder.html#d966297601562c62040f74a500397f90">polybori::BlockDegLexOrder</a> , <a class="el" href="classpolybori_1_1COrderBase.html#d016061d38241950a20325582c6e1e54">polybori::COrderBase</a> , <a class="el" href="classpolybori_1_1BlockDegRevLexAscOrder.html#a03794e965d53ac787fdbfcc2bdb6bba">polybori::BlockDegRevLexAscOrder</a> , <a class="el" href="classpolybori_1_1COrderProperties.html#2c93e4a850a148220dbc3b5382a0fa5e">polybori::COrderProperties< OrderType ></a> <li>bool_type : <a class="el" href="classpolybori_1_1BoolePolynomial.html#f2fa5410a78b654163ea2e4061c0db3b">polybori::BoolePolynomial</a> , <a class="el" href="classpolybori_1_1CDDInterface.html#0e3bacf8cde66c20f7b9b3094c928fea">polybori::CDDInterface< CuddLikeZDD ></a> , <a class="el" href="classpolybori_1_1BooleExponent.html#c7a3d14f92a5afd9c3e1c796fb795c46">polybori::BooleExponent</a> , <a class="el" href="classpolybori_1_1CCuddNavigator.html#8be6ae464c6a121b7daa58a665f9c3b5">polybori::CCuddNavigator</a> , <a class="el" href="classpolybori_1_1CCuddFirstIter.html#f074a7393406bd789a697368cd3d3667">polybori::CCuddFirstIter</a> , <a class="el" href="classpolybori_1_1pbori__traits.html#4242f84b0a276317d2c6ead793d58ec2">polybori::pbori_traits< ValueType ></a> , <a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">polybori::CDynamicOrder< OrderType ></a> , <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#ee21b7f27e4b2aabcc57b145f6745a83">polybori::CDynamicOrderBase</a> , <a class="el" href="classpolybori_1_1CTermStackBase.html#5f27f2879471fe88b57cd7146e9ff9bc">polybori::CTermStackBase< NavigatorType, BaseType ></a> , <a class="el" href="classpolybori_1_1BooleMonomial.html#e7eee5761fd8b835cea774f8f769c71d">polybori::BooleMonomial</a> , <a class="el" href="classpolybori_1_1CIndexCacheHandle.html#d1fca6cf997a67544a86c9ee54537eab">polybori::CIndexCacheHandle< NaviType ></a> , <a class="el" href="classpolybori_1_1COrderedIter.html#d9473ea41caada5230df1347f19862e9">polybori::COrderedIter< NavigatorType, MonomType ></a> , <a class="el" href="structpolybori_1_1CAuxTypes.html#ae2c602841648d0b2b240eb3b612111e">polybori::CAuxTypes</a> , <a class="el" href="classpolybori_1_1CIndexHandle.html#af0b191a9e097d4882e1f79477d52cec">polybori::CIndexHandle< NaviType ></a> , <a class="el" href="classpolybori_1_1COrderProperties.html#136d299e8004bba28a85bf2d95e6ee71">polybori::COrderProperties< OrderType ></a> , <a class="el" href="classpolybori_1_1CTermIter.html#73474e2a8eb23c4aa9c5d79eeb3bc65f">polybori::CTermIter< StackType, TermGeneratorType ></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>