aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-28 17:49:50 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-28 17:49:50 +0100
commit974f10616c5f3b9e2251f0d3350e705adbc32f72 (patch)
treee7ce0a8564d3c08be35738bedcde8a26835cc184 /src/main/scala
parent697dd84aa64bbfb40b60a4d132f91168eba19d5a (diff)
downloadRSAComb-974f10616c5f3b9e2251f0d3350e705adbc32f72.tar.gz
RSAComb-974f10616c5f3b9e2251f0d3350e705adbc32f72.zip
Adapt test to new `cycle` method
Diffstat (limited to 'src/main/scala')
-rw-r--r--src/main/scala/rsacomb/RSAOntology.scala8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 6d39bae..b81a8f5 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -346,10 +346,12 @@ trait RSAOntology {
346 tripleARB = Seq(classA, roleR, classB).hashCode 346 tripleARB = Seq(classA, roleR, classB).hashCode
347 tripleDSC = Seq(classD, roleS, classC).hashCode 347 tripleDSC = Seq(classD, roleS, classC).hashCode
348 individual = 348 individual =
349 if (tripleARB < tripleDSC) { 349 if (tripleARB > tripleDSC) {
350 RSA.internal("v0_" ++ tripleDSC.hashCode.toString())
351 } else {
352 RSA.internal("v1_" ++ tripleDSC.hashCode.toString()) 350 RSA.internal("v1_" ++ tripleDSC.hashCode.toString())
351 } else {
352 // Note that this is also the case for
353 // `tripleARB == tripleDSC`
354 RSA.internal("v0_" ++ tripleDSC.hashCode.toString())
353 } 355 }
354 } yield individual 356 } yield individual
355 } 357 }