Searched refs:ContainsErrors (Results 1 – 8 of 8) sorted by relevance
41 IsSatisfied{Satisfaction.IsSatisfied}, ContainsErrors{42 Satisfaction.ContainsErrors} {52 ContainsErrors{Satisfaction.ContainsErrors} {
926 if(!ValueDependent && E->getSatisfaction().ContainsErrors) in computeDependence()
1066 ToSat.ContainsErrors = FromSat.ContainsErrors; in ImportConstraintSatisfaction()
54 bool ContainsErrors = false; variable93 bool ContainsErrors : 1; member
227 Satisfaction.ContainsErrors = true; in EvaluateAtomicConstraint()511 Satisfaction.ContainsErrors = true; in calculateConstraintSatisfaction()
11156 ->Satisfaction.ContainsErrors; in NotValidBecauseConstraintExprHasError()
473 Record.push_back(Satisfaction.ContainsErrors); in addConstraintSatisfaction()
800 Satisfaction.ContainsErrors = Record.readInt(); in readConstraintSatisfaction()