File: figure7_c.in

package info (click to toggle)
isl 0.27-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 20,476 kB
  • sloc: ansic: 230,339; python: 19,348; cpp: 7,165; sh: 4,701; makefile: 767; lisp: 207; perl: 9
file content (5 lines) | stat: -rw-r--r-- 194 bytes parent folder | download | duplicates (43) 
1
2
3
4
5
 
[n] -> { s0[i] -> [i,0] : 1 <= i <= 100 and n > 1;
	 s1[i,j] -> [i,j] : 1 <= i,j <= 100 and n > 1;
	 s2[i,j] -> [i,j] : 1 <= i,j <= 100 }
[n] -> {  :  }
[n] -> { [i,j] -> separate[x] : x >= 1 }