12#ifndef CPROVER_CPP_CPP_LINKAGE_SPEC_H
13#define CPROVER_CPP_CPP_LINKAGE_SPEC_H
22 typedef std::vector<class cpp_itemt>
itemst;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
const irept & linkage() const
std::vector< class cpp_itemt > itemst
const itemst & items() const
Base class for all expressions.
There are a large number of kinds of tree structured or tree-like data in CPROVER.
const irept & find(const irep_idt &name) const
irept & add(const irep_idt &name)