PolyBoRi
|
This class defines ExpGreater. More...
#include <ExpGreater.h>
Public Member Functions | |
ExpGreater (const BoolePolyRing &ring) | |
bool | operator() (const BooleExponent &lhs, const BooleExponent &rhs) const |
This class defines ExpGreater.
polybori::groebner::ExpGreater::ExpGreater | ( | const BoolePolyRing & | ring | ) | [inline] |
bool polybori::groebner::ExpGreater::operator() | ( | const BooleExponent & | lhs, |
const BooleExponent & | rhs | ||
) | const [inline] |