From 0d8f286cfd0d90e35131fe7903deb449fcf8f22a Mon Sep 17 00:00:00 2001
From: Katja Goltsova <katja.goltsova@protonmail.com>
Date: Wed, 5 Oct 2022 12:58:14 +0200
Subject: [PATCH] Rename 'set_membership' to 'elem'
---
lisa-front/src/main/scala/lisa/front/parser/FrontResolver.scala | 2 +-
.../src/main/scala/lisa/settheory/SetTheoryDefinitions.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/lisa-front/src/main/scala/lisa/front/parser/FrontResolver.scala b/lisa-front/src/main/scala/lisa/front/parser/FrontResolver.scala
index c6556524..8ce715c4 100644
--- a/lisa-front/src/main/scala/lisa/front/parser/FrontResolver.scala
+++ b/lisa-front/src/main/scala/lisa/front/parser/FrontResolver.scala
@@ -96,7 +96,7 @@ private[parser] object FrontResolver {
case operator: ParsedBinaryOperator =>
val label: Either[PredicateLabel[?], ConnectorLabel[?]] = operator match {
case _: ParsedEqual => Left(equality)
- case _: ParsedMembership => Left(ConstantPredicateLabel[2]("set_membership"))
+ case _: ParsedMembership => Left(ConstantPredicateLabel[2]("elem"))
case _: ParsedSubset => Left(ConstantPredicateLabel[2]("subset_of"))
case _: ParsedSameCardinality => Left(ConstantPredicateLabel[2]("same_cardinality"))
case _: ParsedAnd => Right(and)
diff --git a/lisa-theories/src/main/scala/lisa/settheory/SetTheoryDefinitions.scala b/lisa-theories/src/main/scala/lisa/settheory/SetTheoryDefinitions.scala
index 4a9c4892..17039b65 100644
--- a/lisa-theories/src/main/scala/lisa/settheory/SetTheoryDefinitions.scala
+++ b/lisa-theories/src/main/scala/lisa/settheory/SetTheoryDefinitions.scala
@@ -16,7 +16,7 @@ private[settheory] trait SetTheoryDefinitions {
/**
* The symbol for the set membership predicate.
*/
- final val in = ConstantPredicateLabel("set_membership", 2)
+ final val in = ConstantPredicateLabel("elem", 2)
/**
* The symbol for the subset predicate.
--
GitLab