lps_io.cpp File Reference

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lps
	The main namespace for the LPS library.

Functions
atermpp::aterm	mcrl2::lps::linear_process_specification_marker ()
atermpp::aterm_ostream &	mcrl2::lps::operator<< (atermpp::aterm_ostream &stream, const multi_action &action)
atermpp::aterm_istream &	mcrl2::lps::operator>> (atermpp::aterm_istream &stream, multi_action &action)
atermpp::aterm_ostream &	mcrl2::lps::operator<< (atermpp::aterm_ostream &stream, const deadlock_summand &summand)
atermpp::aterm_istream &	mcrl2::lps::operator>> (atermpp::aterm_istream &stream, deadlock_summand &summand)
atermpp::aterm_ostream &	mcrl2::lps::operator<< (atermpp::aterm_ostream &stream, const stochastic_action_summand &summand)
atermpp::aterm_istream &	mcrl2::lps::operator>> (atermpp::aterm_istream &stream, stochastic_action_summand &summand)
template<typename ActionSummand >
atermpp::aterm_ostream &	mcrl2::lps::operator<< (atermpp::aterm_ostream &stream, const linear_process_base< ActionSummand > &lps)
template<typename ActionSummand >
atermpp::aterm_istream &	mcrl2::lps::operator>> (atermpp::aterm_istream &stream, linear_process_base< ActionSummand > &lps)
static void	mcrl2::lps::write_spec (atermpp::aterm_ostream &stream, const stochastic_specification &spec)
static void	mcrl2::lps::read_spec (atermpp::aterm_istream &stream, stochastic_specification &spec)
atermpp::aterm_ostream &	mcrl2::lps::operator<< (atermpp::aterm_ostream &stream, const specification &spec)
	Writes LPS to the stream.
atermpp::aterm_ostream &	mcrl2::lps::operator<< (atermpp::aterm_ostream &stream, const stochastic_specification &spec)
atermpp::aterm_istream &	mcrl2::lps::operator>> (atermpp::aterm_istream &stream, specification &spec)
	Reads LPS from the stream.
atermpp::aterm_istream &	mcrl2::lps::operator>> (atermpp::aterm_istream &stream, stochastic_specification &spec)