From b05dc2bfc5ef473e5e82e9c3d494dbe46049834f Mon Sep 17 00:00:00 2001 From: smijeva Date: Mon, 20 Nov 2023 23:03:55 +0100 Subject: [PATCH] 0.4.0a4 --- Cargo.toml | 4 ++-- conda/meta.yaml | 2 +- pyproject.toml | 2 +- src/bindings/pbn_control/_impl_perturbation_graph.rs | 5 ----- 4 files changed, 4 insertions(+), 9 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 34a75569..c2de0671 100644 --- 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 index f2232544..9496ae56 100644 --- 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 index 2ed627fc..05b05203 100644 --- 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 index f8927ae7..e4f25cd6 100644 --- 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()