Lines Matching refs:limit_lemma_size
1711 || (dict_info_.limit_lemma_size > 0 &&1713 > dict_info_.limit_lemma_size)) {1941 stat->limit_lemma_size = dict_info_.limit_lemma_size;1949 dict_info_.limit_lemma_size = max_lemma_size;2075 || (dict_info_.limit_lemma_size > 0 &&2077 > dict_info_.limit_lemma_size)) {