Searched defs:setConstraint (Results 1 – 2 of 2) sorted by relevance
45 void setConstraint(StringRef C) { Constraint = C.str(); } setConstraint() function
1063 [[nodiscard]] ProgramStateRef setConstraint(ProgramStateRef State, in setConstraint() function