text_utility.cpp File Reference

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities

Functions
std::vector< std::string >	mcrl2::utilities::split_paragraphs (const std::string &text)
	Split a string into paragraphs.
std::vector< std::string >	mcrl2::utilities::split (const std::string &line, const std::string &separators)
	Split the text.
std::string	mcrl2::utilities::read_text (const std::string &filename, bool warn=false)
	Read text from a file.
std::string	mcrl2::utilities::remove_comments (const std::string &text)
	Remove comments from a text (everything from '' until end of line).
std::string	mcrl2::utilities::remove_whitespace (const std::string &text)
	Removes whitespace from a string.
std::string	mcrl2::utilities::regex_replace (const std::string &src, const std::string &dest, const std::string &text)
	Regular expression replacement in a string.
std::vector< std::string >	mcrl2::utilities::regex_split (const std::string &text, const std::string &sep)
	Split a string using a regular expression separator.
static std::vector< std::string >	mcrl2::utilities::word_wrap_line (const std::string &line, unsigned int max_line_length)
	Apply word wrapping to a text that doesn't contain newlines.
std::string	mcrl2::utilities::word_wrap_text (const std::string &text, unsigned int max_line_length=78)
	Apply word wrapping to a text.
bool	mcrl2::utilities::is_numeric_string (const std::string &s)
	Test if a string is a number.
std::string	mcrl2::utilities::trim_copy (const std::string &text)
	Remove all trailing and leading spaces from the input.
void	mcrl2::utilities::trim (std::string &text)
	Remove all trailing and leading spaces from the input.