aterm_io_binary.h

Go to the documentation of this file.

// Author(s): Jan Friso Groote
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_ATERMPP_ATERM_IO_BINARY_H
#define MCRL2_ATERMPP_ATERM_IO_BINARY_H
 
#include "mcrl2/atermpp/aterm_io.h"
 
#include "mcrl2/utilities/bitstream.h"
#include "mcrl2/atermpp/standard_containers/deque.h"
#include "mcrl2/atermpp/standard_containers/indexed_set.h"
 
namespace atermpp
{
 
class binary_aterm_ostream final : public aterm_ostream
{
public:
  binary_aterm_ostream(std::ostream& os);
  binary_aterm_ostream(std::shared_ptr<mcrl2::utilities::obitstream> stream);
 
  ~binary_aterm_ostream() override;
 
  void put(const aterm &term) override;
 
private:
  std::size_t write_function_symbol(const function_symbol& symbol);
 
  unsigned int term_index_width();
 
  unsigned int function_symbol_index_width();
 
  std::shared_ptr<mcrl2::utilities::obitstream> m_stream;
 
  unsigned int m_term_index_width; 
  unsigned int m_function_symbol_index_width; 
 
  atermpp::indexed_set<aterm> m_terms; 
  mcrl2::utilities::indexed_set<function_symbol> m_function_symbols; 
};
 
class binary_aterm_istream final : public aterm_istream
{
public:
  binary_aterm_istream(std::istream& is);
  binary_aterm_istream(std::shared_ptr<mcrl2::utilities::ibitstream> stream);
 
  void get(aterm& t) override;
 
private:
  unsigned int term_index_width();
 
  unsigned int function_symbol_index_width();
 
  std::shared_ptr<mcrl2::utilities::ibitstream> m_stream;
 
  unsigned int m_term_index_width; 
  unsigned int m_function_symbol_index_width; 
 
  atermpp::deque<aterm> m_terms; 
  std::deque<function_symbol> m_function_symbols; 
};
 
} // namespace atermpp
 
bool is_a_binary_aterm(std::istream& is);
 
#endif // MCRL2_ATERMPP_ATERM_IO_BINARY_H