is_compile_time_constantt Class Reference
Inheritance diagram for is_compile_time_constantt: Collaboration diagram for is_compile_time_constantt:Public Member Functions | |
| is_compile_time_constantt (const namespacet &ns) | |
| 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 &e) const override |
| This function determines what expressions are to be propagated as "constants". More... | |
| bool | is_constant_address_of (const exprt &e) const override |
| this function determines which reference-typed expressions are constant More... | |
Protected Attributes | |
| const namespacet & | ns |
Detailed Description
Definition at line 4362 of file c_typecheck_expr.cpp.
Constructor & Destructor Documentation
◆ is_compile_time_constantt()
|
inlineexplicit |
Definition at line 4365 of file c_typecheck_expr.cpp.
Member Function Documentation
◆ is_constant()
|
inlineoverrideprotectedvirtual |
This function determines what expressions are to be propagated as "constants".
Reimplemented from is_constantt.
Definition at line 4372 of file c_typecheck_expr.cpp.
◆ is_constant_address_of()
|
inlineoverrideprotectedvirtual |
this function determines which reference-typed expressions are constant
Reimplemented from is_constantt.
Definition at line 4380 of file c_typecheck_expr.cpp.
Member Data Documentation
◆ ns
|
protected |
Definition at line 4370 of file c_typecheck_expr.cpp.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/ansi-c/c_typecheck_expr.cpp
