Definition at line 23 of file loop_utils.cpp.
◆ loop_utils_is_constantt()
loop_utils_is_constantt::loop_utils_is_constantt |
( |
const modifiest & |
mod | ) |
|
|
inlineexplicit |
◆ is_constant()
bool loop_utils_is_constantt::is_constant |
( |
const exprt & |
expr | ) |
const |
|
inlineoverridevirtual |
This function determines what expressions are to be propagated as "constants".
Reimplemented from is_constantt.
Definition at line 29 of file loop_utils.cpp.
◆ modifies
const modifiest& loop_utils_is_constantt::modifies |
|
protected |
The documentation for this class was generated from the following file: