|
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
|
|
Definition at line 3993 of file c_typecheck_expr.cpp.
◆ is_compile_time_constantt()
is_compile_time_constantt::is_compile_time_constantt |
( |
const namespacet & |
ns | ) |
|
|
inlineexplicit |
◆ is_constant()
bool is_compile_time_constantt::is_constant |
( |
const exprt & |
expr | ) |
const |
|
inlineoverrideprotectedvirtual |
◆ is_constant_address_of()
bool is_compile_time_constantt::is_constant_address_of |
( |
const exprt & |
expr | ) |
const |
|
inlineoverrideprotectedvirtual |
◆ ns
The documentation for this class was generated from the following file: