8
# We want to set the parameter names...
10
# and 'n' is the name of the unique parameter
13
2 # Number of statements: 2.
16
# {i, j | 1<=i<=n-1; i+1<=j<=n}
25
1 # SYNCHRONIZATION INFOS
28
# {i, j | 1<=i<=n-1; i+1<=j<=n}
41
# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
52
1 # SYNCHRONIZATION INFOS
58
# {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n}
73
# We want to let CLooG set the iterator names.
77
# Scattering functions
89
# Scattering functions