Searched refs:watch_idx_t (Results 1 – 10 of 10) sorted by relevance
42 , watch_idx_t = 3 enumerator99 , type(watch_idx_t) in Watched()132 return (type == watch_idx_t); in isIdx()138 assert(type == watch_idx_t); in get_idx()
40 , watch_idx_t = 3 enumerator91 , type(watch_idx_t) in Watched()124 return (type == watch_idx_t); in isIdx()130 assert(type == watch_idx_t); in get_idx()
165 case CMSat::watch_idx_t: { in remove_duplicates_from_m_cls()216 case CMSat::watch_idx_t: { in remove_duplicates_from_m_cls()423 case CMSat::watch_idx_t: in fill_m_cls_lits_and_red()572 case CMSat::watch_idx_t: { in add_longer_clause()
385 case watch_idx_t : in for_each_lit()414 case CMSat::watch_idx_t: in for_each_lit_except_watched()
89 case CMSat::watch_idx_t: { in for_one_clause()