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