ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
string_method_dispatch::split_method_argst Struct Reference

Public Attributes

std::string separator
long long maxsplit = -1

Member Data Documentation

◆ maxsplit

long long string_method_dispatch::split_method_argst::maxsplit = -1

◆ separator

std::string string_method_dispatch::split_method_argst::separator

The documentation for this struct was generated from the following file: