Searched refs:EffectiveDetailEndIndex (Results 1 – 1 of 1) sorted by relevance
188 size_t EffectiveDetailEndIndex = Satisfaction.Details.size(); in calculateConstraintSatisfaction() local233 std::advance(EffectiveDetailEnd, EffectiveDetailEndIndex); in calculateConstraintSatisfaction()