Functions |
BoolePolynomial | polybori::operator+ (const BoolePolynomial &lhs, const BoolePolynomial &rhs) |
| Addition operation.
|
BoolePolynomial | polybori::operator+ (const BoolePolynomial &lhs, BooleConstant rhs) |
| Addition operation.
|
BoolePolynomial | polybori::operator+ (BooleConstant lhs, const BoolePolynomial &rhs) |
| Addition operation.
|
template<class RHSType > |
BoolePolynomial | polybori::operator- (const BoolePolynomial &lhs, const RHSType &rhs) |
| Subtraction operation.
|
BoolePolynomial | polybori::operator- (const BooleConstant &lhs, const BoolePolynomial &rhs) |
| Subtraction operation with constant right-hand-side.
|
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)
|
template<class RHSType > |
BoolePolynomial | polybori::operator% (const BoolePolynomial &lhs, const RHSType &rhs) |
| Modulus monomial (division remainder)
|
BoolePolynomial::bool_type | polybori::operator== (BoolePolynomial::bool_type lhs, const BoolePolynomial &rhs) |
| Equality check (with constant lhs)
|
BoolePolynomial::bool_type | polybori::operator!= (BoolePolynomial::bool_type lhs, const BoolePolynomial &rhs) |
| Nonquality check (with constant lhs)
|
BoolePolynomial::ostream_type & | polybori::operator<< (BoolePolynomial::ostream_type &, const BoolePolynomial &) |
| Stream output operator.
|
- 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 by The PolyBoRi Team