From a45aeff72b82bbc9a52f10929bf15b414c868525 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 18 Nov 2020 18:24:22 +0000 Subject: Rename internal predicate "EquivTo" to "congruent" --- src/main/scala/rsacomb/CanonicalModel.scala | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/main/scala/rsacomb/CanonicalModel.scala') diff --git a/src/main/scala/rsacomb/CanonicalModel.scala b/src/main/scala/rsacomb/CanonicalModel.scala index 5f781d1..d9e1641 100644 --- a/src/main/scala/rsacomb/CanonicalModel.scala +++ b/src/main/scala/rsacomb/CanonicalModel.scala @@ -92,14 +92,14 @@ class CanonicalModel(val ontology: RSAOntology) extends RSAAxiom { val varZ = Variable.create("Z") List( // Reflexivity - Rule.create(RSA.EquivTo(varX, varX), RSA.Thing(varX)), + Rule.create(RSA.congruent(varX, varX), RSA.Thing(varX)), // Simmetry - Rule.create(RSA.EquivTo(varY, varX), RSA.EquivTo(varX, varY)), + Rule.create(RSA.congruent(varY, varX), RSA.congruent(varX, varY)), // Transitivity Rule.create( - RSA.EquivTo(varX, varZ), - RSA.EquivTo(varX, varY), - RSA.EquivTo(varY, varZ) + RSA.congruent(varX, varZ), + RSA.congruent(varX, varY), + RSA.congruent(varY, varZ) ) ) } -- cgit v1.2.3