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

LexBucket::LexBucket

(

)

[inline]

References updateTailStart().

LexBucket::LexBucket

(

const Polynomial &

p

)

[inline]

References updateTailStart(), and without_prior_part().

---

Member Function Documentation

void LexBucket::clearFront

(

)

[inline]

References increaseTailStart(), and var_group_size.

Polynomial LexBucket::getFront

(

)

[inline]

Referenced by nf3_lexbuckets().

idx_type LexBucket::getTailStart

(

)

void LexBucket::increaseTailStart

(

idx_type

new_start

)

References isOne(), and without_prior_part().

Referenced by clearFront(), and operator+=().

bool LexBucket::isOne

(

)

[inline]

Referenced by increaseTailStart().

bool LexBucket::isZero

(

)

Referenced by nf3_lexbuckets().

Exponent LexBucket::leadExp

(

)

Referenced by nf3_lexbuckets().

LexBucket & LexBucket::operator+=

(

const Polynomial &

p

)

References increaseTailStart(), var_group_size, and without_prior_part().

void LexBucket::updateTailStart

(

)

References BooleEnv::ring(), and var_group_size.

Referenced by LexBucket().

Polynomial LexBucket::value

(

)

Referenced by nf3_lexbuckets().

---

Member Data Documentation

const int LexBucket::var_group_size = 1 [static]

Referenced by clearFront(), operator+=(), and updateTailStart().

---

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

• lexbuckets.h
• lexbuckets.cc