12 #ifndef CPROVER_CPP_CPP_LINKAGE_SPEC_H 13 #define CPROVER_CPP_CPP_LINKAGE_SPEC_H 22 typedef std::vector<class cpp_itemt>
itemst;
36 return add(ID_linkage);
41 return find(ID_linkage);
45 #endif // CPROVER_CPP_CPP_LINKAGE_SPEC_H
Base class for tree-like data structures with sharing.
const itemst & items() const
std::vector< class cpp_itemt > itemst
Base class for all expressions.
irept & add(const irep_namet &name)
const irept & find(const irep_namet &name) const
const irept & linkage() const