PolyBoRi
Public Member Functions
polybori::groebner::RankingVector Class Reference

This class defines RankingVector. More...

#include <RankingVector.h>

List of all members.

Public Member Functions

 RankingVector (size_type len)
void increment (size_type idx)
void rerank (const Exponent &exp)
value_type max_index () const

Detailed Description

This class defines RankingVector.


Constructor & Destructor Documentation


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: