Lines Matching refs:delta
1346 constraint_t c, bitmap delta)
1353 EXECUTE_IF_SET_IN_BITMAP (delta, 0, j, bi)
1390 bitmap delta)
1398 if (bitmap_bit_p (delta, anything_id))
1405 /* For each variable j in delta (Sol(y)), add
1407 EXECUTE_IF_SET_IN_BITMAP (delta, 0, j, bi)
1449 do_ds_constraint (constraint_t c, bitmap delta)
1459 EXECUTE_IF_SET_IN_BITMAP (delta, 0, j, bi)
1485 /* For each member j of delta (Sol(x)), add an edge from y to j and
1487 EXECUTE_IF_SET_IN_BITMAP (delta, 0, j, bi)
1524 do_complex_constraint (constraint_graph_t graph, constraint_t c, bitmap delta)
1531 do_da_constraint (graph, c, delta);
1536 do_ds_constraint (c, delta);
1543 do_sd_constraint (graph, c, delta);