PolyBoRi
|
Public Member Functions | |
EliminationDegreeAdder (int min) | |
void | operator() (const ExponentVectorType &ev) |
Public Attributes | |
int | min |
int | sum |
polybori::EliminationDegreeAdder::EliminationDegreeAdder | ( | int | min | ) | [inline] |
void polybori::EliminationDegreeAdder::operator() | ( | const ExponentVectorType & | ev | ) | [inline] |
Referenced by EliminationDegreeAdder(), and operator()().
Referenced by EliminationDegreeAdder(), and operator()().