1/*******************************************************************\
5Author: Daniel Kroening, kroening@cs.cmu.edu
7\*******************************************************************/
12#ifndef CPROVER_CPP_CPP_PARSE_TREE_H
13#define CPROVER_CPP_CPP_PARSE_TREE_H
22 // the (top-level) declarations/definitions
39#endif // 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()