TupleTernaryExpr should define its own length instead of inherit

aaw · May 9, 2024 · cb315f6 · cb315f6
1 parent f622e98
commit cb315f6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cnfc/model.py b/cnfc/model.py
@@ -505,6 +505,9 @@ def __init__(self, cond, if_true, if_false):
     def __repr__(self):
         return '{}({},{},{})'.format(self.__class__.__name__, self.cond, self.if_true, self.if_false)
 
+    def __len__(self):
+        return max(len(self.if_true), len(self.if_false))
+
     def evaluate(self, formula):
         t1 = self.if_true.evaluate(formula)
         t2 = self.if_false.evaluate(formula)