#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] |
1.5.6