

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 booleansThis is used in the normal formation of an expression. | |
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] |
Implements flopc::Boolean_base.
Definition at line 66 of file MP_boolean.cpp.
| MP_boolean operator&& | ( | const MP_boolean & | e1, | |
| const MP_boolean & | e2 | |||
| ) | [friend] |
For computing the logical AND of two booleansThis is used in the normal formation of an expression.
| e1 | first boolean | |
| e2 | second boolean |
MP_boolean flopc::Boolean_and::left [private] |
Definition at line 69 of file MP_boolean.cpp.
Referenced by evaluate().
MP_boolean flopc::Boolean_and::right [private] |
Definition at line 69 of file MP_boolean.cpp.
Referenced by evaluate().
1.6.1