cprover
|
#include "boolbv_type.h"
Go to the source code of this file.
Functions | |
bvtypet | get_bvtype (const typet &type) |
Definition at line 12 of file boolbv_type.cpp.
References irept::id(), IS_BV, IS_C_BIT_FIELD, IS_C_BOOL, IS_C_ENUM, IS_FIXED, IS_FLOAT, IS_RANGE, IS_SIGNED, IS_UNKNOWN, IS_UNSIGNED, IS_VERILOG_SIGNED, and IS_VERILOG_UNSIGNED.
Referenced by boolbvt::bv_get_rec(), boolbvt::convert_abs(), boolbvt::convert_bv_rel(), boolbvt::convert_ieee_float_rel(), boolbvt::convert_unary_minus(), boolbv_mapt::get_map_entry(), and boolbvt::type_conversion().