Searched refs:nmax_var (Results 1 – 1 of 1) sorted by relevance
1284 IntExpr* const nmax_var = evaluator_(nmax); in Propagate() local1285 if (nmax_var->Min() <= vmax && nmax_var->Max() >= vmin) break; in Propagate()