mcrl2/lps/linearisation_method.h

Include file:

#include "mcrl2/lps/linearisation_method.h"

Enumerated types

type t_lin_method

Values:

  • lmStack
  • lmRegular
  • lmRegular2

The available linearisation methods.

Functions

std::string mcrl2::lps::description(const t_lin_method lin_method)
std::ostream &mcrl2::lps::operator<<(std::ostream &os, const t_lin_method l)
std::istream &mcrl2::lps::operator>>(std::istream &is, t_lin_method &l)
t_lin_method mcrl2::lps::parse_lin_method(const std::string &s)

Parse a linearisation method.

Parameters:

  • s A string

Returns: The linearisation method represented by s

std::string mcrl2::lps::print_lin_method(const t_lin_method lin_method)

String representation of a linearisation method.

Parameters:

  • lin_method A linerisation method

Returns: String representation of lin_method