CBMC
|
#include <endianness_map_wide.h>
Public Member Functions | |
endianness_map_widet (const typet &type, bool little_endian, const namespacet &_ns) | |
Public Member Functions inherited from endianness_mapt | |
endianness_mapt (const typet &type, bool little_endian, const namespacet &_ns) | |
endianness_mapt (const namespacet &_ns) | |
virtual | ~endianness_mapt ()=default |
size_t | map_bit (size_t bit) const |
size_t | number_of_bits () const |
void | build (const typet &type, bool little_endian) |
void | output (std::ostream &) const |
Protected Member Functions | |
void | build_little_endian (const typet &) override |
Protected Member Functions inherited from endianness_mapt | |
virtual void | build_big_endian (const typet &type) |
Additional Inherited Members | |
Protected Attributes inherited from endianness_mapt | |
const namespacet & | ns |
std::vector< size_t > | map |
Definition at line 14 of file endianness_map_wide.h.
|
inline |
Definition at line 17 of file endianness_map_wide.h.
|
overrideprotectedvirtual |
Reimplemented from endianness_mapt.
Definition at line 15 of file endianness_map_wide.cpp.