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.
BoolePolynomial &	operator*= (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.
BoolePolynomial &	operator/= (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.
BoolePolynomial &	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

---

Function Documentation

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

Compute the greatest common divisor of two monomials.

References BooleMonomial::GCD().

BooleMonomial::bool_type greater_variable	(	BooleMonomial::idx_type	lhs,
		BooleMonomial::idx_type	rhs
	)

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.