cprover
|
Protected Member Functions | |
bool | is_constant (const exprt &expr) const override |
This function determines what expressions are to be propagated as "constants". More... | |
![]() | |
virtual bool | is_constant_address_of (const exprt &) const |
this function determines which reference-typed expressions are constant More... | |
Additional Inherited Members | |
![]() | |
bool | operator() (const exprt &e) const |
returns true iff the expression can be considered constant More... | |
Definition at line 128 of file goto_symex_state.cpp.
|
inlineoverrideprotectedvirtual |
This function determines what expressions are to be propagated as "constants".
Reimplemented from is_constantt.
Definition at line 131 of file goto_symex_state.cpp.