BooleMonomial.h File Reference
`#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.

## Classes

class | polybori::CDDOperations< DDType, MonomType >
class | polybori::BooleMonomial
| This class is just a wrapper for using variables from `cudd's` decicion diagram. More...

## Namespaces

| polybori

## Constant Groups

| polybori

## Functions

BooleMonomial | polybori::operator* (const BooleMonomial &lhs, const BooleMonomial &rhs)
| Multiplication of monomials. More...
BooleMonomial | polybori::operator* (const BooleMonomial &lhs, const BooleVariable &rhs)
| Multiplication of monomials. More...
BoolePolynomial | polybori::operator* (const BooleMonomial &lhs, BooleConstant rhs)
| Multiplication of monomials. More...
BoolePolynomial | polybori::operator* (BooleConstant lhs, const BooleMonomial &rhs)
| Multiplication of monomials. More...
BooleMonomial | polybori::operator/ (const BooleMonomial &lhs, const BooleMonomial &rhs)
| Division of monomials. More...
BooleMonomial | polybori::operator/ (const BooleMonomial &lhs, const BooleVariable &rhs)
| Division of monomials. More...
BooleMonomial::bool_type | polybori::operator< (const BooleMonomial &lhs, const BooleMonomial &rhs)
| Less than comparision. More...
BooleMonomial::bool_type | polybori::operator> (const BooleMonomial &lhs, const BooleMonomial &rhs)
| Greater than comparision. More...
BooleMonomial::bool_type | polybori::operator<= (const BooleMonomial &lhs, const BooleMonomial &rhs)
| Less or equal than comparision. More...
BooleMonomial::bool_type | polybori::operator>= (const BooleMonomial &lhs, const BooleMonomial &rhs)
| Greater or equal than comparision. More...
BooleMonomial | polybori::GCD (const BooleMonomial &lhs, const BooleMonomial &rhs)
| Compute the greatest common divisor of two monomials. More...
BooleMonomial | polybori::LCM (const BooleMonomial &lhs, const BooleMonomial &rhs)
| Compute the greatest common divisor of two monomials. More...
BoolePolynomial | polybori::operator* (const BooleVariable &lhs, const BooleConstant &rhs)
| Multiplication of variables by a 0 or 1. More...
BoolePolynomial | polybori::operator* (const BooleConstant &lhs, const BooleVariable &rhs)
| Multiplication of 0 or 1 by a Variable. More...
BoolePolynomial | polybori::operator* (const BooleVariable &lhs, const BoolePolynomial &rhs)
| Multiplication of variables by a polynomial. More...
BooleMonomial | polybori::operator* (const BooleVariable &lhs, const BooleMonomial &rhs)
| Multiplication of variables by a monomial. More...
BoolePolynomial & | polybori::operator*= (BoolePolynomial &lhs, const BooleVariable &rhs)
| Multiplication of a polynomial by a variable with assignment. More...
BooleMonomial | polybori::operator* (const BooleVariable &lhs, const BooleVariable &rhs)
| Multiplication of monomials by a polynomial. More...
BoolePolynomial | polybori::operator* (const BoolePolynomial &lhs, const BooleVariable &rhs)
| Multiplication of a polynomial by a variable. More...
BoolePolynomial | polybori::operator/ (const BoolePolynomial &lhs, const BooleVariable &rhs)
| Division of a polynomial by a variable (forcing monomial variant) More...
BoolePolynomial | polybori::operator% (const BoolePolynomial &lhs, const BooleVariable &rhs)
| Remainder of division of a polynomial by a variable. More...

## Detailed Description

Author
  Alexander Dreyer

Date
  2006-04-19

This file carries the definition of class `BooleMonomial`, which can be used to access the boolean monomials of the currently active Boolean polynomial ring.

Copyright:
  (c) 2006-2010 by The PolyBoRi Team