0.4.0a4

sybila · Nov 20, 2023 · b05dc2b · b05dc2b
1 parent ab9dd48
commit b05dc2b
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 9 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "biodivine-aeon-py"
-version = "0.4.0-alpha3"
+version = "0.4.0-alpha4"
 edition = "2021"
 
 [lib]
@@ -19,7 +19,7 @@ static-z3 = ["z3/static-link-z3"]
 pyo3 = { version = "0.20.0", features = ["abi3-py37", "extension-module"] }
 biodivine-lib-param-bn = { version="0.4.7", features=["solver-z3"] }
 biodivine-lib-bdd = "0.5.2"
-biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "edfc450" }
+biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "12e3a5b" }
 biodivine-hctl-model-checker = "0.2.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 = "0.4.0a3" %}
+{% set version = "0.4.0a4" %}
 
 package:
   name: "{{ name|lower }}"

diff --git a/pyproject.toml b/pyproject.toml
@@ -7,7 +7,7 @@ name = "biodivine_aeon"
 repository = "https://github.com/sybila/biodivine-aeon-py/"
 documentation = "https://biodivine.fi.muni.cz/docs/aeon-py/v0.4.0a3/"
 description = "Python bindings for the tool AEON."
-version = "0.4.0a3"
+version = "0.4.0a4"
 requires-python = ">=3.7"
 classifiers = [
     "Programming Language :: Rust",

diff --git a/src/bindings/pbn_control/_impl_perturbation_graph.rs b/src/bindings/pbn_control/_impl_perturbation_graph.rs
@@ -290,16 +290,13 @@ impl PyPerturbationGraph {
     pub fn phenotype_permanent_control(
         &self,
         phenotype: PyGraphVertices,
-        admissible_perturbations: PyGraphColors,
         oscillation: &str,
         verbose: bool
     ) -> PyPhenotypeControlMap {
         let converted_phenotype = phenotype.as_native().clone();
-        let converted_perturbation = admissible_perturbations.as_native().clone();
         let converted_oscillation = convert_str_to_oscillation_type(oscillation);
         let result = self.as_native()
             .phenotype_permanent_control(converted_phenotype,
-                                         converted_perturbation,
                                          converted_oscillation,
                                          verbose);
         return result.into()
@@ -310,7 +307,6 @@ impl PyPerturbationGraph {
         phenotype: PyGraphVertices,
         size_bound: usize,
         oscillation: &str,
-        required_robustness: f64,
         stop_early: bool,
         verbose: bool) -> PyPhenotypeControlMap {
         let converted_phenotype = phenotype.as_native().clone();
@@ -319,7 +315,6 @@ impl PyPerturbationGraph {
             .ceiled_phenotype_permanent_control(converted_phenotype,
                                          size_bound,
                                          converted_oscillation,
-                                         required_robustness,
                                          stop_early,
                                          verbose);
         return result.into()