|
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 |
1.8.9.1