cprover
Loading...
Searching...
No Matches
format_number_range.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Format vector of numbers into a compressed range
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_UTIL_FORMAT_NUMBER_RANGE_H
13#define CPROVER_UTIL_FORMAT_NUMBER_RANGE_H
14
15#include <string>
16#include <vector>
17
18std::string format_number_range(const std::vector<unsigned> &);
19
22std::vector<unsigned> parse_number_range(const std::string &);
23
24#endif // CPROVER_UTIL_FORMAT_NUMBER_RANGE_H
std::string format_number_range(const std::vector< unsigned > &)
create shorter representation for output
std::vector< unsigned > parse_number_range(const std::string &)
Parse a compressed range into a vector of numbers, e.g.