CBMC
infix.h File Reference

String infix shorthand. More...

#include <string>
+ Include dependency graph for infix.h:

Go to the source code of this file.

Functions

bool has_infix (const std::string &s, const std::string &infix, size_t offset)
 

Detailed Description

String infix shorthand.

Definition in file infix.h.

Function Documentation

◆ has_infix()

bool has_infix ( const std::string &  s,
const std::string &  infix,
size_t  offset 
)
inline

Definition at line 17 of file infix.h.