Searched refs:__skip_table (Results 1 – 1 of 1) sorted by relevance
152 const __skip_table_type& __skip_table = *__skip_table_; in __search() local162 difference_type __k = __skip_table[__current[__j - 1]]; in __search()283 const __skip_table_type& __skip_table = *__skip_table_; in __search() local292 __current += __skip_table[__current[__pattern_length_ - 1]]; in __search()