Home
last modified time | relevance | path

Searched refs:VarScore (Results 1 – 6 of 6) sorted by relevance

/dports/math/clasp/clasp-3.3.5/clasp/
H A Dlookahead.h48 struct VarScore { struct
49 VarScore() { clear(); } in VarScore() argument
50 void clear() { std::memset(this, 0, sizeof(VarScore)); } in clear() argument
113 typedef PodVector<VarScore>::type VarScores; /**< A vector of variable-scores */ argument
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dlookahead.h48 struct VarScore { struct
49 VarScore() { clear(); } in VarScore() argument
50 void clear() { std::memset(this, 0, sizeof(VarScore)); } in clear() argument
113 typedef PodVector<VarScore>::type VarScores; /**< A vector of variable-scores */ argument
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dlookahead.h48 struct VarScore { struct
49 VarScore() { clear(); } in VarScore() argument
50 void clear() { std::memset(this, 0, sizeof(VarScore)); } in clear() argument
113 typedef PodVector<VarScore>::type VarScores; /**< A vector of variable-scores */ argument
/dports/math/clasp/clasp-3.3.5/src/
H A Dlookahead.cpp309 VarScore& vs = sc.score[v]; in heuristic()
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dlookahead.cpp309 VarScore& vs = sc.score[v]; in heuristic()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dlookahead.cpp309 VarScore& vs = sc.score[v]; in heuristic()