|
CBMC
|
#include <endianness_map_wide.h>
Inheritance diagram for endianness_map_widet:
Collaboration diagram for endianness_map_widet: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.
Reimplemented from endianness_mapt.
Definition at line 15 of file endianness_map_wide.cpp.