Go to the documentation of this file.
10 #ifndef CPROVER_CPP_CPP_STORAGE_SPEC_H
11 #define CPROVER_CPP_CPP_STORAGE_SPEC_H
93 #endif // CPROVER_CPP_CPP_STORAGE_SPEC_H
The type of an expression, extends irept.
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
cpp_storage_spect & operator|=(const cpp_storage_spect &other)
Defines typet, type_with_subtypet and type_with_subtypest.
bool get_bool(const irep_namet &name) const
cpp_storage_spect(const typet &type)
source_locationt & location()
void set(const irep_namet &name, const irep_idt &value)
bool is_thread_local() const
There are a large number of kinds of tree structured or tree-like data in CPROVER.
const source_locationt & location() const