PolyBoRi
Classes | Namespaces
CCacheManagement.h File Reference
#include <polybori/pbori_defs.h>
#include <polybori/iterators/CCuddNavigator.h>
#include <polybori/ring/CCuddCore.h>
#include <boost/intrusive_ptr.hpp>
#include <functional>

Go to the source code of this file.

Classes

class  polybori::CCacheTypes
 
struct  polybori::CCacheTypes::no_cache_tag
 
struct  polybori::CCacheTypes::unary_cache_tag
 
struct  polybori::CCacheTypes::binary_cache_tag
 
struct  polybori::CCacheTypes::ternary_cache_tag
 
struct  polybori::CCacheTypes::lead_tag< TagType >
 
struct  polybori::CCacheTypes::no_cache
 
struct  polybori::CCacheTypes::union_xor
 
struct  polybori::CCacheTypes::multiply_recursive
 
struct  polybori::CCacheTypes::divide
 
struct  polybori::CCacheTypes::minimal_mod
 
struct  polybori::CCacheTypes::minimal_elements
 
struct  polybori::CCacheTypes::multiplesof
 
struct  polybori::CCacheTypes::divisorsof
 
struct  polybori::CCacheTypes::ll_red_nf
 
struct  polybori::CCacheTypes::plug_1
 
struct  polybori::CCacheTypes::exist_abstract
 
struct  polybori::CCacheTypes::degree
 
struct  polybori::CCacheTypes::has_factor_x
 
struct  polybori::CCacheTypes::has_factor_x_plus_one
 
struct  polybori::CCacheTypes::mod_varset
 
struct  polybori::CCacheTypes::interpolate
 
struct  polybori::CCacheTypes::zeros
 
struct  polybori::CCacheTypes::interpolate_smallest_lex
 
struct  polybori::CCacheTypes::include_divisors
 
struct  polybori::CCacheTypes::contained_deg2
 
struct  polybori::CCacheTypes::contained_variables
 
struct  polybori::CCacheTypes::map_every_x_to_x_plus_one
 
struct  polybori::CCacheTypes::lex_lead
 
struct  polybori::CCacheTypes::divisorsof_fixedpath
 
struct  polybori::CCacheTypes::testwise_ternary
 
struct  polybori::CCacheTypes::used_variables
 
struct  polybori::CCacheTypes::block_degree
 
struct  polybori::CCacheTypes::has_factor_x_plus_y
 
struct  polybori::CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x
 
struct  polybori::CCacheTypes::graded_part
 
struct  polybori::CCacheTypes::mapping
 
struct  polybori::CCacheTypes::is_rewriteable
 
struct  polybori::count_tags< TagType >
 
struct  polybori::count_tags< CCacheTypes::divisorsof_fixedpath >
 
struct  polybori::increment_count_tags< BaseTag >
 
class  polybori::count_tags< CCacheTypes::testwise_ternary >
 
class  polybori::count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x >
 
class  polybori::count_tags< CCacheTypes::has_factor_x_plus_y >
 
class  polybori::cudd_tag_number< Counted, Offset >
 
class  polybori::CCuddLikeMgrStorage< MgrType >
 
class  polybori::CCacheManBase< ManagerType, CacheType, ArgumentLength >
 This template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache. More...
 
struct  polybori::pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > >
 
struct  polybori::pbori_base< CCacheManBase< BoolePolyRing, CacheType, ArgumentLength > >
 
struct  polybori::pbori_base< CCacheManBase< boost::intrusive_ptr< CCuddCore >, CacheType, ArgumentLength > >
 
class  polybori::CCacheManBase< ManagerType, CacheType, 0 >
 
class  polybori::CCacheManBase< ManagerType, CacheType, 1 >
 
class  polybori::CCacheManBase< ManagerType, CacheType, 2 >
 
class  polybori::CCacheManBase< ManagerType, CacheType, 3 >
 
class  polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength >
 This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache. More...
 
class  polybori::CCommutativeCacheManagement< ManagerType, CacheType >
 

Namespaces

 polybori
 

Detailed Description

Author
Alexander Dreyer
Date
2006-10-23

This file

Copyright:
(c) 2006-2010 by The PolyBoRi Team