ATerm++

PrevUpHomeNext

Function write_to_named_text_file

genspect::write_to_named_text_file —

Synopsis

bool write_to_named_text_file(aterm t, const std::string & filename);

Description

Writes term t to file named filename in textual format. This function writes aterm t in textual representation to file filename. "-" is standard output's filename.

Copyright © 2004 Wieger Wesselink

PrevUpHomeNext