cprover
|
#include "c_bit_field_replacement_type.h"
Go to the source code of this file.
Functions | |
typet | c_bit_field_replacement_type (const c_bit_field_typet &src, const namespacet &ns) |
typet c_bit_field_replacement_type | ( | const c_bit_field_typet & | src, |
const namespacet & | ns | ||
) |
Definition at line 12 of file c_bit_field_replacement_type.cpp.
References namespace_baset::follow_tag(), bitvector_typet::get_width(), irept::id(), bitvector_typet::set_width(), typet::subtype(), to_bitvector_type(), and to_c_enum_tag_type().
Referenced by smt2_convt::convert_type(), smt2_convt::convert_typecast(), and boolbvt::type_conversion().