PolyBoRi
Public Types | Public Member Functions | Protected Attributes | List of all members
polybori::groebner::CacheManager Class Reference

#include <cache_manager.h>

Public Types

typedef
Polynomial::poly_vec_map_type 
impl_type
 
typedef std::vector< Polynomialpoly_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 ()
 
res_type lookup (const Polynomial &p, bool &succ)
 
void insert (const Polynomial &key, const poly_vec_type &value)
 

Protected Attributes

impl_type impl
 

Member Typedef Documentation

Constructor & Destructor Documentation

polybori::groebner::CacheManager::CacheManager ( )
inline

Member Function Documentation

void polybori::groebner::CacheManager::insert ( const Polynomial key,
const poly_vec_type value 
)
inline
res_type polybori::groebner::CacheManager::lookup ( const Polynomial p,
bool &  succ 
)
inline

Member Data Documentation

impl_type polybori::groebner::CacheManager::impl
protected

The documentation for this class was generated from the following file: