Sign in
nest-open-source
/
stadia-controller
/
gcc-arm-none-eabi
/
refs/heads/master
/
.
/
src
/
isl-0.15
/
test_inputs
/
devos.pwqp
blob: b4525446904b000fa34d84c4a21d80f2894463d7 [
file
] [
log
] [
blame
] [
edit
]
[
U
]
->
{
[
i0
]
->
((
1
/
3
*
U
+
2
/
3
*
i0
)
-
[(
U
+
2i0
)/
3
])
:
2i0
>=
-
3
-
U
and
2i0
<=
-
U
and
U
>=
0
and
U
<=
10
}
