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.