Searched defs:remove_cls_occs (Results 1 – 2 of 2) sorted by relevance
1972 void context::remove_cls_occs(clause * cls) { in remove_cls_occs() function in smt::context
1984 void context::remove_cls_occs(clause * cls) { in remove_cls_occs() function in smt::context