isl_scheduler.c: rename is_type to isl_sched_edge_has_type
[isl.git] / test_inputs / application.omega
blob8f4fd1db39a07cfd6f51ce5810cf79ad06633591
1 {[x]}
2 {[x] -> [y] : y = 2x}
3 {[y]: Exists ( alpha : 2alpha = y)}