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_typeoperator<< (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.

Generated on Wed May 5 19:05:49 2010 for PolyBoRi by  doxygen 1.6.3