#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) |
This file implements the class BoolePolymials, where carries the definition of monomials over Booleans.
void exp_divide | ( | const ExpType & | lhs, | |
const RhsType & | rhs, | |||
ResultType & | result | |||
) | [inline] |
Referenced by BooleExponent::divide().
void exp_multiply | ( | const ExpType & | lhs, | |
const RhsType & | rhs, | |||
ResultType & | result | |||
) | [inline] |
References exp_multiply().
void exp_multiply | ( | const ExpType & | lhs, | |
RhsIterator | start, | |||
RhsIterator | finish, | |||
SizeType | nlen, | |||
ResultType & | result | |||
) | [inline] |
Referenced by exp_multiply(), BooleExponent::multiply(), and BooleExponent::multiplyFirst().