0.0.9a2

Cargo.toml

@@ -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.5.2", features=["solver-z3"] }
 biodivine-lib-bdd = "0.5.7"
-biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "70d4e0d" }
+biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "a79a2c1" }
 biodivine-hctl-model-checker = "0.2.2"
 rand = "0.8.5"
 macros = { path = "macros" }

conda/meta.yaml

@@ -1,5 +1,5 @@
 {% set name = "biodivine_aeon" %}
-{% set version = "0.0.9a1" %}
+{% set version = "0.0.9a2" %}
 
 package:
   name: "{{ name|lower }}"

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.0a5/"
 description = "Python bindings for the tool AEON."
-version = "0.0.9a1"
+version = "0.0.9a2"
 requires-python = ">=3.7"
 classifiers = [
     "Programming Language :: Rust",

src/bindings/pbn_control/_impl_phenotype_control_map.rs

@@ -2,10 +2,10 @@ use std::collections::HashMap;
 use crate::bindings::lib_bdd::PyBdd;
 use crate::bindings::lib_param_bn::{PyGraphColoredVertices, PyGraphColors};
 use crate::bindings::pbn_control::{PyPerturbationGraph, PyPhenotypeControlMap};
-use crate::{AsNative, throw_runtime_error};
+use crate::AsNative;
 use biodivine_pbn_control::phenotype_control::PhenotypeControlMap;
 use pyo3::prelude::*;
-use pyo3::types::{PyDict, PyList};
+use pyo3::types::PyDict;
 
 fn py_dict_to_rust_hashmap(py_dict: &PyDict) -> HashMap<String, bool> {
     let mut rust_hashmap = HashMap::new();
@@ -20,13 +20,13 @@ fn py_dict_to_rust_hashmap(py_dict: &PyDict) -> HashMap<String, bool> {
 }
 
 fn rust_hashmap_to_py_dict(py:Python, rust_hashmap: &HashMap<String, bool>) -> Py<PyDict> {
-    let mut pyDict = PyDict::new(py);
+    let py_dict = PyDict::new(py);
 
     for (k, v) in rust_hashmap {
-        pyDict.set_item(k, v).unwrap();
+        py_dict.set_item(k, v).unwrap();
     }
 
-    pyDict.into()
+    py_dict.into()
 }
 
 impl From<PhenotypeControlMap> for PyPhenotypeControlMap {

src/bindings/pbn_control/mod.rs

@@ -1,8 +1,7 @@
 use biodivine_pbn_control::control::ControlMap;
 use biodivine_pbn_control::perturbation::PerturbationGraph;
-use biodivine_pbn_control::phenotype_control::{PhenotypeControlMap,PhenotypeOscillationType};
+use biodivine_pbn_control::phenotype_control::PhenotypeControlMap;
 use pyo3::prelude::*;
-use crate::AsNative;
 
 mod _impl_control_map;
 mod _impl_perturbation_graph;