cprover
prefix.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_PREFIX_H
11
#define CPROVER_UTIL_PREFIX_H
12
13
#include <string>
14
15
inline
bool
has_prefix
(
const
std::string &s,
const
std::string &prefix)
16
{
17
return
s.compare(0, prefix.size(), prefix)==0;
18
}
19
20
#endif // CPROVER_UTIL_PREFIX_H
has_prefix
bool has_prefix(const std::string &s, const std::string &prefix)
Definition:
prefix.h:15
util
prefix.h
Generated by
1.8.16