|
bool | is_constant (const exprt &expr) const override |
| 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 419 of file constant_propagator.cpp.
◆ constant_propagator_can_forward_propagatet()
constant_propagator_can_forward_propagatet::constant_propagator_can_forward_propagatet |
( |
const replace_symbolt & | replace_const, |
|
|
const namespacet & | ns ) |
|
inline |
◆ is_constant() [1/2]
bool constant_propagator_can_forward_propagatet::is_constant |
( |
const exprt & | expr | ) |
const |
|
inlineoverrideprotectedvirtual |
◆ is_constant() [2/2]
bool constant_propagator_can_forward_propagatet::is_constant |
( |
const irep_idt & | id | ) |
const |
|
inline |
◆ replace_const
const replace_symbolt& constant_propagator_can_forward_propagatet::replace_const |
|
protected |
The documentation for this class was generated from the following file: