Searched defs:bestCost (Results 1 – 2 of 2) sorted by relevance
92 std::pair<unsigned, unsigned> bestCost; in contract() local153 std::pair<unsigned, unsigned> bestCost; in solve() local
643 unsigned bestCost = 0; in buildPredicateList() local