fixup atl dis-conjunction display, resolves #227 (#229)

d702e20 · Oct 2, 2023 · c9627dd · c9627dd
1 parent 30eab54
commit c9627dd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/cgaal-engine/src/atl/mod.rs b/cgaal-engine/src/atl/mod.rs
@@ -338,8 +338,8 @@ impl Display for Phi {
             Phi::False => write!(f, "false"),
             Phi::Proposition(id) => write!(f, "{}", id),
             Phi::Not(formula) => write!(f, "!({})", formula),
-            Phi::Or(left, right) => write!(f, "({} | {})", left, right),
-            Phi::And(left, right) => write!(f, "({} & {})", left, right),
+            Phi::Or(left, right) => write!(f, "({} || {})", left, right),
+            Phi::And(left, right) => write!(f, "({} && {})", left, right),
             Phi::DespiteNext { players, formula } => {
                 write!(f, "[[{}]] X {}", players.iter().join_with(","), formula)
             }
@@ -400,6 +400,6 @@ mod test {
             }),
             until: Arc::new(False),
         };
-        assert_eq!("<<0,1>> ((1 | !(2)) U false)", format!("{}", formula));
+        assert_eq!("<<0,1>> ((1 || !(2)) U false)", format!("{}", formula));
     }
 }