Lines Matching refs:watch_list
25 bool erase_clause_watch(watch_list & wlist, clause_offset c) { in erase_clause_watch()
26 watch_list::iterator it = wlist.begin(); in erase_clause_watch()
27 watch_list::iterator end = wlist.end(); in erase_clause_watch()
30 watch_list::iterator it2 = it; in erase_clause_watch()
43 watched* find_binary_watch(watch_list & wlist, literal l) { in find_binary_watch()
50 watched const* find_binary_watch(watch_list const& wlist, literal l) { in find_binary_watch()
57 void erase_binary_watch(watch_list& wlist, literal l) { in erase_binary_watch()
58 watch_list::iterator it = wlist.begin(), end = wlist.end(); in erase_binary_watch()
59 watch_list::iterator it2 = it; in erase_binary_watch()
74 void erase_ternary_watch(watch_list& wlist, literal l1, literal l2) { in erase_ternary_watch()
76 watch_list::iterator it = wlist.begin(), end = wlist.end(); in erase_ternary_watch()
77 watch_list::iterator it2 = it; in erase_ternary_watch()
100 void conflict_cleanup(watch_list::iterator it, watch_list::iterator it2, watch_list& wlist) { in conflict_cleanup()
101 watch_list::iterator end = wlist.end(); in conflict_cleanup()
108 …std::ostream& display_watch_list(std::ostream & out, clause_allocator const & ca, watch_list const… in display_watch_list()