14 static bool by_length(
const std::string &lhs,
const std::string &rhs)
16 if(lhs.size() < rhs.size())
18 if(lhs.size() > rhs.size())
28 std::vector<std::string> output_values;
29 for(
const auto &value :
values)
31 std::ostringstream ss;
32 value->output(ss, ai, ns);
33 output_values.emplace_back(ss.str());
35 std::sort(output_values.begin(), output_values.end(),
by_length);
37 join_strings(out, output_values.begin(), output_values.end(),
", ");
45 std::dynamic_pointer_cast<const abstract_value_objectt>(
first());
47 exprt lower_expr = initial->to_interval().get_lower();
48 exprt upper_expr = initial->to_interval().get_upper();
49 for(
const auto &value :
values)
52 std::dynamic_pointer_cast<const abstract_value_objectt>(value);
53 const auto &value_expr = v->to_interval();