diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:24:22 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:24:22 +0000 |
| commit | a45aeff72b82bbc9a52f10929bf15b414c868525 (patch) | |
| tree | 0234166e7424f5a20f5d55c05883f36635bbcfbf /src/main/scala/rsacomb/CanonicalModel.scala | |
| parent | 60876ada5b19bcdd02bef1f53992ae324b0e3670 (diff) | |
| download | RSAComb-a45aeff72b82bbc9a52f10929bf15b414c868525.tar.gz RSAComb-a45aeff72b82bbc9a52f10929bf15b414c868525.zip | |
Rename internal predicate "EquivTo" to "congruent"
Diffstat (limited to 'src/main/scala/rsacomb/CanonicalModel.scala')
| -rw-r--r-- | src/main/scala/rsacomb/CanonicalModel.scala | 10 |
1 files changed, 5 insertions, 5 deletions
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 { | |||
| 92 | val varZ = Variable.create("Z") | 92 | val varZ = Variable.create("Z") |
| 93 | List( | 93 | List( |
| 94 | // Reflexivity | 94 | // Reflexivity |
| 95 | Rule.create(RSA.EquivTo(varX, varX), RSA.Thing(varX)), | 95 | Rule.create(RSA.congruent(varX, varX), RSA.Thing(varX)), |
| 96 | // Simmetry | 96 | // Simmetry |
| 97 | Rule.create(RSA.EquivTo(varY, varX), RSA.EquivTo(varX, varY)), | 97 | Rule.create(RSA.congruent(varY, varX), RSA.congruent(varX, varY)), |
| 98 | // Transitivity | 98 | // Transitivity |
| 99 | Rule.create( | 99 | Rule.create( |
| 100 | RSA.EquivTo(varX, varZ), | 100 | RSA.congruent(varX, varZ), |
| 101 | RSA.EquivTo(varX, varY), | 101 | RSA.congruent(varX, varY), |
| 102 | RSA.EquivTo(varY, varZ) | 102 | RSA.congruent(varY, varZ) |
| 103 | ) | 103 | ) |
| 104 | ) | 104 | ) |
| 105 | } | 105 | } |