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