boolbv_byte_extract.cpp File Reference

#include "boolbv.h"
#include <cassert>
#include <util/arith_tools.h>
#include <util/byte_operators.h>
#include <util/pointer_offset_size.h>
#include <util/std_expr.h>
#include <util/throw_with_nested.h>
#include "bv_conversion_exceptions.h"
#include "bv_endianness_map.h"
#include "flatten_byte_extract_exceptions.h"
#include "flatten_byte_operators.h"

Include dependency graph for boolbv_byte_extract.cpp:

Go to the source code of this file.

Functions
bvt	map_bv (const bv_endianness_mapt &map, const bvt &src)

Function Documentation

map_bv()

bvt map_bv	(	const bv_endianness_mapt &	map,
		const bvt &	src
	)

Definition at line 24 of file boolbv_byte_extract.cpp.

References CHECK_RETURN, endianness_mapt::map_bit(), endianness_mapt::number_of_bits(), and PRECONDITION.

Referenced by boolbvt::convert_byte_extract().