linearisation_method.h 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.

Enumerations
enum	mcrl2::lps::t_lin_method { mcrl2::lps::lmStack , mcrl2::lps::lmRegular , mcrl2::lps::lmRegular2 }
	The available linearisation methods. More...

Functions
std::string	mcrl2::lps::print_lin_method (const t_lin_method lin_method)
	String representation of a linearisation method.
std::string	mcrl2::lps::description (const t_lin_method lin_method)
t_lin_method	mcrl2::lps::parse_lin_method (const std::string &s)
	Parse a linearisation method.
std::istream &	mcrl2::lps::operator>> (std::istream &is, t_lin_method &l)
std::ostream &	mcrl2::lps::operator<< (std::ostream &os, const t_lin_method l)