CBMC
|
Go to the source code of this file.
Classes | |
class | endianness_mapt |
Maps a big-endian offset to a little-endian offset. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &out, const endianness_mapt &m) |
|
inline |
Definition at line 72 of file endianness_map.h.