index
:
cloog.git
busytown-mac1008-release
busytown-mac1010-release
linaro-master
main
master
ndk-r11-release
ndk-r12-release
ndk-r13-release
ndk-r14-release
ndk-r15-release
ndk-r16-release
ndk-release-r16
ndk-release-r17
ndk-release-r18
ndk-release-r19
ndk-release-r20
ndk-release-r21
ndk-release-r22
ndk-release-r23
Linaro component
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cloog-0.16.3
/
isl
/
test_inputs
/
basicLinear2.pwqp
blob: d411a369158c1743500a0d7cc69b673bb90ef219 (
plain
)
1
[P, Q] -> { [n, m] -> n : n >= 1 and m >= n and m <= P and n >= -1 + Q }