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
17
class
replace_symbol_extt
:
public
replace_symbolt
18
{
19
public
:
20
virtual
bool
replace
(
exprt
&dest)
const
;
21
};
22
23
#endif // CPROVER_ANALYSES_REPLACE_SYMBOL_EXT_H
replace_symbol_extt
Definition:
replace_symbol_ext.h:17
replace_symbol_extt::replace
virtual bool replace(exprt &dest) const
does not replace object in address_of expressions
Definition:
replace_symbol_ext.cpp:18
replace_symbolt
Definition:
replace_symbol.h:20
replace_symbol.h
exprt
Base class for all expressions.
Definition:
expr.h:46
analyses
replace_symbol_ext.h
Generated by
1.8.12