Searched defs:lit_lvl (Results 1 – 1 of 1) sorted by relevance
3053 unsigned lit_lvl = lvl(lits[i]); in num_diff_levels() local3071 unsigned lit_lvl = lvl(lits[i]); in num_diff_levels_below() local3089 unsigned lit_lvl = lvl(lits[i]); in num_diff_false_levels_below() local