This class defines RankingVector.
More...
#include <RankingVector.h>
Detailed Description
This class defines RankingVector.
Constructor & Destructor Documentation
polybori::groebner::RankingVector::RankingVector |
( |
size_type |
len | ) |
|
|
inline |
Member Function Documentation
void polybori::groebner::RankingVector::increment |
( |
size_type |
idx | ) |
|
|
inline |
value_type polybori::groebner::RankingVector::max_index |
( |
| ) |
const |
|
inline |
void polybori::groebner::RankingVector::rerank |
( |
const Exponent & |
exp | ) |
|
|
inline |
The documentation for this class was generated from the following file: