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

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