polybori::groebner::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

polybori::groebner::LexBucket::LexBucket (  )  [inline]
polybori::groebner::LexBucket::LexBucket ( const Polynomial p  )  [inline]

Member Function Documentation

void polybori::groebner::LexBucket::clearFront (  )  [inline]
Polynomial polybori::groebner::LexBucket::getFront (  )  [inline]
idx_type polybori::groebner::LexBucket::getTailStart (  ) 
void polybori::groebner::LexBucket::increaseTailStart ( idx_type  new_start  ) 
bool polybori::groebner::LexBucket::isOne (  )  [inline]

Referenced by increaseTailStart().

bool polybori::groebner::LexBucket::isZero (  ) 
Exponent polybori::groebner::LexBucket::leadExp (  ) 
LexBucket & polybori::groebner::LexBucket::operator+= ( const Polynomial p  ) 
void polybori::groebner::LexBucket::updateTailStart (  ) 

References BooleEnv::ring(), and var_group_size.

Polynomial polybori::groebner::LexBucket::value (  ) 

Member Data Documentation

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


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

Generated on 25 Oct 2009 for PolyBoRi by  doxygen 1.6.1