mCRL2
|
Go to the source code of this file.
Functions | |
static std::string | tolower (std::string s) |
Convert string to lowercase. | |
|
inlinestatic |
Convert string to lowercase.
in | An input string |
Definition at line 22 of file LiftingStrategy.cpp.