prefix.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_PREFIX_H
#define CPROVER_UTIL_PREFIX_H
 
#include <string>
 
// C++20 will have std::string::starts_with
 
inline bool has_prefix(const std::string &s, const std::string &prefix)
{
  return s.compare(0, prefix.size(), prefix)==0;
}
inline bool has_prefix(const std::string &s, const std::string &prefix) {…}
 
#endif // CPROVER_UTIL_PREFIX_H