Add compare-dstring-alphabetically comparator

smowton · smowton · commit 957603c741bf · 2018-08-22T12:47:21.000+01:00
Seems like something that's done frequently; no point everyone duplicating
this simple helper.
diff --git a/src/util/dstring.h b/src/util/dstring.h
@@ -198,4 +198,9 @@ struct hash<dstringt> // NOLINT(readability/identifiers)
 };
 }
 
+inline bool dstring_string_cmp(const dstringt &a, const dstringt &b)
+{
+  return as_string(a) < as_string(b);
+}
+
 #endif // CPROVER_UTIL_DSTRING_H

Original file line number	Diff line number	Diff line change
`@@ -198,4 +198,9 @@ struct hash<dstringt> // NOLINT(readability/identifiers)`
`198`	`198`	`};`
`199`	`199`	`}`
`200`	`200`
	`201`	`+inline bool dstring_string_cmp(const dstringt &a, const dstringt &b)`
	`202`	`+{`
	`203`	`+ return as_string(a) < as_string(b);`
	`204`	`+}`
	`205`	`+`
`201`	`206`	`#endif // CPROVER_UTIL_DSTRING_H`