Searched refs:enable_cls_deletion (Results 1 – 2 of 2) sorted by relevance
114 { _solver->enable_cls_deletion(true); return true; } in EnableClauseDeletion()116 { _solver->enable_cls_deletion(false); return true; } in DisableClauseDeletion()
237 void enable_cls_deletion(bool allow) in enable_cls_deletion() function