Searched refs:IsRHSSatisfied (Results 1 – 1 of 1) sorted by relevance
228 bool IsRHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction() local237 if (Op == clang::OO_PipePipe && IsRHSSatisfied) { in calculateConstraintSatisfaction()284 bool IsRHSSatisfied = Satisfaction.IsSatisfied; in calculateConstraintSatisfaction() local285 if (!Conjunction && IsRHSSatisfied) { in calculateConstraintSatisfaction()298 if (Conjunction != IsRHSSatisfied) in calculateConstraintSatisfaction()