Searched defs:cnf_size_r (Results 1 – 2 of 2) sorted by relevance
462 cnf_size_r (tree t) in cnf_size_r() function
471 cnf_size_r (tree t) in cnf_size_r() function