io.h

Go to the documentation of this file.

// Author(s): anonymous
// 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_IO_H
#define MCRL2_PBES_IO_H
 
#include "mcrl2/pbes/pbes.h"
#include "mcrl2/utilities/file_utility.h"
 
namespace mcrl2
{
 
namespace pbes_system
{
 
void save_bes_pgsolver(const pbes& bes, std::ostream& stream, bool maxpg = true);
 
const std::vector<utilities::file_format>& pbes_file_formats();
 
inline
bool is_pbes_file_format(const utilities::file_format& format)
{
  for (const utilities::file_format& i: pbes_file_formats())
  {
    if (i == format)
    {
      return true;
    }
  }
  return false;
}
 
inline
const utilities::file_format& pbes_format_internal() { return pbes_file_formats()[0]; }
inline
const utilities::file_format& pbes_format_text() { return pbes_file_formats()[1]; }
inline
const utilities::file_format& pbes_format_internal_bes() { return pbes_file_formats()[2]; }
inline
const utilities::file_format& pbes_format_pgsolver() { return pbes_file_formats()[3]; }
 
inline
const utilities::file_format guess_format(const std::string& filename)
{
  for (const utilities::file_format& it : pbes_file_formats())
  {
    if (it.matches(filename))
    {
      return it;
    }
  }
  return utilities::file_format();
}
 
void save_pbes(const pbes& pbes,
               std::ostream& stream,
               utilities::file_format format = utilities::file_format());
 
void load_pbes(pbes& pbes, std::istream& stream, utilities::file_format format, const std::string& source = "");
 
void save_pbes(const pbes& pbes, const std::string& filename,
               utilities::file_format format = utilities::file_format(),
               bool welltypedness_check = true);
 
void load_pbes(pbes& pbes,
               const std::string& filename,
               utilities::file_format format = utilities::file_format());
 
} // namespace pbes_system
 
} // namespace mcrl2
 
#endif // MCRL2_PBES_IO_H