ShorterEliminationLength.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_ShorterEliminationLength_h_
#define polybori_groebner_ShorterEliminationLength_h_
// include basic definitions
#include "groebner_defs.h"
#include "GroebnerStrategy.h"
BEGIN_NAMESPACE_PBORIGB
class ShorterEliminationLength{
public:
const GroebnerStrategy* strat;
wlen_type el;
ShorterEliminationLength(const GroebnerStrategy& strat,wlen_type el){
this->el=el;
this->strat=&strat;
}
bool operator() (const Exponent& e){
return (strat->generators[e].weightedLength<=el);
}
};
END_NAMESPACE_PBORIGB
#endif /* polybori_ShorterEliminationLength_h_ */