boolbv_type.h File Reference

#include <util/type.h>

Include dependency graph for boolbv_type.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Enumerations
enum	bvtypet {   bvtypet::IS_BV, bvtypet::IS_SIGNED, bvtypet::IS_UNSIGNED, bvtypet::IS_FLOAT,   bvtypet::IS_FIXED, bvtypet::IS_C_BOOL, bvtypet::IS_VERILOG_SIGNED, bvtypet::IS_VERILOG_UNSIGNED,   bvtypet::IS_RANGE, bvtypet::IS_UNKNOWN, bvtypet::IS_C_ENUM, bvtypet::IS_C_BIT_FIELD }

Functions
bvtypet	get_bvtype (const typet &type)

Enumeration Type Documentation

bvtypet

enum bvtypet

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.

Function Documentation

get_bvtype()

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().