

Private Member Functions | |
| Boolean_and (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 AND of two booleans | |
Definition at line 62 of file MP_boolean.cpp.
| flopc::Boolean_and::Boolean_and | ( | const MP_boolean & | e1, | |
| const MP_boolean | e2 | |||
| ) | [inline, private] |
Definition at line 65 of file MP_boolean.cpp.
| bool flopc::Boolean_and::evaluate | ( | ) | const [inline, private, virtual] |
| MP_boolean operator && | ( | const MP_boolean & | e1, | |
| const MP_boolean & | e2 | |||
| ) | [friend] |
For computing the logical AND of two booleans
This is used in the normal formation of an expression.
| e1 | first boolean | |
| e2 | second boolean |
Definition at line 159 of file MP_boolean.cpp.
MP_boolean flopc::Boolean_and::left [private] |
MP_boolean flopc::Boolean_and::right [private] |
1.4.7