CBMC
|
Class for expressions or types renamed up to a given level. More...
Go to the source code of this file.
Classes | |
class | renamedt< underlyingt, level > |
Wrapper for expressions or types which have been renamed up to a given level . More... | |
Enumerations | |
enum | levelt { L0 = 0 , L1 = 1 , L1_WITH_CONSTANT_PROPAGATION = 2 , L2 = 3 } |
Symex renaming level names. More... | |
Class for expressions or types renamed up to a given level.
Definition in file renamed.h.