Searched refs:mergesStart (Results 1 – 2 of 2) sorted by relevance
124 DefaultSizeType mergesStart; member126 DisequalityReasonRef(DefaultSizeType mergesStart = 0, DefaultSizeType mergesEnd = 0)127 : mergesStart(mergesStart), mergesEnd(mergesEnd) {} in mergesStart() function
957 for (unsigned i = reasonRef.mergesStart; i < reasonRef.mergesEnd; ++ i) { in explainEquality()1977 for (unsigned i = ref.mergesStart; i < ref.mergesEnd; ++ i) { in storePropagatedDisequality()1982 for (unsigned i = ref.mergesStart; i < ref.mergesEnd; ++ i) { in storePropagatedDisequality()