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.
Polynomial polybori::groebner::TimesConstantImplication::operator() | ( | const Polynomial & | lhs, |
const PairType & | rhs | ||
) | const [inline] |
References polybori::BoolePolynomial::ring(), and polybori::BoolePolyRing::variable().