refactor: one more part of system update fn

sybila · Dec 7, 2023 · 924a5aa · 924a5aa
1 parent c39cfde
commit 924a5aa
Showing 1 changed file with 12 additions and 1 deletion.
diff --git a/src/update/update_fn.rs b/src/update/update_fn.rs
@@ -125,7 +125,18 @@ where
         Expression::Terminal(proposition) => {
             update_from_proposition::<DO, T>(acc, proposition);
         }
-        _ => todo!(),
+        Expression::Not(expression) => {
+            update_max::<DO, T>(acc, expression);
+        }
+        Expression::And(clauses) | Expression::Or(clauses) => {
+            clauses
+                .iter()
+                .for_each(|clause| update_max::<DO, T>(acc, clause));
+        }
+        Expression::Xor(lhs, rhs) | Expression::Implies(lhs, rhs) => {
+            update_max::<DO, T>(acc, lhs);
+            update_max::<DO, T>(acc, rhs);
+        }
     }
 }