verlind1a « old_test « examples « omega - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omega/examples/old_test/verlind1a

blob: e43ec19d46fc2446d96fd190180a209554d785f3 (plain)

1
2
3

R := { [i] : 1 <= i <= 6 & exists (alpha : 3 alpha + 1 <= i <= 3 alpha + 2)
	   & not (1 <= i <= 2) };
R;