Add string-infix utility

Author: smowton

src/util/infix.h

@@ -0,0 +1,22 @@
+/*******************************************************************\
+
+Module: String infix shorthand
+
+Author: Chris Smowton, [email protected]
+
+\*******************************************************************/
+
+#ifndef CPROVER_UTIL_INFIX_H
+#define CPROVER_UTIL_INFIX_H
+
+#include <string>
+
+inline bool has_infix(
+  const std::string &s,
+  const std::string &infix,
+  size_t offset)
+{
+  return s.compare(offset, infix.size(), infix)==0;
+}
+
+#endif