PolyBoRi
Public Member Functions | Static Public Attributes
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


Member Function Documentation

LexBucket & polybori::groebner::LexBucket::operator+= ( const Polynomial p)

Member Data Documentation


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