BooleExponent.h File Reference

#include "pbori_defs.h"
#include "BooleMonomial.h"
#include "BooleVariable.h"

Go to the source code of this file.

Classes
class	BooleExponent
	This class is just a wrapper for using variables for storing indices as interim data structure for BooleMonomial. More...
Functions
template<class RHSType >
BooleExponent	operator+ (const BooleExponent &lhs, const RHSType &rhs)
	Multiplication of monomials.
template<class RHSType >
BooleExponent	operator- (const BooleExponent &lhs, const RHSType &rhs)
	Division of monomials.
BooleExponent::bool_type	operator< (const BooleExponent &lhs, const BooleExponent &rhs)
	Less than comparision.
BooleExponent::bool_type	operator> (const BooleExponent &lhs, const BooleExponent &rhs)
	Greater than comparision.
BooleExponent::bool_type	operator<= (const BooleExponent &lhs, const BooleExponent &rhs)
	Less or equal than comparision.
BooleExponent::bool_type	operator>= (const BooleExponent &lhs, const BooleExponent &rhs)
	Greater or equal than comparision.
BooleExponent	GCD (const BooleExponent &lhs, const BooleExponent &rhs)
	Compute the greatest common divisor of two monomials.
BooleExponent	LCM (const BooleExponent &lhs, const BooleExponent &rhs)
	Compute the greatest common divisor of two monomials.
BooleExponent::ostream_type &	operator<< (BooleExponent::ostream_type &os, const BooleExponent &rhs)
	Stream output operator.

---

Detailed Description

Author:

Alexander Dreyer

Date:

2006-08-23

This file carries the definition of class BooleExponent, which can be used as interim storage for boolean monomials.

Copyright:

(c) 2006 by The PolyBoRi Team

---

Function Documentation

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

Compute the greatest common divisor of two monomials.

References BooleExponent::GCD().

BooleExponent LCM	(	const BooleExponent &	lhs,
		const BooleExponent &	rhs
	)			[inline]

Compute the greatest common divisor of two monomials.

References BooleExponent::LCM().

template<class RHSType >

BooleExponent operator+	(	const BooleExponent &	lhs,
		const RHSType &	rhs
	)			[inline]

Multiplication of monomials.

References BooleExponent::multiply().

template<class RHSType >

BooleExponent operator-	(	const BooleExponent &	lhs,
		const RHSType &	rhs
	)			[inline]

Division of monomials.

References BooleExponent::divide().

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

Less than comparision.

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

BooleExponent::ostream_type& operator<<	(	BooleExponent::ostream_type &	os,
		const BooleExponent &	rhs
	)			[inline]

Stream output operator.

References BooleExponent::print().

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

Less or equal than comparision.

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

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

Greater than comparision.

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

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

Greater or equal than comparision.

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