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.

atermpp::aterm_ostream &operator<<(atermpp::aterm_ostream &stream, const specification &spec)

Writes LPS to the stream.

atermpp::aterm_ostream &operator<<(atermpp::aterm_ostream &stream, const stochastic_specification &spec)
atermpp::aterm_istream &operator>>(atermpp::aterm_istream &stream, specification &spec)

Reads LPS from the stream.

atermpp::aterm_istream &operator>>(atermpp::aterm_istream &stream, stochastic_specification &spec)
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.