PolyBoRi
|
#include <cache_manager.h>
Public Types | |
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 () | |
res_type | lookup (const Polynomial &p, bool &succ) |
void | insert (const Polynomial &key, const poly_vec_type &value) |
Protected Attributes | |
impl_type | impl |
typedef Polynomial::poly_vec_map_type::const_iterator polybori::groebner::CacheManager::impl_iterator_type |
typedef std::vector<Polynomial> polybori::groebner::CacheManager::poly_vec_type |
typedef boost::shared_ptr<poly_vec_type> polybori::groebner::CacheManager::res_type |
|
inline |
|
inline |
References polybori::BoolePolyRing::nVariables(), polybori::BoolePolynomial::ring(), polybori::groebner::set_up_translation_vectors(), polybori::BooleExponent::size(), polybori::groebner::translate_indices(), and polybori::BoolePolynomial::usedVariablesExp().
Referenced by polybori::groebner::full_implication_gb().
|
inline |
References polybori::BoolePolyRing::nVariables(), polybori::BoolePolynomial::ring(), polybori::groebner::set_up_translation_vectors(), polybori::BooleExponent::size(), polybori::groebner::translate_indices(), and polybori::BoolePolynomial::usedVariablesExp().
Referenced by polybori::groebner::full_implication_gb().
|
protected |