Defines typet, type_with_subtypet and type_with_subtypest.
More...
Go to the source code of this file.
◆ forall_subtypes
#define forall_subtypes |
( |
|
it, |
|
|
|
type |
|
) |
| |
Value:if((type).has_subtypes()) \
it!=it##_end; ++it)
const type_with_subtypest & to_type_with_subtypes(const typet &type)
Definition at line 216 of file type.h.
◆ Forall_subtypes
#define Forall_subtypes |
( |
|
it, |
|
|
|
type |
|
) |
| |
Value:if((type).has_subtypes()) \
const type_with_subtypest & to_type_with_subtypes(const typet &type)
Definition at line 222 of file type.h.
◆ to_type_with_subtype() [1/2]
◆ to_type_with_subtype() [2/2]
◆ to_type_with_subtypes() [1/2]
◆ to_type_with_subtypes() [2/2]