<!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 List</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 class="current"><a href="annotated.html"><span>Class List</span></a></li> <li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li> <li><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> </div> <div class="contents"> <h1>Class List</h1>Here are the classes, structs, unions and interfaces with brief descriptions:<table> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1AddEliminationDegree.html">polybori::AddEliminationDegree< SizeType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1append__indexed__divisor.html">polybori::append_indexed_divisor< DDType, IdxType ></a></td><td class="indexvalue">Defines multiplication (with assignment) with the idx-th variable </td></tr> <tr><td class="indexkey"><a class="el" href="classBaseType.html">BaseType</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1binary__cache__tag.html">polybori::CCacheTypes::binary_cache_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1binary__composition.html">polybori::binary_composition< BinaryOp, FirstOp, SecondOp ></a></td><td class="indexvalue">Compose a binary function with two default constructable unary functions </td></tr> <tr><td class="indexkey"><a class="el" href="classBinaryOp.html">BinaryOp</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classstd_1_1binder1st.html">binder1st</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classstd_1_1binder2nd.html">binder2nd</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structgeneric__hash__tags_1_1bkdr__tag.html">generic_hash_tags::bkdr_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1block__degree.html">polybori::CCacheTypes::block_degree</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1block__dlex__lead.html">polybori::CCacheTypes::block_dlex_lead</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1block__dlex__tag.html">polybori::block_dlex_tag</a></td><td class="indexvalue">Marker for block deg-lex ordering </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1block__dp__asc__tag.html">polybori::block_dp_asc_tag</a></td><td class="indexvalue">Marker for ascending block deg-rev-lex ordering </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BlockDegLexOrder.html">polybori::BlockDegLexOrder</a></td><td class="indexvalue">This class defines ordering related functions </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BlockDegRevLexAscOrder.html">polybori::BlockDegRevLexAscOrder</a></td><td class="indexvalue">This class defines ordering related functions </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1BlockOrderHelper.html">polybori::groebner::BlockOrderHelper</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BooleConstant.html">polybori::BooleConstant</a></td><td class="indexvalue">This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BooleEnv.html">polybori::BooleEnv</a></td><td class="indexvalue">This class is just a wrapper accessing global structures </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BooleExponent.html">polybori::BooleExponent</a></td><td class="indexvalue">This class is just a wrapper for using variables for storing indices as interim data structure for <a class="el" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd's decicion diagram...">BooleMonomial</a> </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BooleMonomial.html">polybori::BooleMonomial</a></td><td class="indexvalue">This class is just a wrapper for using variables from <code>cudd's</code> decicion diagram </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BoolePolynomial.html">polybori::BoolePolynomial</a></td><td class="indexvalue">This class wraps the underlying decicion diagram type and defines the necessary operations </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BoolePolyRing.html">polybori::BoolePolyRing</a></td><td class="indexvalue">This class adds order-related functionality to <a class="el" href="classpolybori_1_1BooleRing.html" title="This class is just a wrapper for reinterpreting decicion diagram managers as Boolean...">BooleRing</a> </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BooleRing.html">polybori::BooleRing</a></td><td class="indexvalue">This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BooleSet.html">polybori::BooleSet</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1BooleVariable.html">polybori::BooleVariable</a></td><td class="indexvalue">This class is just a wrapper for using variables from <code>cudd's</code> decicion diagram </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1bounded__restricted__term.html">polybori::bounded_restricted_term< NaviType, DescendingProperty ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CAbstractStackBase.html">polybori::CAbstractStackBase< NavigatorType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1cached__block__deg.html">polybori::cached_block_deg< NavigatorType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1cached__deg.html">polybori::cached_deg< NavigatorType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CacheManager.html">polybori::CacheManager< CacheType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1CacheManager.html">polybori::groebner::CacheManager</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CAuxTypes.html">polybori::CAuxTypes</a></td><td class="indexvalue">This struct contains auxiliary type definitions </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CBlockDegreeCache.html">polybori::CBlockDegreeCache< TagType, DDType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CBlockTermStack.html">polybori::CBlockTermStack< NavigatorType, DescendingProperty, BaseType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCacheManagement.html">polybori::CCacheManagement< CacheType, ArgumentLength ></a></td><td class="indexvalue">This template class forms the base for <a class="el" href="classpolybori_1_1CCommutativeCacheManagement.html">CCommutativeCacheManagement</a> and <a class="el" href="classpolybori_1_1CacheManager.html">CacheManager</a>. It is an interface defining find and <a class="el" href="classinsert.html" title="Accessing .insert().">insert</a> on decision diagram cache </td></tr> <tr><td class="indexkey"><a class="el" href="classCCacheManBase.html">CCacheManBase</a></td><td class="indexvalue">This template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCacheManBase_3_01ManagerType_00_01CacheType_00_010_01_4.html">polybori::CCacheManBase< ManagerType, CacheType, 0 ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCacheManBase_3_01ManagerType_00_01CacheType_00_011_01_4.html">polybori::CCacheManBase< ManagerType, CacheType, 1 ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCacheManBase_3_01ManagerType_00_01CacheType_00_012_01_4.html">polybori::CCacheManBase< ManagerType, CacheType, 2 ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCacheManBase_3_01ManagerType_00_01CacheType_00_013_01_4.html">polybori::CCacheManBase< ManagerType, CacheType, 3 ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCacheTypes.html">polybori::CCacheTypes</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCommutativeCacheManagement.html">polybori::CCommutativeCacheManagement< CacheType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCompareEnums.html">polybori::CCompareEnums</a></td><td class="indexvalue">This struct contains type definitions and enumerations to be used for comparisons </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddCore.html">polybori::CCuddCore</a></td><td class="indexvalue">This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddDDBase.html">polybori::CCuddDDBase< DiagramType ></a></td><td class="indexvalue">This template class defines a C++ interface to <code>CUDD's</code> decision diagram structure </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddFirstIter.html">polybori::CCuddFirstIter</a></td><td class="indexvalue">This class defines an iterator over the first minimal term of a given ZDD node </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddGetNode.html">polybori::CCuddGetNode</a></td><td class="indexvalue">This class defines a functional, which generates a new decision * diagram node wrt. a given indes and two nodes </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddInterface.html">polybori::CCuddInterface</a></td><td class="indexvalue">This class defines a C++ interface to <code>CUDD's</code> decicion diagram manager </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddLastIter.html">polybori::CCuddLastIter</a></td><td class="indexvalue">This class defines an iterator over the last minimal term of a given ZDD node </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddLikeMgrStorage.html">polybori::CCuddLikeMgrStorage< MgrType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddNavigator.html">polybori::CCuddNavigator</a></td><td class="indexvalue">This class defines an iterator for navigating through then and else branches of ZDDs </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CCuddZDD.html">polybori::CCuddZDD</a></td><td class="indexvalue">This class defines a C++ interface to <code>CUDD's</code> zero-suppressed decision diagram structure </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDDInterface.html">polybori::CDDInterface< CuddLikeZDD ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDDInterfaceBase.html">polybori::CDDInterfaceBase< DDType ></a></td><td class="indexvalue">This is the common base for the specialized template class <a class="el" href="classpolybori_1_1CDDInterface.html">CDDInterface</a> </td></tr> <tr><td class="indexkey"><a class="el" href="classCDDManager.html">CDDManager</a></td><td class="indexvalue">This specialization of the template class <a class="el" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to CCuddInterface's...">CDDManager</a> gives an interface to Cudd's ZDD manager reference </td></tr> <tr><td class="indexkey"><a class="el" href="classCDDManager.html">CDDManager</a></td><td class="indexvalue">This specialization of the template class <a class="el" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to CCuddInterface's...">CDDManager</a> gives an interface to Cudd's ZDD manager </td></tr> <tr><td class="indexkey"><a class="el" href="classCDDManager.html">CDDManager</a></td><td class="indexvalue">This specialization of the template class <a class="el" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to CCuddInterface's...">CDDManager</a> gives an interface to CCuddInterface's ZDD manager reference </td></tr> <tr><td class="indexkey"><a class="el" href="classCDDManager.html">CDDManager</a></td><td class="indexvalue">This specialization of the template class <a class="el" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to CCuddInterface's...">CDDManager</a> gives an interface to CCuddInterface's ZDD manager </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_6_01_4.html">polybori::CDDManager< CCuddInterface & ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDDManager_3_01CCuddInterface_01_4.html">polybori::CDDManager< CCuddInterface ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDDManager_3_01Cudd_01_6_01_4.html">polybori::CDDManager< Cudd & ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDDManager_3_01Cudd_01_4.html">polybori::CDDManager< Cudd ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDDManagerBase.html">polybori::CDDManagerBase< CuddLikeManType, StorageType ></a></td><td class="indexvalue">This specialization of the template class <a class="el" href="classCDDManager.html" title="this specialization of the template class CDDManager gives an interface to CCuddInterface's...">CDDManager</a> gives an interface to Cudd-like ZDD manager (StorageType = CuddLikeManType) or a reference of the latter (StorageType = CuddLikeManType&) </td></tr> <tr><td class="indexkey"><a class="el" href="classCDDOperation.html">CDDOperation</a></td><td class="indexvalue">Generic class containing decision diagram operations </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDDOperations.html">polybori::CDDOperations< DDType, MonomType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDegreeArgumentCache.html">polybori::CDegreeArgumentCache< TagType, DDType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDegreeCache.html">polybori::CDegreeCache< TagType, DDType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classCDegStackBase.html">CDegStackBase</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01invalid__tag_00_01BlockProperty_00_01BaseType_01_4.html">polybori::CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDegStackBase_3_01NavigatorType_00_01valid__tag_00_01BlockProperty_00_01BaseType_01_4.html">polybori::CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01invalid__tag_00_01Category_00_01BaseType_01_4.html">polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType ></a></td><td class="indexvalue">For pure degree stacks </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDegStackCore_3_01NavigatorType_00_01valid__tag_00_01Category_00_01BaseType_01_4.html">polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType ></a></td><td class="indexvalue">For block stacks </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDegTermStack.html">polybori::CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDelayedTermIter.html">polybori::CDelayedTermIter< TermType, AppendOp, TerminalValueOp, DegIterBase ></a></td><td class="indexvalue">This class defines extend a given PolyBoRi degree iterator </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder< OrderType ></a></td><td class="indexvalue">This class initialize the interface for orderings of <a class="el" href="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">CDynamicOrderBase</a> </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CDynamicOrderBase.html">polybori::CDynamicOrderBase</a></td><td class="indexvalue">This class initialize the interface for runtime-switchable orderings </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CErrorEnums.html">polybori::CErrorEnums</a></td><td class="indexvalue">This struct contains type definitions and enumerations to be used for error codes </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CErrorInfo.html">polybori::CErrorInfo</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CExpGenerator.html">polybori::CExpGenerator< ExpType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CExpIter.html">polybori::CExpIter< NaviType, ExpType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CGenericIter.html">polybori::CGenericIter< OrderType, NaviType, RefType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CGenericIter_3_01OrderType_00_01NaviType_00_01BooleMonomial_01_4.html">polybori::CGenericIter< OrderType, NaviType, BooleMonomial ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CGenericOrderedIter.html">polybori::CGenericOrderedIter< OrderType, NavigatorType, MonomType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CGenericOrderedIter_3_01OrderType_00_01NavigatorType_00_01BooleExponent_01_4.html">polybori::CGenericOrderedIter< OrderType, NavigatorType, BooleExponent ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html">polybori::groebner::ChainCriterion</a></td><td class="indexvalue">Assumes that divisibility condition is fullfilled </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1ChainVariableCriterion.html">polybori::groebner::ChainVariableCriterion</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classchange.html">change</a></td><td class="indexvalue">Accessing .change() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1change__assign.html">polybori::change_assign< RhsType, LhsType ></a></td><td class="indexvalue">Accessing .changeAssign() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1change__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">polybori::change_assign< void, pbori_traits< void >::idx_type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1change__idx.html">polybori::change_idx< RhsType, LhsType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classchangeAssign.html">changeAssign</a></td><td class="indexvalue">Accessing .change(); variante using member templates </td></tr> <tr><td class="indexkey"><a class="el" href="classCIdxPath.html">CIdxPath</a></td><td class="indexvalue">This template class defines a storage type for monomial indices and customizable "pretty" printing </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CIdxPath.html">polybori::CIdxPath< IdxType, SeparatorType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classCIdxVariable.html">CIdxVariable</a></td><td class="indexvalue">This template class defines a storage type for one monomial index and customizable "pretty" printing </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CIdxVariable.html">polybori::CIdxVariable< IdxType, VarNameLit, VarHeadLit, VarTailLit ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CIndexCacheHandle.html">polybori::CIndexCacheHandle< NaviType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CIndexHandle.html">polybori::CIndexHandle< NaviType ></a></td><td class="indexvalue">This class defines an uses an navigator-like type for storing integer values from 0 upto nmax (number of currently active ring variables) </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CLiteralCodes.html">polybori::CLiteralCodes</a></td><td class="indexvalue">This template class defines enumerative codes for the string literals defined by the CStringLiterals class </td></tr> <tr><td class="indexkey"><a class="el" href="classCNamedManager.html">CNamedManager</a></td><td class="indexvalue">This class adds an interface for variable names to CDDManager<> </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CommutativeCacheManager.html">polybori::CommutativeCacheManager< CacheType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1constant__binder1st.html">polybori::constant_binder1st< BinaryFunction, ConstantOp ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1constant__binder2nd.html">polybori::constant_binder2nd< BinaryFunction, ConstantOp ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1constant__binder__base.html">polybori::constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1contained__deg2.html">polybori::CCacheTypes::contained_deg2</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1contained__variables.html">polybori::CCacheTypes::contained_variables</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1COrderBase.html">polybori::COrderBase</a></td><td class="indexvalue">This class defines ordering related functions </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1COrderedIter.html">polybori::COrderedIter< NavigatorType, MonomType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1COrderEnums.html">polybori::COrderEnums</a></td><td class="indexvalue">This struct contains type definitions and enumerations to be used for order codes </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1COrderProperties.html">polybori::COrderProperties< OrderType ></a></td><td class="indexvalue">This class determins ordering dependent properties </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1count__tags_3_01CCacheTypes_1_1divisorsof__fixedpath_01_4.html">polybori::count_tags< CCacheTypes::divisorsof_fixedpath ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1count__tags_3_01CCacheTypes_1_1has__factor__x__plus__y_01_4.html">polybori::count_tags< CCacheTypes::has_factor_x_plus_y ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1count__tags_3_01CCacheTypes_1_1left__equals__right__x__branch__and__r__has__fac__x_01_4.html">polybori::count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1count__tags_3_01CCacheTypes_1_1testwise__ternary_01_4.html">polybori::count_tags< CCacheTypes::testwise_ternary ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CPrintOperation.html">polybori::CPrintOperation< ValueType, LiteralType, StreamType ></a></td><td class="indexvalue">This template prints a string literal to stream as operation </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CRestrictedIter.html">polybori::CRestrictedIter< Iterator, RestrictOp, IsValidTest ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CStackSelector.html">polybori::CStackSelector< OrderType, NaviType, BaseType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CStringLiteral.html">polybori::CStringLiteral< LitCode ></a></td><td class="indexvalue">This template class defines string literals corresponding to the codes enumerated in the class <a class="el" href="classpolybori_1_1CLiteralCodes.html" title="This template class defines enumerative codes for the string literals defined by...">CLiteralCodes</a> </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CTermGenerator.html">polybori::CTermGenerator< TermType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CTermGenerator_3_01BooleMonomial_01_4.html">polybori::CTermGenerator< BooleMonomial ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classCTermGeneratorBase.html">CTermGeneratorBase</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleExponent_01_4_01_4.html">polybori::CTermGeneratorBase< TermType, type_tag< BooleExponent > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01BooleMonomial_01_4_01_4.html">polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CTermGeneratorBase_3_01TermType_00_01type__tag_3_01CTypes_1_1size__type_01_4_01_4.html">polybori::CTermGeneratorBase< TermType, type_tag< CTypes::size_type > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CTermIter.html">polybori::CTermIter< StackType, TermGeneratorType ></a></td><td class="indexvalue">This class defines an iterator for the monomials in a Boolean polynomial </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CTermStack.html">polybori::CTermStack< NavigatorType, Category, BaseType ></a></td><td class="indexvalue">This class defines an iterator for the monomials in a Boolean polynomial </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CTermStackBase.html">polybori::CTermStackBase< NavigatorType, BaseType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CTypes.html">polybori::CTypes</a></td><td class="indexvalue">This struct contains type definitions to be used in library classes </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1cudd__error__traits.html">polybori::cudd_error_traits< ErrorNumber ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1cudd__tag__number.html">polybori::cudd_tag_number< Counted, Offset ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CVariableIter.html">polybori::CVariableIter< Iterator, VariableType ></a></td><td class="indexvalue">This template class defines an iterator for monomial types </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CVariableNames.html">polybori::CVariableNames</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1CWrappedStack.html">polybori::CWrappedStack< StackType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1dd__add__assign.html">polybori::dd_add_assign< DDType ></a></td><td class="indexvalue">Defines addition operation with assignment for decision diagrams </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1dd__operations_3_01CTypes_1_1dd__type_1_1navigator_01_4.html">polybori::dd_operations< CTypes::dd_type::navigator ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1default__binder1st.html">polybori::default_binder1st< BinaryFunction ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1default__binder2nd.html">polybori::default_binder2nd< BinaryFunction ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1default__binder__base.html">polybori::default_binder_base< BindType, BinaryFunction, ValueType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1default__value.html">polybori::default_value< ValueType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1DegLexOrder.html">polybori::DegLexOrder</a></td><td class="indexvalue">This class defines ordering related functions </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1DegOrderHelper.html">polybori::groebner::DegOrderHelper</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1degree.html">polybori::CCacheTypes::degree</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1DegRevLexAscOrder.html">polybori::DegRevLexAscOrder</a></td><td class="indexvalue">This class defines ordering related functions </td></tr> <tr><td class="indexkey"><a class="el" href="structgeneric__hash__tags_1_1dek__tag.html">generic_hash_tags::dek_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1divide.html">polybori::CCacheTypes::divide</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1divisorsof.html">polybori::CCacheTypes::divisorsof</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1divisorsof__fixedpath.html">polybori::CCacheTypes::divisorsof_fixedpath</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structgeneric__hash__tags_1_1djb__tag.html">generic_hash_tags::djb_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1dlex__lead.html">polybori::CCacheTypes::dlex_lead</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1dlex__tag.html">polybori::dlex_tag</a></td><td class="indexvalue">Marker for deg-lex ordering </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1dp__asc__lead.html">polybori::CCacheTypes::dp_asc_lead</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1dp__asc__tag.html">polybori::dp_asc_tag</a></td><td class="indexvalue">Marker for ascending deg-rev-lex ordering </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1dummy__data__type.html">polybori::dummy_data_type< DummyType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1dummy__iterator.html">polybori::dummy_iterator</a></td><td class="indexvalue">An iterator which virtually does nothing </td></tr> <tr><td class="indexkey"><a class="el" href="classeasy__equality__property.html">easy_equality_property</a></td><td class="indexvalue">Defines generic base for properties </td></tr> <tr><td class="indexkey"><a class="el" href="structgeneric__hash__tags_1_1elf__tag.html">generic_hash_tags::elf_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1EliminationDegreeAdder.html">polybori::EliminationDegreeAdder< ExponentVectorType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1equality__property.html">polybori::equality_property< ValidityTag ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1exist__abstract.html">polybori::CCacheTypes::exist_abstract</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1GBTypes.html">polybori::groebner::GBTypes</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1generate__index__map.html">polybori::generate_index_map< Type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classgeneric__hash.html">generic_hash< VectorType, HashType, AlgTag, BitMask ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classgeneric__hash__tags.html">generic_hash_tags</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1generic__iteration_3_01DegLexOrder_00_01Iterator_01_4.html">polybori::generic_iteration< DegLexOrder, Iterator ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1generic__iteration_3_01DegRevLexAscOrder_00_01Iterator_01_4.html">polybori::generic_iteration< DegRevLexAscOrder, Iterator ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1generic__iteration_3_01LexOrder_00_01Iterator_01_4.html">polybori::generic_iteration< LexOrder, Iterator ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classgeneric__sequence__hash.html">generic_sequence_hash< Iterator, HashType, AlgTag, BitMask ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classget__base.html">get_base</a></td><td class="indexvalue">Declaration, which can be used to define base classes for inheritance of classes in advance </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1get__node.html">polybori::get_node< DDType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1graded__part.html">polybori::CCacheTypes::graded_part</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">polybori::groebner::GroebnerStrategy</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1handle__else.html">polybori::handle_else< NavigatorType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1handle__error.html">polybori::handle_error< ErrorNumber ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1handle__error_3_010_01_4.html">polybori::handle_error< 0 ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1has__factor__x.html">polybori::CCacheTypes::has_factor_x</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1has__factor__x__plus__one.html">polybori::CCacheTypes::has_factor_x_plus_one</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1has__factor__x__plus__y.html">polybori::CCacheTypes::has_factor_x_plus_y</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1hashes.html">polybori::hashes< Type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1HasTRepOrExtendedProductCriterion.html">polybori::groebner::HasTRepOrExtendedProductCriterion</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1IJPairData.html">polybori::groebner::IJPairData</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1include__divisors.html">polybori::CCacheTypes::include_divisors</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1increment__count__tags.html">polybori::increment_count_tags< BaseTag ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classinsert.html">insert</a></td><td class="indexvalue">Accessing .insert() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1insert__assign.html">polybori::insert_assign< RhsType, LhsType ></a></td><td class="indexvalue">Accessing .insertAssign() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1insert__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">polybori::insert_assign< void, pbori_traits< void >::idx_type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1insert__second__to__list.html">polybori::insert_second_to_list< ListType, RhsType, LhsType ></a></td><td class="indexvalue">Insert second argument to a given list </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1inserts.html">polybori::inserts< RhsType, LhsType ></a></td><td class="indexvalue">Accessing .insert() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1inserts_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">polybori::inserts< void, pbori_traits< void >::idx_type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1integral__constant.html">polybori::integral_constant< IntType, INTCONST, ResultType ></a></td><td class="indexvalue">Integral_constant<int_type, NUM>()() returns NUM of int_type, instead of possibly arguments. integral_constant<int_type, NUM, other_type>()() returns conversion of NUM of int_type to other_type </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1internal__tag.html">polybori::internal_tag</a></td><td class="indexvalue">This class marks an internal part of a procedure </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1interpolate.html">polybori::CCacheTypes::interpolate</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1interpolate__smallest__lex.html">polybori::CCacheTypes::interpolate_smallest_lex</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1invalid__tag.html">polybori::invalid_tag</a></td><td class="indexvalue">This class shows, whether a property of an order is invalid </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1is__rewriteable.html">polybori::CCacheTypes::is_rewriteable</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1is__same__type.html">polybori::is_same_type< Type1, Type2 ></a></td><td class="indexvalue">This class tests whether two types equal </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1is__same__type_3_01Type_00_01Type_01_4.html">polybori::is_same_type< Type, Type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1IsEcart0Predicate.html">polybori::groebner::IsEcart0Predicate</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classboost_1_1iterator__facade.html">iterator_facade</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structgeneric__hash__tags_1_1js__tag.html">generic_hash_tags::js_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1left__equals__right__x__branch__and__r__has__fac__x.html">polybori::CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LessCombinedManySizesInStrat.html">polybori::groebner::LessCombinedManySizesInStrat</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LessEcartThenLessWeightedLengthInStrat.html">polybori::groebner::LessEcartThenLessWeightedLengthInStrat</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LessUsedTailVariablesThenLessWeightedLengthInStrat.html">polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LessWeightedLengthInStrat.html">polybori::groebner::LessWeightedLengthInStrat</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LessWeightedLengthInStratModified.html">polybori::groebner::LessWeightedLengthInStratModified</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1lex__compare__predicate.html">polybori::lex_compare_predicate< LhsType, RhsType, BinaryPredicate ></a></td><td class="indexvalue">Defines lexicographic comparison functor </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1lex__tag.html">polybori::lex_tag</a></td><td class="indexvalue">Marker for lex ordering </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LexBucket.html">polybori::groebner::LexBucket</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LexHelper.html">polybori::groebner::LexHelper</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1LexOrder.html">polybori::LexOrder</a></td><td class="indexvalue">This class defines ordering related functions </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LexOrderGreaterComparer.html">polybori::groebner::LexOrderGreaterComparer</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LiteralFactorization.html">polybori::groebner::LiteralFactorization</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1ll__red__nf.html">polybori::CCacheTypes::ll_red_nf</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1lm__hashes.html">polybori::lm_hashes< Type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LMLessCompare.html">polybori::groebner::LMLessCompare</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1LMLessComparePS.html">polybori::groebner::LMLessComparePS</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1manager__traits.html">polybori::manager_traits< CuddLike ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1manager__traits_3_01Cudd_01_5_01_4.html">polybori::manager_traits< Cudd * ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1manager__traits_3_01Cudd_01_4.html">polybori::manager_traits< Cudd ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1manager__traits_3_01DdManager_01_5_01_4.html">polybori::manager_traits< DdManager * ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1map__every__x__to__x__plus__one.html">polybori::CCacheTypes::map_every_x_to_x_plus_one</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1mapped__new__node.html">polybori::mapped_new_node< MapType, VariableType, TermType, NodeType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1mapping.html">polybori::CCacheTypes::mapping</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1maximum__iteration.html">polybori::maximum_iteration< ValueType ></a></td><td class="indexvalue">Returns maximun of given argument and previous calls </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1mgrcore__traits_3_01Cudd_01_4.html">polybori::mgrcore_traits< Cudd ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1minimal__elements.html">polybori::CCacheTypes::minimal_elements</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1minimal__mod.html">polybori::CCacheTypes::minimal_mod</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1mod__varset.html">polybori::CCacheTypes::mod_varset</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1MonomialHasher.html">polybori::groebner::MonomialHasher</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1multiplesof.html">polybori::CCacheTypes::multiplesof</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1multiply__recursive.html">polybori::CCacheTypes::multiply_recursive</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1navigates.html">polybori::navigates< DDType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1navigator__tag.html">polybori::navigator_tag</a></td><td class="indexvalue">For iterator_category </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1no__cache.html">polybori::CCacheTypes::no_cache</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1no__cache__tag.html">polybori::CCacheTypes::no_cache_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1NoData.html">polybori::NoData</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1on__same__type.html">polybori::on_same_type< Type1, Type2, ThenType, ElseType ></a></td><td class="indexvalue">This class switches betweem two types, depending on equality of types </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1on__same__type_3_01Type_00_01Type_00_01ThenType_00_01ElseType_01_4.html">polybori::on_same_type< Type, Type, ThenType, ElseType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1order__traits.html">polybori::order_traits< OrderType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PairData.html">polybori::groebner::PairData</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PairE.html">polybori::groebner::PairE</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PairECompare.html">polybori::groebner::PairECompare</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PairLS.html">polybori::groebner::PairLS</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PairLSCompare.html">polybori::groebner::PairLSCompare</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PairManager.html">polybori::groebner::PairManager</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PairStatusSet.html">polybori::groebner::PairStatusSet</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1pbori__base_3_01CCacheManBase_3_01CCuddInterface_00_01CacheType_00_01ArgumentLength_01_4_01_4.html">polybori::pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1pbori__base_3_01CCacheManBase_3_01Cudd_00_01CacheType_00_01ArgumentLength_01_4_01_4.html">polybori::pbori_base< CCacheManBase< Cudd, CacheType, ArgumentLength > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1pbori__base_3_01CExpIter_3_01NaviType_00_01ExpType_01_4_01_4.html">polybori::pbori_base< CExpIter< NaviType, ExpType > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1pbori__base_3_01CGenericIter_3_01OrderType_00_01NaviType_00_01RefType_01_4_01_4.html">polybori::pbori_base< CGenericIter< OrderType, NaviType, RefType > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__binary__traits.html">polybori::pbori_binary_traits< FirstType, SecondType ></a></td><td class="indexvalue">This class contains property definitions related to two types to be used in <a class="el" href="namespacepolybori.html">polybori</a> classes </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__binary__traits_3_01OnlyType_00_01OnlyType_01_4.html">polybori::pbori_binary_traits< OnlyType, OnlyType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpbori__hash.html">pbori_hash</a></td><td class="indexvalue">For information on hashes, see <a href="http://www.partow.net/programming/hashfunctions/">http://www.partow.net/programming/hashfunctions/</a> We did not use his implementation, because it is CPLed, but all algorithms used here are prior arts (published before Arash Partow) </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__traits.html">polybori::pbori_traits< ValueType ></a></td><td class="indexvalue">This class contains property definitions to be used in <a class="el" href="namespacepolybori.html">polybori</a> classes </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__traits_3_01dummy__iterator_01_4.html">polybori::pbori_traits< dummy_iterator ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__traits_3_01int_01_4.html">polybori::pbori_traits< int ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__traits_3_01long_01int_01_4.html">polybori::pbori_traits< long int ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__traits_3_01std_1_1set_3_01ValueType_01_4_01_4.html">polybori::pbori_traits< std::set< ValueType > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__traits_3_01std_1_1vector_3_01ValueType_01_4_01_4.html">polybori::pbori_traits< std::vector< ValueType > ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__traits_3_01unsigned_01int_01_4.html">polybori::pbori_traits< unsigned int ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1pbori__traits_3_01void_01_4.html">polybori::pbori_traits< void ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1PBoRiError.html">polybori::PBoRiError</a></td><td class="indexvalue">This class is used for polybori's exception handling </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1PBoRiGenericError.html">polybori::PBoRiGenericError< ErrorCode ></a></td><td class="indexvalue">This template class is used for polybori's exception handling </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1PBoRiOutIter.html">polybori::PBoRiOutIter< DataType, RhsType, BinOp ></a></td><td class="indexvalue">This template class defines an output iterator which interprets assignments of indices as a <a class="el" href="classchange.html" title="Accessing .change().">change</a> of given data wrt. a given binary operation </td></tr> <tr><td class="indexkey"><a class="el" href="structgeneric__hash__tags_1_1pjw__tag.html">generic_hash_tags::pjw_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1plug__1.html">polybori::CCacheTypes::plug_1</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PolyEntry.html">polybori::groebner::PolyEntry</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PolynomialSugar.html">polybori::groebner::PolynomialSugar</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PolyPairData.html">polybori::groebner::PolyPairData</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classproject__ith.html">project_ith</a></td><td class="indexvalue">Project to the third of all given arguments </td></tr> <tr><td class="indexkey"><a class="el" href="classproject__ith.html">project_ith</a></td><td class="indexvalue">Is the identity functional or projection to first argument </td></tr> <tr><td class="indexkey"><a class="el" href="classproject__ith.html">project_ith</a></td><td class="indexvalue">Virtually does nothing with the given arguments </td></tr> <tr><td class="indexkey"><a class="el" href="classproject__ith.html">project_ith</a></td><td class="indexvalue">Project to the second of all given arguments </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1project__ith_3_010_00_01NLEN_01_4.html">polybori::project_ith< 0, NLEN ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1project__ith_3_011_00_01NLEN_01_4.html">polybori::project_ith< 1, NLEN ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1project__ith_3_012_00_01NLEN_01_4.html">polybori::project_ith< 2, NLEN ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1project__ith_3_013_00_01NLEN_01_4.html">polybori::project_ith< 3, NLEN ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classproperty__owner.html">property_owner</a></td><td class="indexvalue">Defines generic base for properties </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1PSCompareByEl.html">polybori::groebner::PSCompareByEl</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1push__back.html">polybori::push_back< ListType, ValueType ></a></td><td class="indexvalue">Accessing .push_back() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1remove__assign.html">polybori::remove_assign< RhsType, LhsType ></a></td><td class="indexvalue">Accessing .removeAssign() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1remove__assign_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">polybori::remove_assign< void, pbori_traits< void >::idx_type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1removes.html">polybori::removes< RhsType, LhsType ></a></td><td class="indexvalue">Accessing .remove() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1removes_3_01void_00_01pbori__traits_3_01void_01_4_1_1idx__type_01_4.html">polybori::removes< void, pbori_traits< void >::idx_type ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classreversed__iteration.html">reversed_iteration</a></td><td class="indexvalue">Interchanges operator++ and operator-- of a given iterator </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1reversed__iteration__adaptor.html">polybori::reversed_iteration_adaptor< BiIterator ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structgeneric__hash__tags_1_1sdbm__tag.html">generic_hash_tags::sdbm_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1SetBitUInt.html">polybori::groebner::SetBitUInt</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1ShorterEliminationLength.html">polybori::groebner::ShorterEliminationLength</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1ShorterEliminationLengthModified.html">polybori::groebner::ShorterEliminationLengthModified</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classsimple__identity.html">simple_identity</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classsimple__increment.html">simple_increment</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structgeneric__hash__tags_1_1simple__tag.html">generic_hash_tags::simple_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1sizes__less.html">polybori::sizes_less< ListType ></a></td><td class="indexvalue">A functional for size comparisons </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1SlimgbReduction.html">polybori::groebner::SlimgbReduction< variant ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1subset0__assign.html">polybori::subset0_assign< RhsType, LhsType ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1subset1__assign.html">polybori::subset1_assign< RhsType, LhsType ></a></td><td class="indexvalue">Accessing .subset1Assign() </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1symmetric__composition.html">polybori::symmetric_composition< BinaryOp, UnaryOperation ></a></td><td class="indexvalue">Compose a binary function with a default constructable unary function for both arguments </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1ternary__cache__tag.html">polybori::CCacheTypes::ternary_cache_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1testwise__ternary.html">polybori::CCacheTypes::testwise_ternary</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1times__indexed__var.html">polybori::times_indexed_var< DDType, IdxType ></a></td><td class="indexvalue">Defines multiplication operation with the idx-th variable </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1type__tag.html">polybori::type_tag< Type ></a></td><td class="indexvalue">This class marks a given type </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1unary__cache__tag.html">polybori::CCacheTypes::unary_cache_tag</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1union__xor.html">polybori::CCacheTypes::union_xor</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1unite__assign.html">polybori::unite_assign< RhsType, LhsType ></a></td><td class="indexvalue">Accessing .uniteAssign() </td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1used__variables.html">polybori::CCacheTypes::used_variables</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1valid__tag.html">polybori::valid_tag</a></td><td class="indexvalue">This class shows, whether a property of an order is valid </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1variable__name.html">polybori::variable_name< ManagerType, IdxType, VarNameType ></a></td><td class="indexvalue">Defines generic access to variable names </td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1VariablePairData.html">polybori::groebner::VariablePairData</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1zdd__traits_3_01CCuddZDD_01_4.html">polybori::zdd_traits< CCuddZDD ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1zdd__traits_3_01ZDD_01_4.html">polybori::zdd_traits< ZDD ></a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="classpolybori_1_1groebner_1_1ZeroFunction.html">polybori::groebner::ZeroFunction</a></td><td class="indexvalue"></td></tr> <tr><td class="indexkey"><a class="el" href="structpolybori_1_1CCacheTypes_1_1zeros.html">polybori::CCacheTypes::zeros</a></td><td class="indexvalue"></td></tr> </table> </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>