BooleMonomial.h File Reference

#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  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.
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.
BooleMonomial::bool_type polybori::greater_variable (BooleMonomial::idx_type lhs, BooleMonomial::idx_type rhs)
 Checks whether BooleVariable(lhs) > BooleVariable(rhs).
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/= (BoolePolynomial &lhs, const BooleVariable &rhs)
 Division of a polynomial by a variable (forcing monomial variant).
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.
BoolePolynomial & polybori::operator%= (BoolePolynomial &lhs, const BooleVariable &rhs)
 Remainder of division of a polynomial by a variable (with assignment).


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 by The PolyBoRi Team

Generated on Thu Mar 5 02:30:40 2009 for PolyBoRi by  doxygen 1.5.8