|
PolyBoRi
|
This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet. More...
#include <BooleConstant.h>
Public Member Functions | |
| BooleConstant () | |
| Default constructor. | |
| BooleConstant (bool value) | |
| constructor for bool values | |
| BooleConstant (int value) | |
| Cosntructor for integer values (nontrivial conversion) | |
| operator bool () const | |
| Convert to bool value. | |
| BooleConstant | operator! () const |
| Negation operation. | |
Protected Attributes | |
| const bool | m_value |
| Boolean value is stored as simple bool. | |
This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet.
bool. Only conversion from ineger values to BooleConstant is nontrivial, as it involves the modulo 2 operation. | polybori::BooleConstant::BooleConstant | ( | ) | [inline] |
Default constructor.
| polybori::BooleConstant::BooleConstant | ( | bool | value | ) | [inline] |
constructor for bool values
| polybori::BooleConstant::BooleConstant | ( | int | value | ) | [inline] |
Cosntructor for integer values (nontrivial conversion)
| polybori::BooleConstant::operator bool | ( | ) | const [inline] |
Convert to bool value.
| BooleConstant polybori::BooleConstant::operator! | ( | ) | const [inline] |
Negation operation.
const bool polybori::BooleConstant::m_value [protected] |
Boolean value is stored as simple bool.
1.7.6.1