9 #ifndef CPROVER_SOLVERS_FLATTENING_BV_ENDIANNESS_MAP_H 10 #define CPROVER_SOLVERS_FLATTENING_BV_ENDIANNESS_MAP_H 30 build(type, little_endian);
40 #endif // CPROVER_SOLVERS_FLATTENING_BV_ENDIANNESS_MAP_H The type of an expression, extends irept.
Maps a big-endian offset to a little-endian offset.
bv_endianness_mapt(const typet &type, bool little_endian, const namespacet &_ns, boolbv_widtht &_boolbv_width)
void build(const typet &type, bool little_endian)
boolbv_widtht & boolbv_width
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
virtual void build_little_endian(const typet &type) override
virtual void build_big_endian(const typet &type) override
Map bytes according to the configured endianness.