Searched refs:ContainsErrors (Results 1 – 7 of 7) sorted by relevance
41 IsSatisfied{Satisfaction.IsSatisfied}, ContainsErrors{42 Satisfaction.ContainsErrors} {53 ContainsErrors{Satisfaction.ContainsErrors} {
925 if(!ValueDependent && E->getSatisfaction().ContainsErrors) in computeDependence()
54 bool ContainsErrors = false; variable93 bool ContainsErrors : 1; member
367 Satisfaction.ContainsErrors = true; in calculateConstraintSatisfaction()467 Satisfaction.ContainsErrors = true; in calculateConstraintSatisfaction()
10662 ->Satisfaction.ContainsErrors; in NotValidBecauseConstraintExprHasError()
473 Record.push_back(Satisfaction.ContainsErrors); in addConstraintSatisfaction()
792 Satisfaction.ContainsErrors = Record.readInt(); in readConstraintSatisfaction()