

Private Member Functions | |
| Boolean_or (const MP_boolean &e1, const MP_boolean &e2) | |
| bool | evaluate () const |
Private Attributes | |
| MP_boolean | left |
| MP_boolean | right |
Friends | |
| MP_boolean | operator|| (const MP_boolean &e1, const MP_boolean &e2) |
| For computing the logical OR of two booleansThis is used in the normal formation of an expression. | |
Definition at line 72 of file MP_boolean.cpp.
| flopc::Boolean_or::Boolean_or | ( | const MP_boolean & | e1, | |
| const MP_boolean & | e2 | |||
| ) | [inline, private] |
Definition at line 75 of file MP_boolean.cpp.
| bool flopc::Boolean_or::evaluate | ( | ) | const [inline, private, virtual] |
Implements flopc::Boolean_base.
Definition at line 76 of file MP_boolean.cpp.
| MP_boolean operator|| | ( | const MP_boolean & | e1, | |
| const MP_boolean & | e2 | |||
| ) | [friend] |
For computing the logical OR of two booleansThis is used in the normal formation of an expression.
| e1 | first boolean | |
| e2 | second boolean |
MP_boolean flopc::Boolean_or::left [private] |
Definition at line 79 of file MP_boolean.cpp.
Referenced by evaluate().
MP_boolean flopc::Boolean_or::right [private] |
Definition at line 79 of file MP_boolean.cpp.
Referenced by evaluate().
1.6.1