

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 booleans | |
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] |
| MP_boolean operator|| | ( | const MP_boolean & | e1, | |
| const MP_boolean & | e2 | |||
| ) | [friend] |
For computing the logical OR of two booleans
This is used in the normal formation of an expression.
| e1 | first boolean | |
| e2 | second boolean |
Definition at line 162 of file MP_boolean.cpp.
MP_boolean flopc::Boolean_or::left [private] |
MP_boolean flopc::Boolean_or::right [private] |
1.4.7