PolyBoRi
|
Public Member Functions | |
EliminationDegreeAdder (int min) | |
void | operator() (const ExponentVectorType &ev) |
Public Attributes | |
int | min |
int | sum |
|
inline |
|
inline |
int polybori::EliminationDegreeAdder< ExponentVectorType >::min |
int polybori::EliminationDegreeAdder< ExponentVectorType >::sum |