Searched refs:index2atom (Results 1 – 2 of 2) sorted by relevance
218 static inline void *index2atom(int32_t i) { in index2atom() function
1240 attach_atom_to_bvar(solver->core, v, index2atom(id)); in bvar_for_atom()