Include file:
#include "mcrl2/lps/io.h"
IO routines for linear process specifications.
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.
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.
operator<<
(atermpp::aterm_ostream &stream, const specification &spec)¶Writes LPS to the stream.
operator<<
(atermpp::aterm_ostream &stream, const stochastic_specification &spec)¶operator>>
(atermpp::aterm_istream &stream, specification &spec)¶Reads LPS from the stream.
operator>>
(atermpp::aterm_istream &stream, stochastic_specification &spec)¶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.
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.