mCRL2
Loading...
Searching...
No Matches
aterm_io_binary.cpp File Reference

Go to the source code of this file.

Classes

struct  atermpp::write_todo
 Keep track of whether the term can be written to the stream. More...
 

Namespaces

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

Enumerations

enum class  atermpp::packet_type { atermpp::function_symbol = 0 , atermpp::aterm , atermpp::aterm_output , atermpp::aterm_int_output }
 Each packet has a header consisting of a type. More...
 

Functions

void atermpp::write_term_to_binary_stream (const aterm &t, std::ostream &os)
 Writes term t to a stream in binary aterm format.
 
void atermpp::read_term_from_binary_stream (std::istream &is, aterm &t)
 Reads a term from a stream in binary aterm format.
 

Variables

static constexpr std::uint16_t atermpp::BAF_MAGIC = 0x8baf
 The magic value for a binary aterm format stream.
 
static constexpr std::uint16_t atermpp::BAF_VERSION = 0x8308
 The BAF_VERSION constant is the version number of the ATerms written in BAF format. As of 29 August 2013 this version number is used by the mCRL2 toolset. Whenever the file format of mCRL2 files is changed, the BAF_VERSION has to be increased.
 
static constexpr unsigned int atermpp::packet_bits = 2
 The number of bits needed to store an element of packet_type.