Update biodivine-pbn-control fixing init states logic

sybila · Nov 29, 2024 · dfbbbf2 · dfbbbf2
1 parent 1fca646
commit dfbbbf2
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "biodivine-aeon-py"
-version = "1.2.2"
+version = "1.2.3"
 edition = "2021"
 
 [lib]
@@ -21,7 +21,7 @@ pyo3 = { version = "0.23.2", features = ["abi3-py37", "extension-module", "num-b
 biodivine-lib-param-bn = { version="0.5.13", features=["solver-z3"] }
 biodivine-lib-bdd = "0.5.22"
 #biodivine-pbn-control = "0.3.1"
-biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "1fcef228bd6accd89cb3a287d82c80c9c8f9b6a4" }
+biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "603aa738247f44f40a72b868c4390fb17634696d" }
 biodivine-hctl-model-checker = "0.3.0"
 rand = "0.8.5"
 macros = { path = "macros" }

diff --git a/conda/meta.yaml b/conda/meta.yaml
@@ -1,5 +1,5 @@
 {% set name = "biodivine_aeon" %}
-{% set version = "1.2.2" %}
+{% set version = "1.2.3" %}
 
 package:
   name: "{{ name|lower }}"

diff --git a/pyproject.toml b/pyproject.toml
@@ -5,7 +5,7 @@ build-backend = "maturin"
 [project]
 name = "biodivine_aeon"
 description = "Python bindings for the tool AEON."
-version = "1.2.2"
+version = "1.2.3"
 requires-python = ">=3.9"
 classifiers = [
     "Programming Language :: Rust",

diff --git a/src/bindings/pbn_control/control.rs b/src/bindings/pbn_control/control.rs
@@ -139,7 +139,7 @@ impl Control {
     /// so far are still returned.
     ///
     /// Finally, you can specify an `initial_states` set. If specified, the resulting control
-    /// strategies only work across the states in this set.
+    /// strategies only work across the states reachable from this set.
     ///
     #[staticmethod]
     #[pyo3(signature = (graph, phenotype, oscillation_type = None, size_limit = None, stop_when_found = false, initial_states = None))]