boolbv_type.h File Reference

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

Go to the source code of this file.

Enumerations
enum class	bvtypet {   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 }

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 13 of file boolbv_type.cpp.