File: dwt.in

package info (click to toggle)
isl 0.12.2-2
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 9,164 kB
  • ctags: 6,976
  • sloc: ansic: 86,111; sh: 11,923; python: 1,907; cpp: 593; makefile: 352; perl: 9
file content (3 lines) | stat: -rw-r--r-- 234 bytes parent folder | download | duplicates (44) 
1
2
3
 
[Ncl] -> { S[j, 28] -> [j] : j <= -2 + Ncl and Ncl <= 256 and Ncl >= 40 and j >= 1; S[0, 26] -> [0] : Ncl <= 256 and Ncl >= 40; S[-1 + Ncl, 27] -> [-1 + Ncl] : Ncl <= 256 and Ncl >= 40 }
[Ncl] -> {  :  Ncl >= 40 and Ncl <= 256 }
{  }