PolyBoRi
Classes | Namespaces | Functions
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

namespace  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