#include <CacheManager.h>
Public Types | |
typedef CCacheManagement < CacheType, CacheType::nargs > | base |
Define base type. | |
typedef base::manager_type | manager_type |
typedef Polynomial::poly_vec_map_type | impl_type |
typedef std::vector< Polynomial > | poly_vec_type |
typedef boost::shared_ptr < poly_vec_type > | res_type |
typedef Polynomial::poly_vec_map_type::const_iterator | impl_iterator_type |
Public Member Functions | |
CacheManager (const manager_type &mgr) | |
Constructor. | |
~CacheManager () | |
Destructor. | |
CacheManager () | |
res_type | lookup (const Polynomial &p, bool &succ) |
void | insert (const Polynomial &key, const poly_vec_type &value) |
Protected Attributes | |
impl_type | impl |
typedef CCacheManagement<CacheType, CacheType::nargs> CacheManager< CacheType >::base |
Define base type.
Reimplemented from CCacheManagement< CacheType, CacheType::nargs >.
typedef Polynomial::poly_vec_map_type::const_iterator CacheManager< CacheType >::impl_iterator_type |
typedef Polynomial::poly_vec_map_type CacheManager< CacheType >::impl_type |
typedef base::manager_type CacheManager< CacheType >::manager_type |
Reimplemented from CCacheManagement< CacheType, CacheType::nargs >.
typedef std::vector<Polynomial> CacheManager< CacheType >::poly_vec_type |
typedef boost::shared_ptr<poly_vec_type> CacheManager< CacheType >::res_type |
CacheManager< CacheType >::CacheManager | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
CacheManager< CacheType >::~CacheManager | ( | ) | [inline] |
Destructor.
CacheManager< CacheType >::CacheManager | ( | ) | [inline] |
void CacheManager< CacheType >::insert | ( | const Polynomial & | key, | |
const poly_vec_type & | value | |||
) | [inline] |
References CacheManager< CacheType >::impl, BooleEnv::ring(), set_up_translation_vectors(), BooleExponent::size(), and translate_indices().
Referenced by polybori::dd_first_divisors_of(), and full_implication_gb().
res_type CacheManager< CacheType >::lookup | ( | const Polynomial & | p, | |
bool & | succ | |||
) | [inline] |
References CacheManager< CacheType >::impl, BooleEnv::ring(), set_up_translation_vectors(), BooleExponent::size(), and translate_indices().
Referenced by full_implication_gb().
impl_type CacheManager< CacheType >::impl [protected] |
Referenced by CacheManager< CacheType >::insert(), and CacheManager< CacheType >::lookup().