diff options
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 |