Searched refs:eqno (Results 1 – 2 of 2) sorted by relevance
109 unsigned eqno; member531 tmp->eqno++; in find_identical_invariants()751 inv->eqno = 1; in create_new_invariant()1358 (*comp_cost) += inv->cost * inv->eqno; in get_inv_cost()
32633 * loop-invariant.c (struct invariant): Add a new member: eqno;32634 (find_identical_invariants): Update eqno;32635 (create_new_invariant): Init eqno;32636 (get_inv_cost): Compute comp_cost with eqno;