CBMC
format_number_range.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Format vector of numbers into a compressed range
4 
5 Author: 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 "mp_arith.h"
16 
17 #include <string>
18 #include <vector>
19 
20 std::string format_number_range(const std::vector<mp_integer> &);
21 
24 std::vector<mp_integer> parse_number_range(const std::string &);
25 
26 #endif // CPROVER_UTIL_FORMAT_NUMBER_RANGE_H
format_number_range
std::string format_number_range(const std::vector< mp_integer > &)
create shorter representation for output
Definition: format_number_range.cpp:24
parse_number_range
std::vector< mp_integer > parse_number_range(const std::string &)
Parse a compressed range into a vector of numbers, e.g.
Definition: format_number_range.cpp:113
mp_arith.h