Go to the documentation of this file.
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
virtual void build_big_endian(const typet &type) override
void build(const typet &type, bool little_endian)
The type of an expression, extends irept.
Map bytes according to the configured endianness.
boolbv_widtht & boolbv_width
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
bv_endianness_mapt(const typet &type, bool little_endian, const namespacet &_ns, boolbv_widtht &_boolbv_width)
virtual void build_little_endian(const typet &type) override
Maps a big-endian offset to a little-endian offset.