parse_numbers.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
template<typename Iterator >
Iterator	mcrl2::utilities::detail::parse_next_natural_number (Iterator first, Iterator last, std::size_t &result)
std::size_t	mcrl2::utilities::parse_natural_number (const std::string &text)
	Parses a natural number from a string.
std::vector< std::size_t >	mcrl2::utilities::parse_natural_number_sequence (const std::string &text)
	Parses a sequence of natural numbers (separated by spaces) from a string.

Detailed Description

add your file description here.

Definition in file parse_numbers.h.