Loading...
Searching...
No Matches
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 | |
Protected Member Functions | |
| bool | is_constant (const exprt &e) const override |
| This function determines what expressions are to be propagated as "constants". | |
| bool | is_constant_address_of (const exprt &e) const override |
| this function determines which reference-typed expressions are constant | |
| 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 | |
Protected Attributes | |
| const namespacet & | ns |
Detailed Description
Definition at line 3993 of file c_typecheck_expr.cpp.
Constructor & Destructor Documentation
◆ is_compile_time_constantt()
|
inlineexplicit |
Definition at line 3996 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 4003 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 4011 of file c_typecheck_expr.cpp.
Member Data Documentation
◆ ns
|
protected |
Definition at line 4001 of file c_typecheck_expr.cpp.
The documentation for this class was generated from the following file:
- ansi-c/c_typecheck_expr.cpp
