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 |
![]() | |
CFactoryBase (const parent_type &parent) | |
Default constructor. More... | |
CFactoryBase (const self &rhs) | |
Copy constructor. More... | |
~CFactoryBase () | |
Destructor. More... | |
const parent_type & | parent () const |
Access delayed data. More... | |
Additional Inherited Members | |
![]() | |
typedef BoolePolyRing | parent_type |
Type of parent. More... | |
This class defines ExpGreater.
|
inline |
|
inline |