#include "pbori_defs.h"
#include "BooleMonomial.h"
#include "BooleVariable.h"
Go to the source code of this file.
Classes | |
class | 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 | operator+ (const BooleExponent &lhs, const RHSType &rhs) |
Multiplication of monomials. | |
template<class RHSType > | |
BooleExponent | operator- (const BooleExponent &lhs, const RHSType &rhs) |
Division of monomials. | |
BooleExponent::bool_type | operator< (const BooleExponent &lhs, const BooleExponent &rhs) |
Less than comparision. | |
BooleExponent::bool_type | operator> (const BooleExponent &lhs, const BooleExponent &rhs) |
Greater than comparision. | |
BooleExponent::bool_type | operator<= (const BooleExponent &lhs, const BooleExponent &rhs) |
Less or equal than comparision. | |
BooleExponent::bool_type | operator>= (const BooleExponent &lhs, const BooleExponent &rhs) |
Greater or equal than comparision. | |
BooleExponent | GCD (const BooleExponent &lhs, const BooleExponent &rhs) |
Compute the greatest common divisor of two monomials. | |
BooleExponent | LCM (const BooleExponent &lhs, const BooleExponent &rhs) |
Compute the greatest common divisor of two monomials. | |
BooleExponent::ostream_type & | operator<< (BooleExponent::ostream_type &os, const BooleExponent &rhs) |
Stream output operator. |
This file carries the definition of class BooleExponent
, which can be used as interim storage for boolean monomials.
BooleExponent GCD | ( | const BooleExponent & | lhs, | |
const BooleExponent & | rhs | |||
) | [inline] |
Compute the greatest common divisor of two monomials.
References BooleExponent::GCD().
BooleExponent LCM | ( | const BooleExponent & | lhs, | |
const BooleExponent & | rhs | |||
) | [inline] |
Compute the greatest common divisor of two monomials.
References BooleExponent::LCM().
BooleExponent operator+ | ( | const BooleExponent & | lhs, | |
const RHSType & | rhs | |||
) | [inline] |
Multiplication of monomials.
References BooleExponent::multiply().
BooleExponent operator- | ( | const BooleExponent & | lhs, | |
const RHSType & | rhs | |||
) | [inline] |
Division of monomials.
References BooleExponent::divide().
BooleExponent::bool_type operator< | ( | const BooleExponent & | lhs, | |
const BooleExponent & | rhs | |||
) | [inline] |
Less than comparision.
References BooleExponent::compare().
BooleExponent::ostream_type& operator<< | ( | BooleExponent::ostream_type & | os, | |
const BooleExponent & | rhs | |||
) | [inline] |
Stream output operator.
References BooleExponent::print().
BooleExponent::bool_type operator<= | ( | const BooleExponent & | lhs, | |
const BooleExponent & | rhs | |||
) | [inline] |
Less or equal than comparision.
References BooleExponent::compare().
BooleExponent::bool_type operator> | ( | const BooleExponent & | lhs, | |
const BooleExponent & | rhs | |||
) | [inline] |
Greater than comparision.
References BooleExponent::compare().
BooleExponent::bool_type operator>= | ( | const BooleExponent & | lhs, | |
const BooleExponent & | rhs | |||
) | [inline] |
Greater or equal than comparision.
References BooleExponent::compare().