LexBucket Class Reference

#include <lexbuckets.h>

List of all members.

Public Member Functions

 LexBucket ()
LexBucketoperator+= (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]

Member Function Documentation

void LexBucket::clearFront (  )  [inline]
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  ) 
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]

The documentation for this class was generated from the following files:
Generated on Wed May 5 19:06:10 2010 for PolyBoRi by  doxygen 1.6.3