Searched refs:default_tid (Results 1 – 4 of 4) sorted by relevance
1279 ftthesaurus_id const *const default_tid = topt->get_default_thesaurus_id(); in apply_thesaurus_option() local1280 if ( default_tid ) { in apply_thesaurus_option()1287 lookup_thesaurus( *default_tid, query_phrase, qt0, result ); in apply_thesaurus_option()
1045 ftthesaurus_id *default_tid, in ftthesaurus_option() argument1050 default_tid_( default_tid ), in ftthesaurus_option()
299 ftthesaurus_id *default_tid,
14340 ftthesaurus_id *const default_tid = v.includes_default() ? in end_visit() local14358 new ftthesaurus_option( loc, default_tid, list, v.no_thesaurus() ); in end_visit()