Searched refs:__skip_table (Results 1 – 1 of 1) sorted by relevance
165 const __skip_table_type& __skip_table = *__skip_table_; in __search() local175 difference_type __k = __skip_table[__current[__j - 1]]; in __search()292 const __skip_table_type& __skip_table = *__skip_table_; in __search() local301 __current += __skip_table[__current[__pattern_length_ - 1]]; in __search()