Searched defs:neg_conp_p (Results 1 – 2 of 2) sorted by relevance
931 int neg_litp_p = 0, neg_conp_p = 0, neg_var_p = 0; local
1423 int neg_litp_p = 0, neg_conp_p = 0, neg_var_p = 0; in split_tree() local