Searched refs:Recurrence (Results 1 – 3 of 3) sorted by relevance
238 ValidatorResult Recurrence = visit(Expr->getStepRecurrence(SE)); in visitAddRecExpr() local243 if (!Recurrence.isValid()) in visitAddRecExpr()244 return Recurrence; in visitAddRecExpr()256 if (Recurrence.isINT()) { in visitAddRecExpr()267 assert(Recurrence.isConstant() && "Expected 'Recurrence' to be constant"); in visitAddRecExpr()
1881 Forman S. Acton Recurrence Relations for the Fresnel
14161 …title = "Recurrence Relations for the {Fresnel} Integral $\int_0^\infty[\exp(-ct)dt/(t)^{1/…