#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.