CBMC
bv_endianness_mapt Member List

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

boolbv_widthbv_endianness_maptprotected
build(const typet &type, bool little_endian)endianness_mapt
build_big_endian(const typet &type) overridebv_endianness_maptprotectedvirtual
build_little_endian(const typet &type) overridebv_endianness_maptprotectedvirtual
bv_endianness_mapt(const typet &type, bool little_endian, const namespacet &_ns, const boolbv_widtht &_boolbv_width)bv_endianness_maptinline
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