Go to the source code of this file.
|
namespace | atermpp |
| The main namespace for the aterm++ library.
|
|
|
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.
|
|