toggle menu
Randomness
v3.3.1
v3.3.2
v3.3.1
v3.3.0
v3.2.0
v3.1.0
v3.0.0
v2.7.7
v2.7.6
v2.7.5
v2.7.4
v2.7.3
v2.7.2
v2.7.1
v2.7.0
v2.6.1
v2.6.0
v2.5.1
v2.5.0
v2.4.1
v2.4.0
v2.3.0
v2.2.0
v2.1.0
v2.0.0
v1.6.1
v1.6.0
v1.5.2
v1.5.1
v1.5.0
v1.4.0
v1.3.2
v1.3.1
v1.3.0
v1.2.0
v1.1.0
v1.0.1
v1.0.0
jvm
switch theme
search in API
Randomness
/
com.fwdekker.randomness
/
IssueData
/
isDuplicateOf
is
Duplicate
Of
fun
isDuplicateOf
(
issue
:
Issue
)
:
Boolean
(
source
)
Returns
true
if and only if this
IssueData
is (likely) a duplicate of the existing
Issue
.