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)) {
