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  BooleMonomial
 This class is just a wrapper for using variables from cudd's decicion diagram. More...

Functions

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

Function Documentation

BooleMonomial GCD ( const BooleMonomial lhs,
const BooleMonomial rhs 
) [inline]

Compute the greatest common divisor of two monomials.

References BooleMonomial::GCD().

Checks whether BooleVariable(lhs) > BooleVariable(rhs).

greater_variable

References CCompareEnums::greater_than, BooleEnv::ordering(), and PBORI_TRACE_FUNC.

BooleMonomial LCM ( const BooleMonomial lhs,
const BooleMonomial rhs 
) [inline]

Compute the greatest common divisor of two monomials.

References BooleMonomial::LCM().

BoolePolynomial operator% ( const BoolePolynomial lhs,
const BooleVariable rhs 
) [inline]

Remainder of division of a polynomial by a variable.

BoolePolynomial& operator%= ( BoolePolynomial lhs,
const BooleVariable rhs 
) [inline]

Remainder of division of a polynomial by a variable (with assignment).

BoolePolynomial operator* ( const BoolePolynomial lhs,
const BooleVariable rhs 
) [inline]

Multiplication of a polynomial by a variable.

BooleMonomial operator* ( const BooleVariable lhs,
const BooleVariable rhs 
) [inline]

Multiplication of monomials by a polynomial.

BooleMonomial operator* ( const BooleVariable lhs,
const BooleMonomial rhs 
) [inline]

Multiplication of variables by a monomial.

BoolePolynomial operator* ( const BooleVariable lhs,
const BoolePolynomial rhs 
) [inline]

Multiplication of variables by a polynomial.

BoolePolynomial operator* ( const BooleConstant lhs,
const BooleVariable rhs 
) [inline]

Multiplication of 0 or 1 by a Variable.

BoolePolynomial operator* ( const BooleVariable lhs,
const BooleConstant rhs 
) [inline]

Multiplication of variables by a 0 or 1.

BoolePolynomial operator* ( BooleConstant  lhs,
const BooleMonomial rhs 
) [inline]

Multiplication of monomials.

BoolePolynomial operator* ( const BooleMonomial lhs,
BooleConstant  rhs 
) [inline]

Multiplication of monomials.

BooleMonomial operator* ( const BooleMonomial lhs,
const BooleVariable rhs 
) [inline]

Multiplication of monomials.

BooleMonomial operator* ( const BooleMonomial lhs,
const BooleMonomial rhs 
) [inline]

Multiplication of monomials.

BoolePolynomial& operator*= ( BoolePolynomial lhs,
const BooleVariable rhs 
) [inline]

Multiplication of a polynomial by a variable with assignment.

BoolePolynomial operator/ ( const BoolePolynomial lhs,
const BooleVariable rhs 
) [inline]

Division of a polynomial by a variable (forcing monomial variant).

BooleMonomial operator/ ( const BooleMonomial lhs,
const BooleVariable rhs 
) [inline]

Division of monomials.

BooleMonomial operator/ ( const BooleMonomial lhs,
const BooleMonomial rhs 
) [inline]

Division of monomials.

BoolePolynomial& operator/= ( BoolePolynomial lhs,
const BooleVariable rhs 
) [inline]

Division of a polynomial by a variable (forcing monomial variant).

BooleMonomial::bool_type operator< ( const BooleMonomial lhs,
const BooleMonomial rhs 
) [inline]

Less than comparision.

References BooleMonomial::compare(), and CCompareEnums::less_than.

BooleMonomial::bool_type operator<= ( const BooleMonomial lhs,
const BooleMonomial rhs 
) [inline]

Less or equal than comparision.

References BooleMonomial::compare(), and CCompareEnums::less_or_equal_max.

BooleMonomial::bool_type operator> ( const BooleMonomial lhs,
const BooleMonomial rhs 
) [inline]

Greater than comparision.

References BooleMonomial::compare(), and CCompareEnums::greater_than.

BooleMonomial::bool_type operator>= ( const BooleMonomial lhs,
const BooleMonomial rhs 
) [inline]

Greater or equal than comparision.

References BooleMonomial::compare(), and CCompareEnums::greater_or_equal_min.

Generated on Tue May 4 08:19:02 2010 for PolyBoRi by  doxygen 1.6.3