CBMC
casting_replace_symbol.h File Reference

ANSI-C Linking. More...

+ Include dependency graph for casting_replace_symbol.h:
+ This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description

ANSI-C Linking.

Definition in file casting_replace_symbol.h.