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  CCacheTypes
struct  CCacheTypes::no_cache_tag
struct  CCacheTypes::unary_cache_tag
struct  CCacheTypes::binary_cache_tag
struct  CCacheTypes::ternary_cache_tag
struct  CCacheTypes::no_cache
struct  CCacheTypes::union_xor
struct  CCacheTypes::multiply_recursive
struct  CCacheTypes::divide
struct  CCacheTypes::minimal_mod
struct  CCacheTypes::minimal_elements
struct  CCacheTypes::multiplesof
struct  CCacheTypes::divisorsof
struct  CCacheTypes::ll_red_nf
struct  CCacheTypes::plug_1
struct  CCacheTypes::exist_abstract
struct  CCacheTypes::degree
struct  CCacheTypes::has_factor_x
struct  CCacheTypes::has_factor_x_plus_one
struct  CCacheTypes::mod_varset
struct  CCacheTypes::interpolate
struct  CCacheTypes::zeros
struct  CCacheTypes::interpolate_smallest_lex
struct  CCacheTypes::include_divisors
struct  CCacheTypes::contained_deg2
struct  CCacheTypes::contained_variables
struct  CCacheTypes::map_every_x_to_x_plus_one
struct  CCacheTypes::dlex_lead
struct  CCacheTypes::dp_asc_lead
struct  CCacheTypes::divisorsof_fixedpath
struct  CCacheTypes::testwise_ternary
struct  CCacheTypes::used_variables
struct  CCacheTypes::block_degree
struct  CCacheTypes::block_dlex_lead
struct  CCacheTypes::has_factor_x_plus_y
struct  CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x
struct  CCacheTypes::graded_part
struct  CCacheTypes::mapping
struct  CCacheTypes::is_rewriteable
struct  count_tags< CCacheTypes::divisorsof_fixedpath >
struct  increment_count_tags< BaseTag >
class  count_tags< CCacheTypes::testwise_ternary >
class  count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x >
class  count_tags< CCacheTypes::has_factor_x_plus_y >
class  cudd_tag_number< Counted, Offset >
class  CCuddLikeMgrStorage< MgrType >
struct  pbori_base< CCacheManBase< Cudd, CacheType, ArgumentLength > >
struct  pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > >
class  CCacheManBase< ManagerType, CacheType, 0 >
class  CCacheManBase< ManagerType, CacheType, 1 >
class  CCacheManBase< ManagerType, CacheType, 2 >
class  CCacheManBase< ManagerType, CacheType, 3 >
class  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  CCommutativeCacheManagement< CacheType >

Detailed Description

Author:
Alexander Dreyer
Date:
2006-10-23

This file

Copyright:
(c) 2006 by The PolyBoRi Team

Generated on 23 Dec 2009 for PolyBoRi by  doxygen 1.6.1