Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
OneLTL.java
blob: de83bb62cbacee48f2d43a47fc39a31f5eca386b [
file
] [
log
] [
blame
]
public
class
OneLTL
{
public
static
boolean
sorted
(
int
[]
a
)
{
for
(
int
i
=
0
;
i
<
a
.
length
-
1
;
i
++)
{
if
(
a
[
i
+
1
]
<
a
[
i
])
{
return
false
;
}
}
return
true
;
}
}