mcrl2/lps/linearisation_method.h¶
Include file:
#include "mcrl2/lps/linearisation_method.h"
Enumerated types¶
-
type
mcrl2::lps::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
