Searched refs:OtherShift (Results 1 – 1 of 1) sorted by relevance
309 uint32_t OtherShift; member1310 OtherScore <= M.OtherLB ? 0 : OtherScore + M.OtherShift; in mergeScore()1342 M.OtherShift = ScoreUBs[T] - Other.ScoreUBs[T] + M.MyShift; in merge()1348 ScoreLBs[T] = std::min(M.OldLB + M.MyShift, M.OtherLB + M.OtherShift); in merge()