pbes_io.h

Go to the documentation of this file.

// Author(s): Wieger Wesselink
// 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_PBES_DETAIL_PBES_IO_H
#define MCRL2_PBES_DETAIL_PBES_IO_H
 
#include "mcrl2/pbes/pbes.h"
 
#include <fstream>
 
namespace mcrl2::pbes_system
{
 
atermpp::aterm_ostream& operator<<(atermpp::aterm_ostream& stream, const pbes& pbes);
 
atermpp::aterm_istream& operator>>(atermpp::aterm_istream& stream, pbes& pbes);
 
namespace detail
{
 
pbes load_pbes(const std::string& filename);
 
void save_pbes(const pbes& pbesspec, const std::string& filename);
 
// inline
// std::string file_extension(const std::string& filename)
// {
//   auto pos = filename.find_last_of('.');
//   if (pos == std::string::npos)
//   {
//  return "";
//   }
//   return filename.substr(pos + 1);
// }
//
// inline
// void my_save_pbes(const pbes& p, const std::string& filename)
// {
//   auto ext = file_extension(filename);
//   if (ext == "pbes")
//   {
//     save_pbes(p, filename, pbes_format_internal());
//   }
//   else if (ext == "bes")
//   {
//     bes::save_pbes(p, filename, bes::bes_format_internal());
//   }
//   else if (ext == "pg")
//   {
//     bes::save_pbes(p, filename, bes::bes_format_pgsolver());
//   }
//   else
//   {
//     pbes_system::save_pbes(p, filename);
//   }
// }
 
} // namespace detail
 
} // namespace mcrl2::pbes_system
 
#endif // MCRL2_PBES_DETAIL_PBES_IO_H