bv_pointers_wide.cpp File Reference

#include "bv_pointers_wide.h"
#include <util/arith_tools.h>
#include <util/byte_operators.h>
#include <util/c_types.h>
#include <util/exception_utils.h>
#include <util/expr_util.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/pointer_offset_size.h>
#include <util/pointer_predicates.h>

Include dependency graph for bv_pointers_wide.cpp:

Go to the source code of this file.

Functions
static bool	is_pointer_subtraction (const exprt &expr)
static std::string	bits_to_string (const propt &prop, const bvt &bv)

Function Documentation

bits_to_string()

static std::string bits_to_string ( const propt &  prop, const bvt &  bv  )

static

Definition at line 719 of file bv_pointers_wide.cpp.

is_pointer_subtraction()

static bool is_pointer_subtraction ( const exprt &  expr )

static

Definition at line 548 of file bv_pointers_wide.cpp.