|
BoolePolynomial | polybori::operator+ (const BoolePolynomial &lhs, const BoolePolynomial &rhs) |
| Addition operation. More...
|
|
BoolePolynomial | polybori::operator+ (const BoolePolynomial &lhs, BooleConstant rhs) |
| Addition operation. More...
|
|
BoolePolynomial | polybori::operator+ (BooleConstant lhs, const BoolePolynomial &rhs) |
| Addition operation. More...
|
|
template<class RHSType > |
BoolePolynomial | polybori::operator- (const BoolePolynomial &lhs, const RHSType &rhs) |
| Subtraction operation. More...
|
|
BoolePolynomial | polybori::operator- (const BooleConstant &lhs, const BoolePolynomial &rhs) |
| Subtraction operation with constant right-hand-side. More...
|
|
BoolePolynomial | polybori::operator* (const BoolePolynomial &lhs, const BoolePolynomial &rhs) |
|
BoolePolynomial | polybori::operator* (const BoolePolynomial &lhs, const BooleMonomial &rhs) |
|
BoolePolynomial | polybori::operator* (const BoolePolynomial &lhs, const BooleExponent &rhs) |
|
BoolePolynomial | polybori::operator* (const BoolePolynomial &lhs, const BooleConstant &rhs) |
|
BoolePolynomial | polybori::operator* (const BooleMonomial &lhs, const BoolePolynomial &rhs) |
|
BoolePolynomial | polybori::operator* (const BooleExponent &lhs, const BoolePolynomial &rhs) |
|
BoolePolynomial | polybori::operator* (const BooleConstant &lhs, const BoolePolynomial &rhs) |
|
template<class RHSType > |
BoolePolynomial | polybori::operator/ (const BoolePolynomial &lhs, const RHSType &rhs) |
| Division by monomial (skipping remainder) More...
|
|
template<class RHSType > |
BoolePolynomial | polybori::operator% (const BoolePolynomial &lhs, const RHSType &rhs) |
| Modulus monomial (division remainder) More...
|
|
BoolePolynomial::bool_type | polybori::operator== (BoolePolynomial::bool_type lhs, const BoolePolynomial &rhs) |
| Equality check (with constant lhs) More...
|
|
BoolePolynomial::bool_type | polybori::operator!= (BoolePolynomial::bool_type lhs, const BoolePolynomial &rhs) |
| Nonquality check (with constant lhs) More...
|
|
BoolePolynomial::ostream_type & | polybori::operator<< (BoolePolynomial::ostream_type &, const BoolePolynomial &) |
| Stream output operator. More...
|
|
- Author
- Alexander Dreyer
- Date
- 2006-03-10
This file carries the definition of class BoolePolynomial
, which can be used to access the boolean polynomials with respect to the polynomial ring, which was active on initialization time.
- Copyright:
- (c) 2006-2010 by The PolyBoRi Team