CBMC
endianness_map_widet Member List

This is the complete list of members for endianness_map_widet, including all inherited members.

build(const typet &type, bool little_endian)endianness_mapt
build_big_endian(const typet &type)endianness_maptprotectedvirtual
build_little_endian(const typet &) overrideendianness_map_widetprotectedvirtual
endianness_map_widet(const typet &type, bool little_endian, const namespacet &_ns)endianness_map_widetinline
endianness_mapt(const typet &type, bool little_endian, const namespacet &_ns)endianness_maptinline
endianness_mapt(const namespacet &_ns)endianness_maptinlineexplicit
mapendianness_maptprotected
map_bit(size_t bit) constendianness_maptinline
nsendianness_maptprotected
number_of_bits() constendianness_maptinline
output(std::ostream &) constendianness_mapt
~endianness_mapt()=defaultendianness_maptvirtual