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