mcrl2/lps/io.h

Include file:

#include "mcrl2/lps/io.h"

IO routines for linear process specifications.

Functions

void mcrl2::lps::load_lps(Specification &spec, std::istream &stream, const std::string &source = "")

Load LPS from file.

Parameters:

  • spec The LPS to which the result is loaded.
  • stream The stream from which to load the LPS (it is assumed to have been opened in the right mode).
  • source The source from which the stream originates. Used for error messages.
void mcrl2::lps::load_lps(Specification &spec, const std::string &filename)

Load LPS from file.

Parameters:

  • spec The LPS to which the result is loaded.
  • filename The file from which to load the LPS. If empty, the file is read from stdin.
void mcrl2::lps::save_lps(const Specification &spec, std::ostream &stream, const std::string &target = "")

Save an LPS in the format specified.

Parameters:

  • spec The LPS to be stored
  • stream The stream to which the output is written.
  • target A string indicating the target stream, used to print information. utilities::file_format::unknown() is specified, then a default format is chosen.
void mcrl2::lps::save_lps(const Specification &spec, const std::string &filename)

Saves an LPS to a file.

Parameters:

  • spec The LPS to save.
  • filename The file to save the LPS in. If empty, the file is written to stdout.