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