p.subset « old_test « examples « omegalib - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omegalib/examples/old_test/p.subset

blob: 3c8894c4b1134b36b7cfbeaa7ccf78a5f7120105 (plain)

1
2
3

{ [i] -> [j] : 1 <= i <= 9 } subset { [i] -> [j] : 1 <= i <= 11 };

{ [i] -> [j] : 1 <= i <= 9 } subset { [i] -> [j] : 1 <= i <= 7 };