CBMC
|
Public Member Functions | |
constant_propagator_can_forward_propagatet (const replace_symbolt &replace_const, const namespacet &ns) | |
bool | is_constant (const irep_idt &id) const |
Public Member Functions inherited from can_forward_propagatet | |
can_forward_propagatet (const namespacet &ns) | |
bool | operator() (const exprt &e) const |
returns true iff the expression can be considered constant More... | |
Protected Member Functions | |
bool | is_constant (const exprt &expr) const override |
This function determines what expressions are to be propagated as "constants". More... | |
Protected Member Functions inherited from can_forward_propagatet | |
virtual bool | is_constant_address_of (const exprt &) const |
this function determines which reference-typed expressions are constant More... | |
Protected Attributes | |
const replace_symbolt & | replace_const |
Protected Attributes inherited from can_forward_propagatet | |
const namespacet & | ns |
Definition at line 419 of file constant_propagator.cpp.
|
inline |
Definition at line 422 of file constant_propagator.cpp.
|
inlineoverrideprotectedvirtual |
This function determines what expressions are to be propagated as "constants".
Reimplemented from can_forward_propagatet.
Definition at line 435 of file constant_propagator.cpp.
|
inline |
Definition at line 429 of file constant_propagator.cpp.
|
protected |
Definition at line 443 of file constant_propagator.cpp.