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