10 #ifndef CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H 11 #define CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H 19 typedef std::list<ansi_c_declarationt>
itemst;
24 void output(std::ostream &out)
const;
27 #endif // CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H
void output(std::ostream &out) const
std::list< ansi_c_declarationt > itemst
ANSI-CC Language Type Checking.
void swap(ansi_c_parse_treet &other)