mcrl2/atermpp/aterm_io_text.h

Include file:

#include "mcrl2/atermpp/aterm_io_text.h"

Classes

• atermpp::text_aterm_istream
• atermpp::text_aterm_ostream