mcrl2/bes/io.h

Include file:

#include "mcrl2/bes/io.h"

add your file description here.

Functions

const std::vector<utilities::file_format> &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 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 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 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.

atermpp::aterm_ostream &operator<<(atermpp::aterm_ostream &stream, const boolean_equation_system &bes)

Writes the bes to a stream.

atermpp::aterm_istream &operator>>(atermpp::aterm_istream &stream, boolean_equation_system &bes)

Reads the bes from a stream.

void 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 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 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 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.