cprover
dstring.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Container for C-Strings
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include "
dstring.h
"
13
14
#include <ostream>
15
16
std::ostream &
dstringt::operator<<
(std::ostream &out)
const
17
{
18
return
out <<
as_string
();
19
}
dstringt::operator<<
std::ostream & operator<<(std::ostream &out) const
Definition:
dstring.cpp:16
dstring.h
Container for C-Strings.
dstringt::as_string
const std::string & as_string() const
Definition:
dstring.h:176
util
dstring.cpp
Generated by
1.8.15