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