cprover
boolbv_member.cpp File Reference
#include "boolbv.h"
#include <util/c_types.h>
+ Include dependency graph for boolbv_member.cpp:

Go to the source code of this file.

Functions

static bvt convert_member_struct (const member_exprt &expr, const bvt &struct_bv, const std::function< std::size_t(const typet &)> boolbv_width, const namespacet &ns)
 
static bvt convert_member_union (const member_exprt &expr, const bvt &union_bv, const boolbvt &boolbv, const namespacet &ns)
 

Function Documentation

◆ convert_member_struct()

static bvt convert_member_struct ( const member_exprt expr,
const bvt struct_bv,
const std::function< std::size_t(const typet &)>  boolbv_width,
const namespacet ns 
)
static

Definition at line 13 of file boolbv_member.cpp.

◆ convert_member_union()

static bvt convert_member_union ( const member_exprt expr,
const bvt union_bv,
const boolbvt boolbv,
const namespacet ns 
)
static

Definition at line 59 of file boolbv_member.cpp.