aterm_io_text.cpp File Reference

Go to the source code of this file.

Namespaces
namespace	atermpp
	The main namespace for the aterm++ library.

Functions
static void	atermpp::write_string_with_escape_symbols (const std::string &s, std::ostream &os)
void	atermpp::write_term_to_text_stream (const aterm &t, std::ostream &os)
	Writes term t to a stream in textual format.
aterm	atermpp::read_term_from_string (const std::string &s)
	Reads an aterm from a string. The string can be in either binary or text format.
void	atermpp::read_term_from_text_stream (std::istream &is, aterm &t)
	Reads a term from a stream which contains the term in textual format.
std::ostream &	atermpp::operator<< (std::ostream &out, const atermpp::aterm &t)
	Send the term in textual form to the ostream.