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