boolbv_type.cpp File Reference

#include "boolbv_type.h"
#include <util/type.h>

Include dependency graph for boolbv_type.cpp:

Go to the source code of this file.

Functions
bvtypet	get_bvtype (const typet &type)

Function Documentation

get_bvtype()

bvtypet get_bvtype

(

const typet &

type

)

Definition at line 13 of file boolbv_type.cpp.