cprover
|
Pre-defined types. More...
Go to the source code of this file.
Functions | |
bool | is_reference (const typet &type) |
Returns true if the type is a reference. | |
bool | is_rvalue_reference (const typet &type) |
Returns if the type is an R value reference. | |
bool | is_constant_or_has_constant_components (const typet &type, const namespacet &ns) |
Identify whether a given type is constant itself or contains constant components. | |
Pre-defined types.
Definition in file std_types.cpp.
bool is_constant_or_has_constant_components | ( | const typet & | type, |
const namespacet & | ns ) |
Identify whether a given type is constant itself or contains constant components.
Examples include:
type | The type we want to query constness of. |
ns | The namespace, needed for resolution of symbols. |
Definition at line 185 of file std_types.cpp.
Returns true if the type is a reference.
Definition at line 143 of file std_types.cpp.
Returns if the type is an R value reference.
Definition at line 150 of file std_types.cpp.