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

summary refs log tree commit diff

path: root/omegalib/examples/old_test/hull1

blob: afb18a2364079e9ef64ce0d638a6db4877b9c13b (plain)

R := {[1:10,1:10]} union {[-10:-1,-10:-1]} union
	{[x,y] : -10 <= x,y <= 10 && -10 <= x-y <= 10};
R;
Hull R;