Private Member Functions | |
Boolean_lessEq (const Constant &e1, const Constant &e2) | |
bool | evaluate () const |
Friends | |
MP_boolean | operator<= (const MP_index_exp &e1, const MP_index_exp &e2) |
boolean which returns true if all in domain evaluate to true.This is used in the normal formation of an expression. | |
MP_boolean | operator<= (const Constant &e1, const Constant &e2) |
constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing constants |
Definition at line 98 of file MP_boolean.cpp.
flopc::Boolean_lessEq::Boolean_lessEq | ( | const Constant & | e1, | |
const Constant & | e2 | |||
) | [inline, private] |
Definition at line 102 of file MP_boolean.cpp.
bool flopc::Boolean_lessEq::evaluate | ( | ) | const [inline, private, virtual] |
Implements flopc::Boolean_base.
Definition at line 103 of file MP_boolean.cpp.
References flopc::Comparison::left, and flopc::Comparison::right.
MP_boolean operator<= | ( | const Constant & | e1, | |
const Constant & | e2 | |||
) | [friend] |
constructs a boolean evaluator by comparing two constants.This is used in the normal formation of an expression. This utility of this is when comparing constants
e1 | first constant expression | |
e2 | second constant expression |
MP_boolean operator<= | ( | const MP_index_exp & | e1, | |
const MP_index_exp & | e2 | |||
) | [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. |
This is used in the normal formation of an expression. This is useful when combining index expressions.
e1 | is an index expression | |
e2 | second index expression
|
The brief code below is a bit contrived, but the right hand side illustrate the utility of combining an index expression. MP_index i;
MP_index j;
MP_boolean &b = (i+5)<=(j);