12#ifndef CPROVER_CPP_CPP_PARSE_TREE_H
13#define CPROVER_CPP_CPP_PARSE_TREE_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
void swap(cpp_parse_treet &cpp_parse_tree)
std::list< cpp_itemt > itemst
The type of an expression, extends irept.
C++ Language Type Checking.
const irept & get_nil_irep()