smt_byteops.cpp File Reference

#include <solvers/smt/smt_solver.h>
#include <util/expr/type_byte_size.h>

Include dependency graph for smt_byteops.cpp:

Functions
expr2tc	byte_update_bit_offset (const byte_update2t &data)
	The bit a byte update with a symbolic offset writes at, in bit-vector mode: the offset scaled to bits, in the width of the updated value.

Function Documentation

byte_update_bit_offset()

expr2tc byte_update_bit_offset

(

const byte_update2t &

data

)

The bit a byte update with a symbolic offset writes at, in bit-vector mode: the offset scaled to bits, in the width of the updated value.