

Private Member Functions | |
| Boolean_alltrue (const MP_domain &d, const MP_boolean &b) | |
| bool | evaluate () const |
Private Attributes | |
| MP_domain | D |
| MP_boolean | B |
Friends | |
| MP_boolean | alltrue (const MP_domain &d, const MP_boolean &b) |
| boolean which returns true if all in domain evaluate to true.This is used in the normal formation of an expression. | |
Definition at line 82 of file MP_boolean.cpp.
| flopc::Boolean_alltrue::Boolean_alltrue | ( | const MP_domain & | d, | |
| const MP_boolean & | b | |||
| ) | [inline, private] |
Definition at line 85 of file MP_boolean.cpp.
| bool flopc::Boolean_alltrue::evaluate | ( | ) | const [inline, private, virtual] |
Implements flopc::Boolean_base.
Definition at line 86 of file MP_boolean.cpp.
| MP_boolean alltrue | ( | const MP_domain & | d, | |
| const MP_boolean & | b | |||
| ) | [friend] |
boolean which returns true if all in domain evaluate to true.This is used in the normal formation of an expression.
| d | MP_domain to evaluate with | |
| b | boolean expression to evaluate. |
MP_boolean flopc::Boolean_alltrue::B [private] |
Definition at line 90 of file MP_boolean.cpp.
MP_domain flopc::Boolean_alltrue::D [private] |
Definition at line 89 of file MP_boolean.cpp.
1.6.1