string_method_dispatch::search_args_parsedt Struct Reference

Public Attributes
exprt	needle
exprt	start
exprt	end
bool	has_range

Member Data Documentation

end

exprt string_method_dispatch::search_args_parsedt::end

has_range

bool string_method_dispatch::search_args_parsedt::has_range

needle

exprt string_method_dispatch::search_args_parsedt::needle

start

exprt string_method_dispatch::search_args_parsedt::start

---

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

• src/python-frontend/string/string_method_handler.cpp