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. |
Definition at line 81 of file MP_boolean.cpp.
flopc::Boolean_alltrue::Boolean_alltrue | ( | const MP_domain & | d, | |
const MP_boolean & | b | |||
) | [inline, private] |
Definition at line 84 of file MP_boolean.cpp.
bool flopc::Boolean_alltrue::evaluate | ( | ) | const [inline, private, virtual] |
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. |
Definition at line 151 of file MP_boolean.cpp.
MP_boolean flopc::Boolean_alltrue::B [private] |
Definition at line 89 of file MP_boolean.cpp.
MP_domain flopc::Boolean_alltrue::D [private] |
Definition at line 88 of file MP_boolean.cpp.