23 std::string number_range;
24 std::sort(numbers.begin(), numbers.end());
25 unsigned end_number=numbers.back();
26 if(numbers.front()==end_number)
33 unsigned start_number=numbers.front();
34 unsigned last_number=start_number;
36 for(
const auto &number : numbers)
47 if(number==last_number+1 && !(number==end_number))
50 if(last_number>start_number+1)
60 if(last_number>start_number)
64 if(number==end_number && number==last_number+1)
67 else if(number==end_number)
77 if(number!=end_number)
82 if(start_number+1==last_number && last_number+1==number)
99 if(number!=end_number)
114 assert(!number_range.empty());
std::string to_string(const string_constraintt &expr)
Used for debug printing.