10 #ifndef CPROVER_CPP_CPP_STORAGE_SPEC_H 11 #define CPROVER_CPP_CPP_STORAGE_SPEC_H 56 #endif // CPROVER_CPP_CPP_STORAGE_SPEC_H
bool get_bool(const irep_namet &name) const
source_locationt & location()
Base class for tree-like data structures with sharing.
bool is_thread_local() const
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
const source_locationt & location() const