CBMC
Loading...
Searching...
No Matches
casting_replace_symbol.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: ANSI-C Linking
4
5Author: Michael Tautschnig
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_LINKING_CASTING_REPLACE_SYMBOL_H
13#define CPROVER_LINKING_CASTING_REPLACE_SYMBOL_H
14
15#include <util/replace_symbol.h>
16
20{
21public:
22 bool replace(exprt &dest) const override;
23
24private:
25 bool replace_symbol_expr(symbol_exprt &dest) const override;
26};
27
28#endif // CPROVER_LINKING_CASTING_REPLACE_SYMBOL_H
A variant of replace_symbolt that does not require types to match, but instead inserts type casts as ...
bool replace_symbol_expr(symbol_exprt &dest) const override
bool replace(exprt &dest) const override
Base class for all expressions.
Definition expr.h:56
Replace a symbol expression by a given expression.
Expression to hold a symbol (variable)
Definition std_expr.h:131