mcrl2/pbes/io.h

Include file:

#include "mcrl2/pbes/io.h"

IO routines for boolean equation systems.

Functions

const utilities::file_format mcrl2::pbes_system::guess_format(const std::string &filename)
bool mcrl2::pbes_system::is_pbes_file_format(const utilities::file_format &format)
void mcrl2::pbes_system::load_pbes(pbes &pbes, std::istream &stream, utilities::file_format format, const std::string &source = "")

Load a PBES from file.

Parameters:

  • pbes The PBES to which the result is loaded.
  • stream The stream from which to load the PBES.
  • format The format that should be assumed for the file in infilename. If unspecified, or pbes_file_unknown is specified, then a default format is chosen.
  • source The source from which the stream originates. Used for error messages.
void mcrl2::pbes_system::load_pbes(pbes &pbes, const std::string &filename, utilities::file_format format = utilities::file_format())

Load pbes from file.

Parameters:

  • pbes The pbes to which the result is loaded.
  • filename The file from which to load the PBES.
  • format The format in which the PBES is stored in the file.

The format of the file in infilename is guessed if format is not given or if it is equal to utilities::file_format().

const std::vector<utilities::file_format> &mcrl2::pbes_system::pbes_file_formats()
const utilities::file_format &mcrl2::pbes_system::pbes_format_internal()
const utilities::file_format &mcrl2::pbes_system::pbes_format_text()
void mcrl2::pbes_system::save_pbes(const pbes &pbes, std::ostream &stream, utilities::file_format format = utilities::file_format())

Save a PBES in the format specified.

Parameters:

  • pbes The PBES to be stored
  • stream The stream to which the output is saved.
  • format Determines the format in which the result is written. If unspecified, or pbes_file_unknown is specified, then a default format is chosen.
void mcrl2::pbes_system::save_pbes(const pbes &pbes, const std::string &filename, utilities::file_format format = utilities::file_format(), bool welltypedness_check = true)

save_pbes Saves a PBES to a file.

Parameters:

  • pbes The PBES to save.
  • filename The file to save the PBES in.
  • format The format in which to save the PBES.
  • welltypedness_check If set to false, skips checking whether pbes is well typed before saving it to file.

The format of the file in infilename is guessed if format is not given or if it is equal to utilities::file_format().