|
CBMC
|
Include dependency graph for format_number_range.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| std::string | format_number_range (const std::vector< mp_integer > &) |
| create shorter representation for output More... | |
| std::vector< mp_integer > | parse_number_range (const std::string &) |
| Parse a compressed range into a vector of numbers, e.g. More... | |
Format vector of numbers into a compressed range
Definition in file format_number_range.h.
| std::string format_number_range | ( | const std::vector< mp_integer > & | input_numbers | ) |
create shorter representation for output
| input_numbers | vector of numbers |
Definition at line 25 of file format_number_range.cpp.
| std::vector<mp_integer> parse_number_range | ( | const std::string & | ) |
Parse a compressed range into a vector of numbers, e.g.
"2,4-6" -> [2,4,5,6]
Definition at line 114 of file format_number_range.cpp.