diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-28 17:49:50 +0100 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-28 17:49:50 +0100 |
commit | 974f10616c5f3b9e2251f0d3350e705adbc32f72 (patch) | |
tree | e7ce0a8564d3c08be35738bedcde8a26835cc184 /src/main/scala | |
parent | 697dd84aa64bbfb40b60a4d132f91168eba19d5a (diff) | |
download | RSAComb-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.scala | 8 |
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 | } |