mCRL2
Loading...
Searching...
No Matches
LiftingStrategy.cpp File Reference

Go to the source code of this file.

Functions

static std::string tolower (std::string s)
 Convert string to lowercase.
 

Function Documentation

◆ tolower()

static std::string tolower ( std::string  s)
inlinestatic

Convert string to lowercase.

Parameters
inAn input string
Returns
The text in in in lowercase

Definition at line 22 of file LiftingStrategy.cpp.