#include <havoc_utils.h>
Definition at line 25 of file havoc_utils.h.
◆ havoc_utils_is_constantt()
havoc_utils_is_constantt::havoc_utils_is_constantt |
( |
const modifiest & |
mod | ) |
|
|
inlineexplicit |
◆ is_constant()
bool havoc_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 32 of file havoc_utils.h.
◆ modifies
const modifiest& havoc_utils_is_constantt::modifies |
|
protected |
The documentation for this class was generated from the following file: