|
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()().
1.7.5