Searched refs:VarScore (Results 1 – 6 of 6) sorted by relevance
48 struct VarScore { struct49 VarScore() { clear(); } in VarScore() argument50 void clear() { std::memset(this, 0, sizeof(VarScore)); } in clear() argument113 typedef PodVector<VarScore>::type VarScores; /**< A vector of variable-scores */ argument
309 VarScore& vs = sc.score[v]; in heuristic()