Searched defs:DomScore (Results 1 – 3 of 3) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
| H A D | heuristics.h | 315 struct DomScore : VsidsScore { struct
317 typedef DomScore SC; argument
318 DomScore(double v = 0.0) : VsidsScore(v), level(0), factor(1), domP(domMax), sign(0), init(0) {} in VsidsScore() argument
342 class DomainHeuristic : public ClaspVsids_t<DomScore> argument
|
| /dports/math/clasp/clasp-3.3.5/clasp/ |
| H A D | heuristics.h | 315 struct DomScore : VsidsScore { struct
317 typedef DomScore SC; argument
318 DomScore(double v = 0.0) : VsidsScore(v), level(0), factor(1), domP(domMax), sign(0), init(0) {} in VsidsScore() argument
342 class DomainHeuristic : public ClaspVsids_t<DomScore> argument
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
| H A D | heuristics.h | 315 struct DomScore : VsidsScore { struct
317 typedef DomScore SC; argument
318 DomScore(double v = 0.0) : VsidsScore(v), level(0), factor(1), domP(domMax), sign(0), init(0) {} in VsidsScore() argument
342 class DomainHeuristic : public ClaspVsids_t<DomScore> argument
|