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/RSA.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/RSA.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RSA.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala index 3a37a87..ab4f539 100644 --- a/src/main/scala/rsacomb/RSA.scala +++ b/src/main/scala/rsacomb/RSA.scala | |||
| @@ -42,8 +42,8 @@ object RSA { | |||
| 42 | 42 | ||
| 43 | def notIn(t: Term)(implicit set: Term) = Negation.create(In(t)(set)) | 43 | def notIn(t: Term)(implicit set: Term) = Negation.create(In(t)(set)) |
| 44 | 44 | ||
| 45 | def EquivTo(t1: Term, t2: Term) = | 45 | def congruent(t1: Term, t2: Term) = |
| 46 | TupleTableAtom.rdf(t1, RSA("EquivTo"), t2) | 46 | TupleTableAtom.rdf(t1, RSA("congruent"), t2) |
| 47 | 47 | ||
| 48 | def QM(implicit variables: (List[Term], List[Term])) = { | 48 | def QM(implicit variables: (List[Term], List[Term])) = { |
| 49 | val (answer, bounded) = variables | 49 | val (answer, bounded) = variables |