CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
cpp_parse_tree.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: C++ Parser
4
5Author: Daniel Kroening, kroening@cs.cmu.edu
6
7\*******************************************************************/
8
11
12#include "cpp_parse_tree.h"
13
15{
16 cpp_parse_tree.items.swap(items);
17}
18
20{
21 items.clear();
22}
virtual void clear()
Reset the abstract state.
Definition ai.h:265
void swap(cpp_parse_treet &cpp_parse_tree)
C++ Parser.