|
cprover
|
ANSI-C Linking. More...
#include <util/replace_symbol.h>Go to the source code of this file.
Classes | |
| class | casting_replace_symbolt |
| A variant of replace_symbolt that does not require types to match, but instead inserts type casts as needed when replacing one symbol by another. More... | |
ANSI-C Linking.
Definition in file casting_replace_symbol.h.