22 #ifndef _cvc3__include__search_fast_h_
23 #define _cvc3__include__search_fast_h_
36 class VariableManager;
233 std::vector<std::pair<Clause, int> >&
wp(
const Literal& literal);
263 ExprHashMap<unsigned> d_litScores;
265 ExprHashMap<unsigned> d_litCounts;
267 ExprHashMap<unsigned> d_litCountPrev;