flopc::Boolean_negate Class Reference
Inheritance diagram for flopc::Boolean_negate:
Collaboration diagram for flopc::Boolean_negate:
Private Member Functions | |
| Boolean_negate (const MP_boolean &b) | |
| bool | evaluate () const |
Private Attributes | |
| MP_boolean | B |
Friends | |
| MP_boolean | operator! (const MP_boolean &b) |
| For computing the logical negation of a booleanThis is used in the normal formation of an expression. | |
Detailed Description
Definition at line 52 of file MP_boolean.cpp.
Constructor & Destructor Documentation
| flopc::Boolean_negate::Boolean_negate | ( | const MP_boolean & | b | ) | [inline, private] |
Definition at line 55 of file MP_boolean.cpp.
Member Function Documentation
| bool flopc::Boolean_negate::evaluate | ( | ) | const [inline, private, virtual] |
Friends And Related Function Documentation
| MP_boolean operator! | ( | const MP_boolean & | b | ) | [friend] |
For computing the logical negation of a booleanThis is used in the normal formation of an expression.
- Parameters:
-
b boolean
- Returns:
- A boolean which evaluates to the negation of the input expression.
- Todo:
- true? haven't used it.
Member Data Documentation
MP_boolean flopc::Boolean_negate::B [private] |
Definition at line 59 of file MP_boolean.cpp.
Referenced by evaluate().
The documentation for this class was generated from the following file:
