Searched refs:ContainsErrors (Results 1 – 7 of 7) sorted by relevance
46 IsSatisfied{Satisfaction.IsSatisfied}, ContainsErrors{47 Satisfaction.ContainsErrors} {58 ContainsErrors{Satisfaction.ContainsErrors} {
886 if(!ValueDependent && E->getSatisfaction().ContainsErrors) in computeDependence()
54 bool ContainsErrors = false; variable96 bool ContainsErrors : 1; member
266 Satisfaction.ContainsErrors = true; in calculateConstraintSatisfaction()360 Satisfaction.ContainsErrors = true; in calculateConstraintSatisfaction()
10656 ->Satisfaction.ContainsErrors; in NotValidBecauseConstraintExprHasError()
473 Record.push_back(Satisfaction.ContainsErrors); in addConstraintSatisfaction()
792 Satisfaction.ContainsErrors = Record.readInt(); in readConstraintSatisfaction()