Searched refs:NewHeuristic (Results 1 – 1 of 1) sorted by relevance
55 NewHeuristic("new-spilling-heuristic", variable922 if (!NewHeuristic) in weightsAreClose()