MAINT: class rename

Signed-off-by: naweedkhan <naweed.khan@ibm.com>
IBM · Nov 30, 2023 · cca354d · cca354d
1 parent b303d26
commit cca354d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 8 deletions.
diff --git a/lnn/__init__.py b/lnn/__init__.py
@@ -17,7 +17,7 @@
 from . import symbolic
 from .symbolic.logic import (
     And,
-    Congruent,
+    Equal,
     Iff,
     Exists,
     Forall,
@@ -32,7 +32,7 @@
     Predicates,
     Variable,
     Variables,
-    XOr,
+    Xor,
 )
 from .model import Model
 from .constants import Fact, World, Direction, Loss
@@ -47,7 +47,7 @@
     "truth_table",
     "truth_table_dict",
     "And",
-    "Congruent",
+    "Equal",
     "Direction",
     "Iff",
     "Exists",
@@ -67,5 +67,5 @@
     "Fact",
     "World",
     "Loss",
-    "XOr",
+    "Xor",
 ]
diff --git a/lnn/symbolic/logic/formula.py b/lnn/symbolic/logic/formula.py
@@ -314,10 +314,8 @@ def is_equal(self, other: "Formula") -> bool:
             return True
         result = list()
         for f in self.congruent_nodes:
-            if _isinstance(f, "Congruent"):
-                result += [
-                    other.structure == operand.structure for operand in f.operands
-                ]
+            if _isinstance(f, "Equal"):
+                result += [other.syntax == operand.syntax for operand in f.operands]
         return any(result)
 
     def is_unweighted(self) -> bool: