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/RSA.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/main/scala/rsacomb/RSA.scala') 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 { def notIn(t: Term)(implicit set: Term) = Negation.create(In(t)(set)) - def EquivTo(t1: Term, t2: Term) = - TupleTableAtom.rdf(t1, RSA("EquivTo"), t2) + def congruent(t1: Term, t2: Term) = + TupleTableAtom.rdf(t1, RSA("congruent"), t2) def QM(implicit variables: (List[Term], List[Term])) = { val (answer, bounded) = variables -- cgit v1.2.3