ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
prefix.h File Reference
#include <string_view>
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 (std::string_view s, std::string_view prefix)
bool has_suffix (std::string_view s, std::string_view suffix)

Function Documentation

◆ has_prefix()

bool has_prefix ( std::string_view s,
std::string_view prefix )
inline

◆ has_suffix()

bool has_suffix ( std::string_view s,
std::string_view suffix )
inline