PolyBoRi
|
This class defines IsEcart0Predicate. More...
#include <IsEcart0Predicate.h>
Public Member Functions | |
IsEcart0Predicate (const ReductionStrategy &strat) | |
bool | operator() (const Exponent &e) |
This class defines IsEcart0Predicate.
polybori::groebner::IsEcart0Predicate::IsEcart0Predicate | ( | const ReductionStrategy & | strat | ) | [inline] |
bool polybori::groebner::IsEcart0Predicate::operator() | ( | const Exponent & | e | ) | [inline] |