cprover
|
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) |
|
static |
Definition at line 13 of file boolbv_member.cpp.
|
static |
Definition at line 59 of file boolbv_member.cpp.