cprover
replace_symbol_ext.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Modified expression replacement for constant propagator
4 
5 Author: Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_ANALYSES_REPLACE_SYMBOL_EXT_H
13 #define CPROVER_ANALYSES_REPLACE_SYMBOL_EXT_H
14 
15 #include <util/replace_symbol.h>
16 
18 {
19 public:
20  virtual bool replace(exprt &dest) const;
21 };
22 
23 #endif // CPROVER_ANALYSES_REPLACE_SYMBOL_EXT_H
virtual bool replace(exprt &dest) const
does not replace object in address_of expressions
Base class for all expressions.
Definition: expr.h:46