Searched refs:insert_here (Results 1 – 2 of 2) sorted by relevance
49 int insert_here = -1; in add_clause() local87 if (m_clause[i] < new_clause && insert_here < 0) in add_clause()88 insert_here = i2; in add_clause()133 if (insert_here >= 0) in add_clause()134 for (; i2 > insert_here; i2--) in add_clause()137 insert_here = i2; in add_clause()138 m_clause[insert_here] = new_clause; in add_clause()
244 int insert_here = -1; in add_clause() local283 if (p->clause[i] < clause && insert_here < 0) in add_clause()284 insert_here = i2; in add_clause()333 if (insert_here >= 0) in add_clause()334 for (;i2 > insert_here; i2--) in add_clause()337 insert_here = i2; in add_clause()338 p->clause[insert_here] = clause; in add_clause()