bitvector.cpp File Reference

#include <cstdlib>
#include <util/arith/bitvector.h>

Include dependency graph for bitvector.cpp:

Functions
unsigned	bv_width (const typet &type)

Function Documentation

bv_width()

unsigned bv_width

(

const typet &

type

)