CBMC
format_number_range.h File Reference

Format vector of numbers into a compressed range. More...

#include "mp_arith.h"
#include <string>
#include <vector>
+ 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_integerparse_number_range (const std::string &)
 Parse a compressed range into a vector of numbers, e.g. More...
 

Detailed Description

Format vector of numbers into a compressed range.

Definition in file format_number_range.h.

Function Documentation

◆ format_number_range()

std::string format_number_range ( const std::vector< mp_integer > &  input_numbers)

create shorter representation for output

Parameters
input_numbersvector of numbers
Returns
string of compressed number range representation

Definition at line 24 of file format_number_range.cpp.

◆ parse_number_range()

std::vector<mp_integer> parse_number_range ( const std::string &  number_range)

Parse a compressed range into a vector of numbers, e.g.

"2,4-6" -> [2,4,5,6]

Definition at line 113 of file format_number_range.cpp.