CBMC
replace_symbol.h File Reference
#include "expr.h"
#include <set>
#include <unordered_map>
+ Include dependency graph for replace_symbol.h:
+ This graph shows which files directly or indirectly include this file:

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