Merge pull request #106 from cryptimeleon/isEqualToReturn

More concrete isEqualTo return type
cryptimeleon · May 26, 2021 · 961bbb2 · 961bbb2
2 parents 2e7ca76 + c3e16d4
commit 961bbb2
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/src/main/java/org/cryptimeleon/math/expressions/bool/ExponentEqualityExpr.java b/src/main/java/org/cryptimeleon/math/expressions/bool/ExponentEqualityExpr.java
@@ -27,7 +27,7 @@ public ExponentEqualityExpr(ExponentExpr lhs, ExponentExpr rhs) {
     }
 
     @Override
-    public BooleanExpression substitute(Substitution substitutions) {
+    public ExponentEqualityExpr substitute(Substitution substitutions) {
         return lhs.substitute(substitutions).isEqualTo(rhs.substitute(substitutions));
     }
 

diff --git a/src/main/java/org/cryptimeleon/math/expressions/bool/GroupEqualityExpr.java b/src/main/java/org/cryptimeleon/math/expressions/bool/GroupEqualityExpr.java
@@ -46,7 +46,7 @@ public Group getGroup() {
     }
 
     @Override
-    public BooleanExpression substitute(Substitution substitutions) {
+    public GroupEqualityExpr substitute(Substitution substitutions) {
         return lhs.substitute(substitutions).isEqualTo(rhs.substitute(substitutions));
     }
 

diff --git a/src/main/java/org/cryptimeleon/math/structures/groups/GroupElement.java b/src/main/java/org/cryptimeleon/math/structures/groups/GroupElement.java
@@ -1,6 +1,6 @@
 package org.cryptimeleon.math.structures.groups;
 
-import org.cryptimeleon.math.expressions.bool.BooleanExpression;
+import org.cryptimeleon.math.expressions.bool.GroupEqualityExpr;
 import org.cryptimeleon.math.expressions.exponent.ExponentExpr;
 import org.cryptimeleon.math.expressions.group.GroupElementConstantExpr;
 import org.cryptimeleon.math.expressions.group.GroupElementExpression;
@@ -160,7 +160,7 @@ default GroupElementConstantExpr expr() {
      * @param expr an expression to compare this group element to
      * @return an expression the evaluates to true (for some variable instantiation) if this is equal to expr.
      */
-    default BooleanExpression isEqualTo(GroupElementExpression expr) {
+    default GroupEqualityExpr isEqualTo(GroupElementExpression expr) {
         return expr().isEqualTo(expr);
     }
 
@@ -172,7 +172,7 @@ default BooleanExpression isEqualTo(GroupElementExpression expr) {
      * @param expr an expression to compare this group element to
      * @return an expression the evaluates to true (for some variable instantiation) if this is equal to expr.
      */
-    default BooleanExpression isEqualTo(String expr) {
+    default GroupEqualityExpr isEqualTo(String expr) {
         return expr().isEqualTo(expr);
     }
 
@@ -184,7 +184,7 @@ default BooleanExpression isEqualTo(String expr) {
      * @param other another group element to compare this group element to
      * @return an expression the evaluates to true iff this.equals(other).
      */
-    default BooleanExpression isEqualTo(GroupElement other) {
+    default GroupEqualityExpr isEqualTo(GroupElement other) {
         return expr().isEqualTo(other);
     }