#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:

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

Classes