Searched refs:IsRHSSatisfied (Results 1 – 1 of 1) sorted by relevance
222 bool IsRHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction() local231 if (BO.isOr() && IsRHSSatisfied) { in calculateConstraintSatisfaction()