cprover
|
Go to the source code of this file.
Classes | |
class | replace_symbolt |
Replace expression or type symbols by an expression or type, respectively. 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 |