CBMC
|
Go to the source code of this file.
Classes | |
class | replace_symbolt |
Replace a symbol expression by a given expression. More... | |
class | unchecked_replace_symbolt |
class | address_of_aware_replace_symbolt |
Replace symbols with constants while maintaining syntactically valid expressions. More... | |
class | address_of_aware_replace_symbolt::set_require_lvalue_and_backupt |