Searched refs:cur_stamp (Results 1 – 3 of 3) sorted by relevance
93 s->cur_stamp++; in clause_clac_lbd()96 if (vec_uint_at(s->stamps, level) != s->cur_stamp) { in clause_clac_lbd()97 vec_uint_assign(s->stamps, level, s->cur_stamp); in clause_clac_lbd()112 s->cur_stamp++; in clause_bin_resolution()114 vec_uint_assign(s->stamps, lit2var(lit), s->cur_stamp); in clause_bin_resolution()119 if (vec_uint_at(s->stamps, lit2var(imp_lit)) == s->cur_stamp && in clause_bin_resolution()122 vec_uint_assign(s->stamps, lit2var(imp_lit), (s->cur_stamp - 1)); in clause_bin_resolution()128 if (vec_uint_at(s->stamps, lit2var(lits[i])) != s->cur_stamp) { in clause_bin_resolution()
88 unsigned cur_stamp; /* Used for marking literals and levels of interest */ member
165 …cur_stamp[stamp_group]]->size].numer + scaletable[stamp_data[stamp_group][cur_stamp[stamp_group]]-…1860 static int cur_stamp[MAX_STAMP_GROUPS]; variable3151 cur_thing = cur_stamp[stamp_group]; in mainloop()4220 if (cur_thing != cur_stamp[stamp_group]) in mainloop()4222 cur_stamp[stamp_group] = cur_thing; in mainloop()6249 switch (stamp_data[stamp_group][cur_stamp[stamp_group]]->tinter) in find_most_saturated()6431 if (stamp_colorable(cur_stamp[stamp_group]) || stamp_tintable(cur_stamp[stamp_group])) in stamp_draw()6469 if (stamp_colorable(cur_stamp[stamp_group]) && tmp_surf != NULL) in stamp_draw()6496 else if (stamp_tintable(cur_stamp[stamp_group])) in stamp_draw()9232 if (stamp == cur_stamp[stamp_group]) in draw_stamps()[all …]