- m -

• manager_type : polybori::CacheManager< CacheType > , polybori::CommutativeCacheManager< CacheType > , polybori::CCacheManBase< ManagerType, CacheType, 0 > , polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength > , polybori::cached_deg< NavigatorType > , polybori::cached_block_deg< NavigatorType > , polybori::CCommutativeCacheManagement< ManagerType, CacheType > , polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType > , polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType > , polybori::CCacheManBase< ManagerType, CacheType, 1 > , polybori::CIndexHandle< NaviType > , polybori::CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType > , polybori::CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType > , polybori::CIndexCacheHandle< NaviType > , polybori::CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType > , polybori::CBlockTermStack< NavigatorType, DescendingProperty, BaseType > , polybori::variable_name< ManagerType, IdxType, VarNameType > , polybori::dd_operations< CCuddNavigator > , polybori::CCuddLikeMgrStorage< MgrType > , polybori::CCacheManBase< ManagerType, CacheType, 2 > , polybori::CDegreeCache< DDType > , polybori::CBoundedDegreeCache< DDType > , polybori::CCacheManBase< ManagerType, CacheType, 3 > , polybori::CBlockDegreeCache< DDType > , polybori::CDegreeArgumentCache< TagType, DDType >
• map_type : polybori::mapped_new_node< MapType, VariableType, TermType, NodeType > , polybori::groebner::LiteralFactorization , polybori::groebner::LiteralFactorizationIterator
• mgr_ptr : polybori::CCuddInterface
• mgr_type : polybori::CCuddInterface , polybori::CCuddDDFacade< RingType, DiagramType > , polybori::BoolePolyRing
• mgrcore_type : polybori::manager_traits< CuddLike >
• mod_deg2_set : polybori::CCacheTypes
• mod_mon_set : polybori::CCacheTypes
• monom_type : polybori::BooleExponent , polybori::COrderingBase , polybori::CBlockOrderingFacade< OrderType, OrderTag > , polybori::BoolePolyRing , polybori::BoolePolynomial