cprover
|
#include <util/type.h>
Go to the source code of this file.
Functions | |
bvtypet | get_bvtype (const typet &type) |
|
strong |
Enumerator | |
---|---|
IS_BV | |
IS_SIGNED | |
IS_UNSIGNED | |
IS_FLOAT | |
IS_FIXED | |
IS_C_BOOL | |
IS_VERILOG_SIGNED | |
IS_VERILOG_UNSIGNED | |
IS_RANGE | |
IS_UNKNOWN | |
IS_C_ENUM | |
IS_C_BIT_FIELD |
Definition at line 16 of file boolbv_type.h.
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().