cprover
|
#include <list>
#include <map>
#include <string>
#include <iosfwd>
Go to the source code of this file.
Classes | |
class | xmlt |
Functions | |
std::ostream & | operator<< (std::ostream &out, const xmlt &xml) |
|
inline |
Definition at line 123 of file xml.h.
References xmlt::output(), and xml().