PolyBoRi
|
#include <TimesConstantImplication.h>
Public Member Functions | |
template<class PairType > | |
Polynomial | operator() (const Polynomial &lhs, const PairType &rhs) const |
This class the product of a polynomial with a simple polynomials given as a pair of a variable and a Boolean constant value.
|
inline |
References polybori::BoolePolynomial::ring(), and polybori::BoolePolyRing::variable().