BooleExponent.cc File Reference

#include "BooleExponent.h"
#include "BooleVariable.h"
#include "BoolePolyRing.h"
#include "OrderedManager.h"
#include "PBoRiError.h"
#include "pbori_routines.h"
#include <functional>

Functions

template<class ExpType , class RhsType , class ResultType >
void exp_divide (const ExpType &lhs, const RhsType &rhs, ResultType &result)
template<class ExpType , class RhsIterator , class SizeType , class ResultType >
void exp_multiply (const ExpType &lhs, RhsIterator start, RhsIterator finish, SizeType nlen, ResultType &result)
template<class ExpType , class RhsType , class ResultType >
void exp_multiply (const ExpType &lhs, const RhsType &rhs, ResultType &result)

Detailed Description

Author:
Alexander Dreyer
Date:
2006-04-19

This file implements the class BoolePolymials, where carries the definition of monomials over Booleans.

Copyright:
(c) 2006 by The PolyBoRi Team

Function Documentation

template<class ExpType , class RhsType , class ResultType >
void exp_divide ( const ExpType &  lhs,
const RhsType &  rhs,
ResultType &  result 
) [inline]

Referenced by BooleExponent::divide().

template<class ExpType , class RhsType , class ResultType >
void exp_multiply ( const ExpType &  lhs,
const RhsType &  rhs,
ResultType &  result 
) [inline]

References exp_multiply().

template<class ExpType , class RhsIterator , class SizeType , class ResultType >
void exp_multiply ( const ExpType &  lhs,
RhsIterator  start,
RhsIterator  finish,
SizeType  nlen,
ResultType &  result 
) [inline]
Generated on Thu Aug 5 13:34:42 2010 for PolyBoRi by  doxygen 1.6.3