Searched refs:arith_atom_for_bvar (Results 1 – 2 of 2) sorted by relevance
241 extern arith_atom_t *arith_atom_for_bvar(arith_atomtable_t *table, bvar_t v);
233 arith_atom_t *arith_atom_for_bvar(arith_atomtable_t *table, bvar_t v) { in arith_atom_for_bvar() function