PolyBoRi
Public Member Functions | Public Attributes | Static Public Attributes | List of all members
polybori::groebner::LexBucket Class Reference

#include <LexBucket.h>

Public Member Functions

 LexBucket (const BoolePolyRing &input_ring)
 
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 ()
 

Public Attributes

BoolePolyRing ring
 

Static Public Attributes

static const int var_group_size =1
 

Constructor & Destructor Documentation

polybori::groebner::LexBucket::LexBucket ( const BoolePolyRing input_ring)
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
bool polybori::groebner::LexBucket::isZero ( )
Exponent polybori::groebner::LexBucket::leadExp ( )
LexBucket & polybori::groebner::LexBucket::operator+= ( const Polynomial p)
void polybori::groebner::LexBucket::updateTailStart ( )
Polynomial polybori::groebner::LexBucket::value ( )

Member Data Documentation

BoolePolyRing polybori::groebner::LexBucket::ring
const int polybori::groebner::LexBucket::var_group_size =1
static

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