Cross Reference: test3Deg3Var.pwqp
xref
: /
haiku-buildtools
/
isl
/
test_inputs
/
test3Deg3Var.pwqp
Home
History
Annotate
Line#
Navigate
Raw
Download
only in
/haiku-buildtools/isl/test_inputs/
1
[p] -> { [n, m] -> (n + n^3) : n >= 1 and m >= n and m <= p }
2