mCRL2
|
Go to the source code of this file.
Classes | |
class | atermpp::binary_aterm_ostream |
Writes terms in a streamable binary aterm format to an output stream. More... | |
class | atermpp::binary_aterm_istream |
Reads terms from a stream in the steamable binary aterm format. More... | |
Namespaces | |
namespace | atermpp |
The main namespace for the aterm++ library. | |
Functions | |
bool | is_a_binary_aterm (std::istream &is) |
bool is_a_binary_aterm | ( | std::istream & | is | ) |