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