CBMC
prefix.h File Reference
#include <string>
+ Include dependency graph for prefix.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool has_prefix (const std::string &s, const std::string &prefix)
 

Function Documentation

◆ has_prefix()

bool has_prefix ( const std::string &  s,
const std::string &  prefix 
)
inline

Definition at line 17 of file prefix.h.