CacheManager.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_cache_CacheManager_h_
#define polybori_cache_CacheManager_h_
// include basic definitions
#include <polybori/pbori_defs.h>
// get internal cache management classes
#include "CCacheManagement.h"
#include <polybori/BoolePolyRing.h>
BEGIN_NAMESPACE_PBORI
class BooleEnv;
template <class CacheType>
class CacheManager:
public CCacheManagement<BoolePolyRing, CacheType, CacheType::nargs> {
public:
typedef CCacheManagement<BoolePolyRing, CacheType, CacheType::nargs> base;
typedef typename base::manager_type manager_type;
CacheManager(const manager_type& mgr):
base(mgr) {}
~CacheManager() {}
};
template <class CacheType>
class CommutativeCacheManager:
public CCommutativeCacheManagement<BoolePolyRing, CacheType> {
public:
typedef CCommutativeCacheManagement<BoolePolyRing, CacheType> base;
typedef typename base::manager_type manager_type;
CommutativeCacheManager(const manager_type& mgr):
base(mgr) {}
~CommutativeCacheManager() {}
};
END_NAMESPACE_PBORI
#endif