cprover
cpp_parse_tree.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: C++ Parser
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CPP_CPP_PARSE_TREE_H
13 #define CPROVER_CPP_CPP_PARSE_TREE_H
14 
15 #include "cpp_item.h"
16 
18 {
19 public:
20  // the (top-level) declarations/definitions
21 
22  typedef std::list<cpp_itemt> itemst;
24 
25  void swap(cpp_parse_treet &cpp_parse_tree);
26  void clear();
27 };
28 
29 #endif // CPROVER_CPP_CPP_PARSE_TREE_H
void swap(cpp_parse_treet &cpp_parse_tree)
std::list< cpp_itemt > itemst
C++ Language Type Checking.