mcrl2/bes/io.h

Include file:

#include "mcrl2/bes/io.h"

add your file description here.

Functions

const std::vector<utilities::file_format> &mcrl2::bes::bes_file_formats()
const utilities::file_format &mcrl2::bes::bes_format_internal()
const utilities::file_format &mcrl2::bes::bes_format_pgsolver()
utilities::file_format mcrl2::bes::guess_format(const std::string &filename)
void mcrl2::bes::load_bes(boolean_equation_system &bes, std::istream &stream, utilities::file_format format, const std::string &source = "")

Load bes from a stream.

Parameters:

  • bes The bes to which the result is loaded.
  • stream The file from which to load the BES.
  • format The format that should be assumed for the stream.
  • source The source from which the stream originates. Used for error messages.
void mcrl2::bes::load_bes(boolean_equation_system &bes, const std::string &filename, utilities::file_format format = utilities::file_format())

Loads a BES from a file.

Parameters:

  • bes The object in which the result is stored.
  • filename The file from which to load the BES.
  • format An indication of the file format. If this is file_format() the format of the file in infilename is guessed.
void mcrl2::bes::load_pbes(pbes_system::pbes &pbes, const std::string &filename, utilities::file_format format = utilities::file_format())

Loads a PBES from a file. If the file stores a BES, then it is converted to a PBES.

Parameters:

  • pbes The object in which the result is stored.
  • filename The file from which to load the PBES.
  • format An indication of the file format. If this is file_format() the format of the file in infilename is guessed.
void mcrl2::bes::save_bes(const boolean_equation_system &bes, std::ostream &stream, utilities::file_format format)

Save a BES in the format specified.

Parameters:

  • bes The bes to be stored
  • stream The name of the file to which the output is stored.
  • format Determines the format in which the result is written.
void mcrl2::bes::save_bes(const boolean_equation_system &bes, const std::string &filename, utilities::file_format format = utilities::file_format())

save_bes Saves a BES to a file.

Parameters:

  • bes The BES to save.
  • filename The file to save the BES in.
  • format The format in which to save the BES.
void save_bes_pgsolver(const boolean_equation_system &bes, std::ostream &stream, bool maxpg = true)
void mcrl2::bes::save_pbes(const pbes_system::pbes &pbes, std::ostream &stream, const utilities::file_format &format = utilities::file_format())

Saves a PBES to a stream. If the PBES is not a BES and a BES file format is requested, an exception is thrown.

Parameters:

  • pbes The object in which the PBES is stored.
  • stream The stream which to save the PBES to.
  • format The file format to store the PBES in.

This function converts the pbes_system::pbes to a boolean_equation_system if the requested file format does not provide a save routine for pbes_system::pbes structures.

void mcrl2::bes::save_pbes(const pbes_system::pbes &pbes, const std::string &filename, utilities::file_format format = utilities::file_format())

Saves a PBES to a file. If the PBES is not a BES and a BES file format is requested, an exception is thrown.

Parameters:

  • pbes The object in which the PBES is stored.
  • filename The file which to save the PBES to.
  • format The file format to store the PBES in.

The format of the file in infilename is guessed.