#include <polybori/pbori_defs.h>#include <polybori/BooleMonomial.h>#include <polybori/BooleVariable.h>Go to the source code of this file.
Namespaces | |
| namespace | polybori |
Classes | |
| class | polybori::BooleExponent |
| This class is just a wrapper for using variables for storing indices as interim data structure for BooleMonomial. More... | |
Functions | |
| template<class RHSType> | |
| BooleExponent | polybori::operator+ (const BooleExponent &lhs, const RHSType &rhs) |
| Multiplication of monomials. | |
| template<class RHSType> | |
| BooleExponent | polybori::operator- (const BooleExponent &lhs, const RHSType &rhs) |
| Division of monomials. | |
| BooleExponent | polybori::GCD (const BooleExponent &lhs, const BooleExponent &rhs) |
| Compute the greatest common divisor of two monomials. | |
| BooleExponent | polybori::LCM (const BooleExponent &lhs, const BooleExponent &rhs) |
| Compute the greatest common divisor of two monomials. | |
| BooleExponent::ostream_type & | polybori::operator<< (BooleExponent::ostream_type &os, const BooleExponent &rhs) |
| Stream output operator. | |
BooleExponent, which can be used as interim storage for boolean monomials.
1.5.6