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

summary refs log tree commit diff

path: root/omegalib/examples/old_test/pufs7

blob: 33905bfc7436f40c8877eb8d1098a7ce249245d0 (plain)

symbolic n(1),m;
{[i] : n(i) >= 0}  union {[i] : n(i) <=0};

{[i] : n(i) >= 1 && 1 <= i <= m} 
	union {[i] : n(i) <1 && 1 <= i <= m};