PolyBoRi
Public Types | Public Member Functions | Protected Attributes
polybori::groebner::CacheManager Class Reference

#include <cache_manager.h>

List of all members.

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


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


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