Bump version.

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "biodivine-hctl-model-checker"
-version = "0.2.2"
+version = "0.3.0"
 authors = ["Ondřej Huvar <[email protected]>", "Samuel Pastva <[email protected]>"]
 edition = "2021"
 description = "Library for symbolic HCTL model checking on partially defined Boolean networks."

src/evaluation/mark_duplicates.rs

@@ -34,13 +34,6 @@ impl NodeWithDomains<'_> {
     }
 }
 
-/// Nodes are ordered by their height, with atomic propositions being the "smallest".
-impl PartialOrd for NodeWithDomains<'_> {
-    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
-        self.subtree.height.partial_cmp(&other.subtree.height)
-    }
-}
-
 /// Nodes are ordered by their height, with atomic propositions being the "smallest".
 ///
 /// Note that while this sort is "total" in the sense that every pair of nodes can be compared,
@@ -51,6 +44,13 @@ impl Ord for NodeWithDomains<'_> {
     }
 }
 
+/// Nodes are ordered by their height, with atomic propositions being the "smallest".
+impl PartialOrd for NodeWithDomains<'_> {
+    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
+        Some(self.cmp(other))
+    }
+}
+
 /// Check if there are some duplicate subtrees in a given formula syntax tree.
 /// This function uses canonization and thus recognizes duplicates with differently named
 /// variables (e.g., `AX {y}` and `AX {z}`).