mcrl2/utilities/parse_numbers.h

Include file:

#include "mcrl2/utilities/parse_numbers.h"

add your file description here.

Functions

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.

Functions

Iterator mcrl2::utilities::detail::parse_next_natural_number(Iterator first, Iterator last, std::size_t &result)