ansi_c_parse_tree.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H
#define CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H
 
#include "ansi_c_declaration.h"
 
#include <list>
 
class ansi_c_parse_treet
{
public:
  // the declarations
  typedef std::list<ansi_c_declarationt> itemst;
  itemst items;
 
  void swap(ansi_c_parse_treet &other);
  void clear();
  void output(std::ostream &out) const;
};
class ansi_c_parse_treet {…};
 
#endif // CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H