Cross Reference: neg.pwqp
xref
: /
haiku-buildtools
/
isl
/
test_inputs
/
neg.pwqp
Home
History
Annotate
Annotate
Line#
Navigate
Raw
Download
only in
/haiku-buildtools/isl/test_inputs/
1
[n] -> { [i0] -> i0^2 : i0 >= -20 - n and i0 <= n and i0 <= -1 and n >= 0 }
2