37 std::pair<exprt, string_constraintst>
82 strings_differ_at_witness);
86 return {isprefix, std::move(constraints)};
104 std::pair<exprt, string_constraintst>
127 DEPRECATED(
SINCE(2017, 10, 5,
"should use `string_length s == 0` instead"))
190 array_pool.get_or_create_length(
s1),
191 array_pool.get_or_create_length(s0)));
198 array_pool.get_or_create_length(
s1),
199 array_pool.get_or_create_length(s0)));
210 array_pool.get_or_create_length(
s1),
211 array_pool.get_or_create_length(s0)));
215 array_pool.get_or_create_length(s0),
216 array_pool.get_or_create_length(
s1)),
221 greater_than(array_pool.get_or_create_length(s0), witness),
226 return {tc_issuffix, std::move(constraints)};
247 std::pair<exprt, string_constraintst>
279 const plus_exprt qvar_shifted(qvar, startpos);