CCacheManagement.h File Reference

#include "pbori_defs.h"
#include "CCuddNavigator.h"
#include "CDDInterface.h"
#include "BooleRing.h"
#include <functional>

Go to the source code of this file.

Classes

class  polybori::CCacheTypes
struct  polybori::CCacheTypes::CCacheTypes::no_cache_tag
struct  polybori::CCacheTypes::CCacheTypes::unary_cache_tag
struct  polybori::CCacheTypes::CCacheTypes::binary_cache_tag
struct  polybori::CCacheTypes::CCacheTypes::ternary_cache_tag
struct  polybori::CCacheTypes::CCacheTypes::no_cache
struct  polybori::CCacheTypes::CCacheTypes::union_xor
struct  polybori::CCacheTypes::CCacheTypes::multiply_recursive
struct  polybori::CCacheTypes::CCacheTypes::divide
struct  polybori::CCacheTypes::CCacheTypes::minimal_mod
struct  polybori::CCacheTypes::CCacheTypes::minimal_elements
struct  polybori::CCacheTypes::CCacheTypes::multiplesof
struct  polybori::CCacheTypes::CCacheTypes::divisorsof
struct  polybori::CCacheTypes::CCacheTypes::ll_red_nf
struct  polybori::CCacheTypes::CCacheTypes::plug_1
struct  polybori::CCacheTypes::CCacheTypes::exist_abstract
struct  polybori::CCacheTypes::CCacheTypes::degree
struct  polybori::CCacheTypes::CCacheTypes::has_factor_x
struct  polybori::CCacheTypes::CCacheTypes::has_factor_x_plus_one
struct  polybori::CCacheTypes::CCacheTypes::mod_varset
struct  polybori::CCacheTypes::CCacheTypes::interpolate
struct  polybori::CCacheTypes::CCacheTypes::zeros
struct  polybori::CCacheTypes::CCacheTypes::interpolate_smallest_lex
struct  polybori::CCacheTypes::CCacheTypes::include_divisors
struct  polybori::CCacheTypes::CCacheTypes::contained_deg2
struct  polybori::CCacheTypes::CCacheTypes::contained_variables
struct  polybori::CCacheTypes::CCacheTypes::map_every_x_to_x_plus_one
struct  polybori::CCacheTypes::CCacheTypes::dlex_lead
struct  polybori::CCacheTypes::CCacheTypes::dp_asc_lead
struct  polybori::CCacheTypes::CCacheTypes::divisorsof_fixedpath
struct  polybori::CCacheTypes::CCacheTypes::testwise_ternary
struct  polybori::CCacheTypes::CCacheTypes::used_variables
struct  polybori::CCacheTypes::CCacheTypes::block_degree
struct  polybori::CCacheTypes::CCacheTypes::block_dlex_lead
struct  polybori::CCacheTypes::CCacheTypes::has_factor_x_plus_y
struct  polybori::CCacheTypes::CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x
struct  polybori::CCacheTypes::CCacheTypes::graded_part
struct  polybori::CCacheTypes::CCacheTypes::mapping
struct  polybori::CCacheTypes::CCacheTypes::is_rewriteable
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 >
struct  polybori::pbori_base< CCacheManBase< Cudd, CacheType, ArgumentLength > >
struct  polybori::pbori_base< CCacheManBase< CCuddInterface, 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< 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< CacheType >

Namespaces

namespace  polybori


Detailed Description

Author:
Alexander Dreyer
Date:
2006-10-23
This file

Copyright:
(c) 2006 by The PolyBoRi Team

Generated on Thu Sep 10 02:17:38 2009 for PolyBoRi by  doxygen 1.5.8