cprover
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 <string>
16
#include <vector>
17
18
std::string
format_number_range
(
const
std::vector<unsigned> &);
19
22
std::vector<unsigned>
parse_number_range
(
const
std::string &);
23
24
#endif // CPROVER_UTIL_FORMAT_NUMBER_RANGE_H
format_number_range
std::string format_number_range(const std::vector< unsigned > &)
create shorter representation for output
Definition:
format_number_range.cpp:25
parse_number_range
std::vector< unsigned > parse_number_range(const std::string &)
Parse a compressed range into a vector of numbers, e.g.
Definition:
format_number_range.cpp:117
util
format_number_range.h
Generated by
1.8.20