Lines Matching defs:arrayIdx
118 const char *arrayIdx, const Expr *cost, const char *rule, ProductionState &status) {
125 const Expr *previous_ub = status.cost_ub(arrayIdx);
129 if( debug_output ) { fprintf(fp, "// Previous rule with lower cost than: %s === %s_rule costs %s\n", arrayIdx, rule, cost->as_string()); }
133 const Expr *previous_lb = status.cost_lb(arrayIdx);
143 const char *validity_check = status.valid(arrayIdx);
145 fprintf(fp, "%sif (STATE__NOT_YET_VALID(%s) || _cost[%s] > %s) {\n", spaces, arrayIdx, arrayIdx, cost->as_string());
150 if( debug_output ) { fprintf(fp, "%s// %s KNOWN_INVALID \n", spaces, arrayIdx); }
159 fprintf(fp, "%sif ( /* %s KNOWN_VALID || */ _cost[%s] > %s) {\n", spaces, arrayIdx, arrayIdx, cost->as_string());
167 fprintf(fp, "%s %s(%s, %s_rule, %s)", spaces, production, arrayIdx, rule, cost->as_string() );
178 status.set_cost_bounds(arrayIdx, cost, state_check, cost_check);
183 status.set_valid(arrayIdx);