Lines Matching defs:Constraint
114 DefinedOrUnknownSVal *Constraint =
117 if (!Constraint)
120 if (const ProgramState *newState = state->assume(*Constraint, true))
264 // the constraint manager.
289 // The constraint manager has not been cleaned up yet, so clean up now.
