Lines Matching defs:NewConstraint

2083          ClassOrSymbol CoS, RangeSet NewConstraint) {
2084     if (!State || NewConstraint.isEmpty())
2088     return Assignor.assign(CoS, NewConstraint);
2123   [[nodiscard]] ProgramStateRef assign(SymbolRef Sym, RangeSet NewConstraint) {
2126     State = assign(EquivalenceClass::find(State, Sym), NewConstraint);
2132     Base::assign(Sym, NewConstraint);
2138                                        RangeSet NewConstraint) {
2144     if (const llvm::APSInt *Point = NewConstraint.getConcreteValue()) {
2150       Constraints = CF.add(Constraints, Class, NewConstraint);
2171     return setConstraint(State, Class, NewConstraint);