Cross Reference: stride5.in
xref
: /
haiku-buildtools
/
isl
/
test_inputs
/
codegen
/
stride5.in
Home
History
Annotate
Annotate
Line#
Navigate
Raw
Download
only in
/haiku-buildtools/isl/test_inputs/codegen/
1
[n] -> { S[t] -> [t] : exists e : 2 t - n = 4e and 0 <= t <= 100 }
2
[n] -> { : }
3
{ }
4