ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
void output(std::ostream &out) const
typet merge_type(const typet &declaration_type) const
irept & method_qualifier()
typet & type()
Return the type of the expression.
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
const irep_idt & id() const
The type of an expression, extends irept.
const typet & subtype() const
C++ Language Type Checking.
const merged_typet & to_merged_type(const typet &type)
conversion to merged_typet