Sign in
nest-open-source
/
stadia-controller
/
gcc-arm-none-eabi
/
3c699435f69c74a12f5fe18c0181fba6f1dd0479
/
.
/
src
/
isl-0.15
/
test_inputs
/
codegen
/
pldi2012
/
figure7_d.in
blob: 339e39d8ceee06b71d1d89cdc51472859b339b18 [
file
]
[
n
]
->
{
s0
[
i
]
->
[
i
,
0
]
:
1
<=
i
<=
100
and
n
>
1
;
s1
[
i
,
j
]
->
[
i
,
j
]
:
1
<=
i
,
j
<=
100
and
n
>
1
;
s2
[
i
,
j
]
->
[
i
,
j
]
:
1
<=
i
,
j
<=
100
}
[
n
]
->
{
:
}
[
n
]
->
{
[
i
,
j
]
->
separate
[
x
]
:
x
>=
0
}
