boolbv_byte_extract.cpp File Reference

#include "boolbv.h"
#include <cassert>
#include <util/arith_tools.h>
#include <util/std_expr.h>
#include <util/byte_operators.h>
#include <util/endianness_map.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 endianness_mapt &map, const bvt &src)

Function Documentation

map_bv()

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

Definition at line 20 of file boolbv_byte_extract.cpp.

References const_literal(), endianness_mapt::map_bit(), and endianness_mapt::number_of_bits().

Referenced by boolbvt::convert_byte_extract().