Searched refs:num_pred_folded (Results 1 – 1 of 1) sorted by relevance
841 long num_pred_folded; member1115 prop_stats.num_pred_folded++; in fold_predicate_in()1250 prop_stats.num_pred_folded); in substitute_and_fold()