polybori::groebner::LexBucket Class Reference

#include <lexbuckets.h>

List of all members.

Public Member Functions
	LexBucket ()
LexBucket &	operator+= (const Polynomial &p)
	LexBucket (const Polynomial &p)
void	clearFront ()
Exponent	leadExp ()
bool	isZero ()
void	updateTailStart ()
idx_type	getTailStart ()
void	increaseTailStart (idx_type new_start)
Polynomial	value ()
Polynomial	getFront ()
bool	isOne ()
Static Public Attributes
static const int	var_group_size = 1

---

Constructor & Destructor Documentation

polybori::groebner::LexBucket::LexBucket

(

)

[inline]

polybori::groebner::LexBucket::LexBucket

(

const Polynomial &

p

)

[inline]

References polybori::BoolePolynomial::isConstant(), polybori::BoolePolynomial::isOne(), polybori::BoolePolynomial::isZero(), and polybori::groebner::without_prior_part().

---

Member Function Documentation

void polybori::groebner::LexBucket::clearFront

(

)

[inline]

Polynomial polybori::groebner::LexBucket::getFront

(

)

[inline]

Referenced by polybori::groebner::nf3_lexbuckets().

idx_type polybori::groebner::LexBucket::getTailStart

(

)

void polybori::groebner::LexBucket::increaseTailStart

(

idx_type

new_start

)

References polybori::BoolePolynomial::isZero(), and polybori::groebner::without_prior_part().

bool polybori::groebner::LexBucket::isOne

(

)

[inline]

bool polybori::groebner::LexBucket::isZero

(

)

Referenced by polybori::groebner::nf3_lexbuckets().

Exponent polybori::groebner::LexBucket::leadExp

(

)

Referenced by polybori::groebner::nf3_lexbuckets().

LexBucket & polybori::groebner::LexBucket::operator+=

(

const Polynomial &

p

)

References polybori::groebner::without_prior_part().

void polybori::groebner::LexBucket::updateTailStart

(

)

Polynomial polybori::groebner::LexBucket::value

(

)

References polybori::BoolePolynomial::isConstant(), and polybori::BoolePolynomial::isOne().

Referenced by polybori::groebner::nf3_lexbuckets().

---

Member Data Documentation

const int polybori::groebner::LexBucket::var_group_size = 1 [static]

---

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

• lexbuckets.h
• lexbuckets.cc