polybori::groebner::CountCriterion Class Reference

This class defines CountCriterion. More...

#include <CountCriterion.h>

List of all members.

Public Member Functions
	CountCriterion (GroebnerStrategy &strat, int j)
bool	operator() (int i)
bool	operator() (const Exponent &m)
Public Attributes
GroebnerStrategy *	strat
int	j

---

Detailed Description

This class defines CountCriterion.

---

Constructor & Destructor Documentation

polybori::groebner::CountCriterion::CountCriterion	(	GroebnerStrategy &	strat,
		int	j
	)			[inline]

---

Member Function Documentation

bool polybori::groebner::CountCriterion::operator()

(

int

i

)

[inline]

References polybori::BooleMonomial::deg(), polybori::BooleExponent::deg(), polybori::BooleMonomial::divisors(), polybori::BooleExponent::divisors(), polybori::BooleMonomial::GCD(), polybori::BooleMonomial::LCM(), polybori::BooleExponent::LCM(), polybori::BooleExponent::LCMDeg(), polybori::groebner::PolyEntryBase::lead, polybori::groebner::PolyEntryBase::leadDeg, polybori::groebner::PolyEntryBase::p, PBORI_UNLIKELY, polybori::BoolePolynomial::ring(), polybori::BoolePolynomial::set(), polybori::BooleSet::size(), polybori::BooleExponent::size(), polybori::groebner::PolyEntryBase::usedVariables, and polybori::groebner::zeros().

bool polybori::groebner::CountCriterion::operator()

(

const Exponent &

m

)

[inline]

---

Member Data Documentation

GroebnerStrategy* polybori::groebner::CountCriterion::strat

int polybori::groebner::CountCriterion::j

---

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

• CountCriterion.h