void SearchContext::clear() { clearKiller(); history.clear(); refutations.clear(); }
SearchContext::SearchContext() { clearKiller(); }