- Generated by
1.8.17
|
CBMC
|
This is the complete list of members for cpp_typecastt, including all inherited members.
| BOOL enum value | c_typecastt | protected |
| c_typecastt(const namespacet &_ns) | c_typecastt | inlineexplicit |
| c_typet enum name | c_typecastt | protected |
| CHAR enum value | c_typecastt | protected |
| check_qualifiers(const typet &from, const typet &to) | cpp_typecastt | |
| COMPLEX enum value | c_typecastt | protected |
| cpp_typecastt(cpp_typecheckt &cpp_typecheck) | cpp_typecastt | explicit |
| cpp_typecheck | cpp_typecastt | |
| do_typecast(exprt &dest, const typet &type) | c_typecastt | protected |
| DOUBLE enum value | c_typecastt | protected |
| errors | c_typecastt | |
| FIXEDBV enum value | c_typecastt | protected |
| FLOAT128 enum value | c_typecastt | protected |
| follow_with_qualifiers(const typet &src) | c_typecastt | protected |
| get_bases(const irep_idt &identifier, std::map< irep_idt, unsigned > &base_count) | cpp_typecastt | protected |
| get_c_type(const typet &type) const | c_typecastt | protected |
| implicit_typecast(exprt &expr, const typet &type) | cpp_typecastt | virtual |
| implicit_typecast_arithmetic(exprt &expr) | cpp_typecastt | virtual |
| implicit_typecast_arithmetic(exprt &expr1, exprt &expr2) | cpp_typecastt | virtual |
| c_typecastt::implicit_typecast_arithmetic(exprt &expr, c_typet c_type) | c_typecastt | protected |
| implicit_typecast_followed(exprt &expr, const typet &src_type, const typet &dest_type) | cpp_typecastt | protectedvirtual |
| c_typecastt::implicit_typecast_followed(exprt &expr, const typet &src_type, const typet &orig_dest_type, const typet &dest_type) | c_typecastt | protectedvirtual |
| INT enum value | c_typecastt | protected |
| INTEGER enum value | c_typecastt | protected |
| integral_conversion(const typet &src_type, const typet &dest_type) | cpp_typecastt | |
| LARGE_SIGNED_INT enum value | c_typecastt | protected |
| LARGE_UNSIGNED_INT enum value | c_typecastt | protected |
| LONG enum value | c_typecastt | protected |
| LONGDOUBLE enum value | c_typecastt | protected |
| LONGLONG enum value | c_typecastt | protected |
| make_ptr_typecast(exprt &expr, const typet &src_type, const typet &dest_type) | cpp_typecastt | |
| minimum_promotion(const typet &type) const | c_typecastt | protected |
| ns | c_typecastt | protected |
| OTHER enum value | c_typecastt | protected |
| PTR enum value | c_typecastt | protected |
| RATIONAL enum value | c_typecastt | protected |
| REAL enum value | c_typecastt | protected |
| SHORT enum value | c_typecastt | protected |
| SINGLE enum value | c_typecastt | protected |
| subtype_offset(const struct_typet &from, const struct_typet &to) | cpp_typecastt | |
| subtype_typecast(const typet &from, const typet &to, std::string &err) | cpp_typecastt | |
| UCHAR enum value | c_typecastt | protected |
| UINT enum value | c_typecastt | protected |
| ULONG enum value | c_typecastt | protected |
| ULONGLONG enum value | c_typecastt | protected |
| USHORT enum value | c_typecastt | protected |
| VOIDPTR enum value | c_typecastt | protected |
| warnings | c_typecastt | |
| ~c_typecastt() | c_typecastt | inlinevirtual |
1.8.17