constant_propagator_is_constantt Class Reference
Inheritance diagram for constant_propagator_is_constantt: Collaboration diagram for constant_propagator_is_constantt:Public Member Functions | |
| constant_propagator_is_constantt (const replace_symbolt &replace_const) | |
| bool | is_constant (const irep_idt &id) const |
| Public Member Functions inherited from is_constantt | |
| 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 is_constantt | |
| 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 |
Detailed Description
Definition at line 420 of file constant_propagator.cpp.
Constructor & Destructor Documentation
◆ constant_propagator_is_constantt()
|
inlineexplicit |
Definition at line 423 of file constant_propagator.cpp.
Member Function Documentation
◆ is_constant() [1/2]
|
inlineoverrideprotectedvirtual |
This function determines what expressions are to be propagated as "constants".
Reimplemented from is_constantt.
Definition at line 435 of file constant_propagator.cpp.
◆ is_constant() [2/2]
|
inline |
Definition at line 429 of file constant_propagator.cpp.
Member Data Documentation
◆ replace_const
|
protected |
Definition at line 443 of file constant_propagator.cpp.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/constant_propagator.cpp
