|
bool | is_constant (const exprt &expr) const override |
| This function determines what expressions are to be propagated as "constants".
|
|
virtual bool | is_constant (const exprt &) const |
| This function determines what expressions are to be propagated as "constants".
|
|
virtual bool | is_constant_address_of (const exprt &) const |
| this function determines which reference-typed expressions are constant
|
|
Definition at line 420 of file constant_propagator.cpp.
◆ constant_propagator_is_constantt()
constant_propagator_is_constantt::constant_propagator_is_constantt |
( |
const replace_symbolt & |
replace_const | ) |
|
|
inlineexplicit |
◆ is_constant() [1/2]
bool constant_propagator_is_constantt::is_constant |
( |
const exprt & |
expr | ) |
const |
|
inlineoverrideprotectedvirtual |
◆ is_constant() [2/2]
bool constant_propagator_is_constantt::is_constant |
( |
const irep_idt & |
id | ) |
const |
|
inline |
◆ replace_const
The documentation for this class was generated from the following file: