Lines Matching defs:Constraint
135 Optional<DefinedOrUnknownSVal> Constraint =
138 if (!Constraint)
141 if (ProgramStateRef newState = state->assume(*Constraint, true))
385 // the constraint manager.
404 // The constraint manager has not been cleaned up yet, so clean up now.
