PolyBoRi
CacheManager.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
39 //*****************************************************************************
40 
41 // include basic definitions
42 #include "pbori_defs.h"
43 
44 // get internal cache management classes
45 #include "CCacheManagement.h"
46 
47 
48 #ifndef CacheManager_h_
49 #define CacheManager_h_
50 
52 
53 class BooleEnv;
54 template <class CacheType>
56  public CCacheManagement<CacheType, CacheType::nargs> {
57 
58 public:
61  typedef typename base::manager_type manager_type;
62 
65  base(mgr) {}
66 
69 };
70 
71 template <class CacheType>
73  public CCommutativeCacheManagement<CacheType> {
74 
75 public:
78  typedef typename base::manager_type manager_type;
79 
82  base(mgr) {}
83 
86 };
87 
88 
90 
91 #endif