Searched refs:pos_eq_lit (Results 1 – 8 of 8) sorted by relevance
119 if (pos_eq_lit(lit) || neg_eq_lit(lit)) { in index_paramod()135 if (pos_eq_lit(lit) && Flags[PARA_INTO].val) { in index_paramod()170 if (pos_eq_lit(lit) || neg_eq_lit(lit)) { in un_index_paramod()184 if (pos_eq_lit(lit) && Flags[PARA_INTO].val) { in un_index_paramod()
125 if (c->first_lit && !c->first_lit->next_lit && pos_eq_lit(c->first_lit)) { in geo_rewrite()263 pos_eq_lit(giv_cl->first_lit)) { in geometry_rule_unif()
406 pos_eq_lit(ith_literal(c, 1)) && in proc_gen()664 pos_eq_lit(ith_literal(c, 1))) { in pre_process()
319 if (pos_eq_lit(from_lit) && in para_from()
1699 int pos_eq_lit(struct literal *lit) in pos_eq_lit() function1723 return(pos_eq_lit(lit) || neg_eq_lit(lit)); in eq_lit()1872 if (pos_eq_lit(lit) || neg_eq_lit(lit)) in equality_clause()
412 int pos_eq_lit(struct literal *lit);
360 int pos_eq_lit(1729,37931
631 int pos_eq_lit(1699,37430