blob: 4c1f7171480638aa8e3e7ee9a3c06f528c11cd42 [file] [log] [blame]
# language: C
c
# parameter {n d | n >= 0 d >= 0}
2 4
# n d 1
1 1 0 0
1 0 1 0
1
n d
2 # Number of statements:
1
# {i, j | n<=i<=2*n n<=j<=2*n}
4 6
# i j n d 1
1 1 0 -1 0 0
1 -1 0 2 0 0
1 0 1 -1 0 0
1 0 -1 2 0 0
0 0 0
1
# {i, j | n+d<=i<=2*n+d n+d<=j<=2*n+d}
4 6
# i j n d 1
1 1 0 -1 -1 0
1 -1 0 2 1 0
1 0 1 -1 -1 0
1 0 -1 2 1 0
0 0 0
0
0 # Scattering functions