cprover
|
API to type classes. More...
Go to the source code of this file.
Classes | |
class | bool_typet |
The proper Booleans. More... | |
class | nil_typet |
The NIL type. More... | |
class | empty_typet |
The empty type. More... | |
class | void_typet |
The void type. More... | |
class | integer_typet |
Unbounded, signed integers. More... | |
class | natural_typet |
Natural numbers (which include zero) More... | |
class | rational_typet |
Unbounded, signed rational numbers. More... | |
class | real_typet |
Unbounded, signed real numbers. More... | |
class | symbol_typet |
A reference into the symbol table. More... | |
class | struct_union_typet |
Base type of C structs and unions, and C++ classes. More... | |
class | struct_union_typet::componentt |
class | struct_typet |
Structure type. More... | |
class | class_typet |
C++ class type. More... | |
class | union_typet |
The union type. More... | |
class | tag_typet |
A generic tag-based type. More... | |
class | struct_tag_typet |
A struct tag type. More... | |
class | union_tag_typet |
A union tag type. More... | |
class | enumeration_typet |
A generic enumeration type (not to be confused with C enums) More... | |
class | c_enum_typet |
The type of C enums. More... | |
class | c_enum_typet::c_enum_membert |
class | c_enum_tag_typet |
An enum tag type. More... | |
class | code_typet |
Base type of functions. More... | |
class | code_typet::parametert |
class | array_typet |
arrays with given size More... | |
class | incomplete_array_typet |
arrays without size More... | |
class | bitvector_typet |
Base class of bitvector types. More... | |
class | bv_typet |
fixed-width bit-vector without numerical interpretation More... | |
class | unsignedbv_typet |
Fixed-width bit-vector with unsigned binary interpretation. More... | |
class | signedbv_typet |
Fixed-width bit-vector with two's complement interpretation. More... | |
class | fixedbv_typet |
Fixed-width bit-vector with signed fixed-point interpretation. More... | |
class | floatbv_typet |
Fixed-width bit-vector with IEEE floating-point interpretation. More... | |
class | c_bit_field_typet |
Type for c bit fields. More... | |
class | pointer_typet |
The pointer type. More... | |
class | reference_typet |
The reference type. More... | |
class | c_bool_typet |
The C/C++ Booleans. More... | |
class | string_typet |
TO_BE_DOCUMENTED. More... | |
class | range_typet |
A type for subranges of integers. More... | |
class | vector_typet |
A constant-size array type. More... | |
class | complex_typet |
Complex numbers made of pair of given subtype. More... | |
bool is_reference | ( | const typet & | type | ) |
TO_BE_DOCUMENTED.
Definition at line 105 of file std_types.cpp.
References irept::get_bool(), and irept::id().
Referenced by cpp_typecheckt::add_implicit_dereference(), cpp_typecheckt::cast_away_constness(), cpp_typecheckt::const_typecast(), cpp_typecheckt::convert_initializer(), cpp_declarator_convertert::convert_new_symbol(), cpp_typecheckt::convert_parameter(), expr2cppt::convert_rec(), cpp_typecheckt::cpp_constructor(), cpp_typecheckt::cpp_destructor(), cpp_typecheckt::cpp_is_pod(), cpp_type2name(), cpp_typecheck_resolvet::disambiguate_functions(), cpp_typecheckt::dtor(), cpp_typecheckt::dynamic_typecast(), cpp_typecheckt::find_assignop(), cpp_typecheckt::find_cpctor(), cpp_typecheck_resolvet::guess_template_args(), cpp_typecheckt::implicit_conversion_sequence(), irep2name(), cpp_typecheck_fargst::match(), cpp_typecheckt::overloadable(), cpp_typecheckt::reference_binding(), cpp_typecheckt::reference_compatible(), cpp_typecheckt::reference_initializer(), cpp_typecheckt::reference_related(), cpp_typecheckt::reinterpret_typecast(), cpp_typecheckt::standard_conversion_pointer(), cpp_typecheckt::standard_conversion_pointer_to_member(), cpp_typecheckt::standard_conversion_qualification(), cpp_typecheckt::standard_conversion_sequence(), to_reference_type(), cpp_typecheckt::typecheck_expr_address_of(), cpp_typecheckt::typecheck_function_call_arguments(), cpp_typecheckt::typecheck_member_initializer(), cpp_typecheckt::typecheck_method_application(), cpp_typecheckt::typecheck_side_effect_assignment(), cpp_typecheckt::typecheck_try_catch(), and cpp_typecheckt::user_defined_conversion_sequence().
bool is_rvalue_reference | ( | const typet & | type | ) |
TO_BE_DOCUMENTED.
Definition at line 111 of file std_types.cpp.
References irept::get_bool(), and irept::id().
Referenced by expr2cppt::convert_rec(), cpp_type2name(), cpp_typecheck_resolvet::guess_template_args(), and to_reference_type().
|
inline |
Definition at line 1067 of file std_types.h.
References irept::id().