split.h File Reference

add your file description here. More...

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
namespace	mcrl2::utilities::detail

Functions
std::vector< std::string >	mcrl2::utilities::detail::split_text (const std::string &text, const std::string &keyword)
std::map< std::string, std::string >	mcrl2::utilities::detail::split_text_using_keywords (const std::string &text, const std::vector< std::string > &keywords)
std::vector< std::string >	mcrl2::utilities::detail::nonempty_lines (const std::string &text)

Detailed Description

add your file description here.

Definition in file split.h.