add your file description here. More...

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::lps_rewriter_type { mcrl2::lps::simplify , mcrl2::lps::quantifier_one_point , mcrl2::lps::condition_one_point }
	An enumerated type for the available lps rewriters. More...

Functions
lps_rewriter_type	mcrl2::lps::parse_lps_rewriter_type (const std::string &type)
	Parses a lps rewriter type.

std::string	mcrl2::lps::print_lps_rewriter_type (const lps_rewriter_type type)
	Prints a lps rewriter type.

std::string	mcrl2::lps::description (const lps_rewriter_type type)
	Returns a description of a lps rewriter.

std::istream &	mcrl2::lps::operator>> (std::istream &is, lps_rewriter_type &t)
	Stream operator for rewriter type.

std::ostream &	mcrl2::lps::operator<< (std::ostream &os, const lps_rewriter_type t)

Detailed Description

add your file description here.

Definition in file lps_rewriter_type.h.

Namespaces