#include <lexbuckets.h>
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 |
LexBucket::LexBucket | ( | ) | [inline] |
References updateTailStart().
LexBucket::LexBucket | ( | const Polynomial & | p | ) | [inline] |
References updateTailStart(), and without_prior_part().
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().
const int LexBucket::var_group_size = 1 [static] |
Referenced by clearFront(), operator+=(), and updateTailStart().