cprover
|
#include <algorithm>
#include <sstream>
#include <string>
#include "invariant.h"
#include "format_number_range.h"
Go to the source code of this file.
Functions | |
std::string | format_number_range (const std::vector< unsigned > &input_numbers) |
create shorter representation for output More... | |
Format vector of numbers into a compressed range
Definition in file format_number_range.cpp.
std::string format_number_range | ( | const std::vector< unsigned > & | input_numbers | ) |
create shorter representation for output
input_numbers | vector of numbers |
Definition at line 23 of file format_number_range.cpp.