Definition at line 98 of file MP_boolean.cpp.
◆ Boolean_lessEq()
flopc::Boolean_lessEq::Boolean_lessEq |
( |
const Constant & |
e1, |
|
|
const Constant & |
e2 |
|
) |
| |
|
inlineprivate |
◆ evaluate()
bool flopc::Boolean_lessEq::evaluate |
( |
| ) |
const |
|
inlineprivatevirtual |
◆ operator<= [1/2]
boolean which returns true if all in domain evaluate to true.This is used in the normal formation of an expression.
- Parameters
-
d | MP_domain to evaluate with |
b | boolean expression to evaluate. |
- Returns
- A boolean which evaluates to true all domain evaluations of the boolean evaluate to true.constructs a boolean evaluator using operator overloading
This is used in the normal formation of an expression. This is useful when combining index expressions.
- Parameters
-
e1 | is an index expression |
e2 | second index expression
- used in forming sets of tuples of index values, or subsets.
|
- Todo:
- improve this a bit?
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);
Definition at line 175 of file MP_boolean.cpp.
◆ operator<= [2/2]
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
- Parameters
-
e1 | first constant expression |
e2 | second constant expression |
Definition at line 178 of file MP_boolean.cpp.
The documentation for this class was generated from the following file: