bitvector.h File Reference

#include <util/irep/type.h>

Include dependency graph for bitvector.h:

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

Go to the source code of this file.

Functions
unsigned	bv_width (const typet &type)

Function Documentation

bv_width()

unsigned bv_width

(

const typet &

type

)