#include "pbori_defs.h"
#include "BoolePolynomial.h"
#include "BooleVariable.h"
#include <map>
#include "CVariableIter.h"
#include "PBoRiError.h"
Go to the source code of this file.
Classes | |
class | BooleMonomial |
This class is just a wrapper for using variables from cudd's decicion diagram. More... | |
Functions | |
BooleMonomial | operator* (const BooleMonomial &lhs, const BooleMonomial &rhs) |
Multiplication of monomials. | |
BooleMonomial | operator* (const BooleMonomial &lhs, const BooleVariable &rhs) |
Multiplication of monomials. | |
BoolePolynomial | operator* (const BooleMonomial &lhs, BooleConstant rhs) |
Multiplication of monomials. | |
BoolePolynomial | operator* (BooleConstant lhs, const BooleMonomial &rhs) |
Multiplication of monomials. | |
BooleMonomial | operator/ (const BooleMonomial &lhs, const BooleMonomial &rhs) |
Division of monomials. | |
BooleMonomial | operator/ (const BooleMonomial &lhs, const BooleVariable &rhs) |
Division of monomials. | |
BooleMonomial::bool_type | operator< (const BooleMonomial &lhs, const BooleMonomial &rhs) |
Less than comparision. | |
BooleMonomial::bool_type | operator> (const BooleMonomial &lhs, const BooleMonomial &rhs) |
Greater than comparision. | |
BooleMonomial::bool_type | operator<= (const BooleMonomial &lhs, const BooleMonomial &rhs) |
Less or equal than comparision. | |
BooleMonomial::bool_type | operator>= (const BooleMonomial &lhs, const BooleMonomial &rhs) |
Greater or equal than comparision. | |
BooleMonomial | GCD (const BooleMonomial &lhs, const BooleMonomial &rhs) |
Compute the greatest common divisor of two monomials. | |
BooleMonomial | LCM (const BooleMonomial &lhs, const BooleMonomial &rhs) |
Compute the greatest common divisor of two monomials. | |
BooleMonomial::bool_type | greater_variable (BooleMonomial::idx_type lhs, BooleMonomial::idx_type rhs) |
Checks whether BooleVariable(lhs) > BooleVariable(rhs). | |
BoolePolynomial | operator* (const BooleVariable &lhs, const BooleConstant &rhs) |
Multiplication of variables by a 0 or 1. | |
BoolePolynomial | operator* (const BooleConstant &lhs, const BooleVariable &rhs) |
Multiplication of 0 or 1 by a Variable. | |
BoolePolynomial | operator* (const BooleVariable &lhs, const BoolePolynomial &rhs) |
Multiplication of variables by a polynomial. | |
BooleMonomial | operator* (const BooleVariable &lhs, const BooleMonomial &rhs) |
Multiplication of variables by a monomial. | |
BoolePolynomial & | operator*= (BoolePolynomial &lhs, const BooleVariable &rhs) |
Multiplication of a polynomial by a variable with assignment. | |
BooleMonomial | operator* (const BooleVariable &lhs, const BooleVariable &rhs) |
Multiplication of monomials by a polynomial. | |
BoolePolynomial | operator* (const BoolePolynomial &lhs, const BooleVariable &rhs) |
Multiplication of a polynomial by a variable. | |
BoolePolynomial & | operator/= (BoolePolynomial &lhs, const BooleVariable &rhs) |
Division of a polynomial by a variable (forcing monomial variant). | |
BoolePolynomial | operator/ (const BoolePolynomial &lhs, const BooleVariable &rhs) |
Division of a polynomial by a variable (forcing monomial variant). | |
BoolePolynomial | operator% (const BoolePolynomial &lhs, const BooleVariable &rhs) |
Remainder of division of a polynomial by a variable. | |
BoolePolynomial & | operator%= (BoolePolynomial &lhs, const BooleVariable &rhs) |
Remainder of division of a polynomial by a variable (with assignment). |
This file carries the definition of class BooleMonomial
, which can be used to access the boolean monomials of the currently active Boolean polynomial ring.
BooleMonomial GCD | ( | const BooleMonomial & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Compute the greatest common divisor of two monomials.
References BooleMonomial::GCD().
greater_variable | ( | BooleMonomial::idx_type | lhs, | |
BooleMonomial::idx_type | rhs | |||
) |
Checks whether BooleVariable(lhs) > BooleVariable(rhs).
References BooleEnv::ordering(), and PBORI_TRACE_FUNC.
BooleMonomial LCM | ( | const BooleMonomial & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Compute the greatest common divisor of two monomials.
References BooleMonomial::LCM().
BoolePolynomial operator% | ( | const BoolePolynomial & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Remainder of division of a polynomial by a variable.
BoolePolynomial& operator%= | ( | BoolePolynomial & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Remainder of division of a polynomial by a variable (with assignment).
BoolePolynomial operator* | ( | const BoolePolynomial & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Multiplication of a polynomial by a variable.
BooleMonomial operator* | ( | const BooleVariable & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Multiplication of monomials by a polynomial.
BooleMonomial operator* | ( | const BooleVariable & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Multiplication of variables by a monomial.
BoolePolynomial operator* | ( | const BooleVariable & | lhs, | |
const BoolePolynomial & | rhs | |||
) | [inline] |
Multiplication of variables by a polynomial.
BoolePolynomial operator* | ( | const BooleConstant & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Multiplication of 0 or 1 by a Variable.
BoolePolynomial operator* | ( | const BooleVariable & | lhs, | |
const BooleConstant & | rhs | |||
) | [inline] |
Multiplication of variables by a 0 or 1.
BoolePolynomial operator* | ( | BooleConstant | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Multiplication of monomials.
BoolePolynomial operator* | ( | const BooleMonomial & | lhs, | |
BooleConstant | rhs | |||
) | [inline] |
Multiplication of monomials.
BooleMonomial operator* | ( | const BooleMonomial & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Multiplication of monomials.
BooleMonomial operator* | ( | const BooleMonomial & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Multiplication of monomials.
BoolePolynomial& operator*= | ( | BoolePolynomial & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Multiplication of a polynomial by a variable with assignment.
BoolePolynomial operator/ | ( | const BoolePolynomial & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Division of a polynomial by a variable (forcing monomial variant).
BooleMonomial operator/ | ( | const BooleMonomial & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Division of monomials.
BooleMonomial operator/ | ( | const BooleMonomial & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Division of monomials.
BoolePolynomial& operator/= | ( | BoolePolynomial & | lhs, | |
const BooleVariable & | rhs | |||
) | [inline] |
Division of a polynomial by a variable (forcing monomial variant).
BooleMonomial::bool_type operator< | ( | const BooleMonomial & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Less than comparision.
References BooleMonomial::compare().
BooleMonomial::bool_type operator<= | ( | const BooleMonomial & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Less or equal than comparision.
References BooleMonomial::compare().
BooleMonomial::bool_type operator> | ( | const BooleMonomial & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Greater than comparision.
References BooleMonomial::compare().
BooleMonomial::bool_type operator>= | ( | const BooleMonomial & | lhs, | |
const BooleMonomial & | rhs | |||
) | [inline] |
Greater or equal than comparision.
References BooleMonomial::compare().