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)