|
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] |
1.8.0