refactor: moved unprocessed_variable_update_function where it belongs

src/lib.rs

@@ -5,7 +5,6 @@ pub mod test_utils; // TODO:
                     //   to have it accessible from outside binaries.
 mod expression_components;
 mod symbolic_domains;
-mod system;
 mod update;
 mod utils;
 mod xml_parsing;

src/update/mod.rs

@@ -1 +1,2 @@
+pub mod unprocessed_variable_update_function;
 pub mod update_fn;

src/update/unprocessed_variable_update_function.rs

@@ -0,0 +1,25 @@
+use crate::expression_components::expression::Expression;
+
+#[derive(Debug)]
+pub struct UnprocessedVariableUpdateFn<T> {
+    pub input_vars_names: Vec<String>,
+    pub target_var_name: String,
+    pub terms: Vec<(T, Expression<T>)>,
+    pub default: T,
+}
+
+impl<T> UnprocessedVariableUpdateFn<T> {
+    pub fn new(
+        input_vars_names: Vec<String>,
+        target_var_name: String,
+        terms: Vec<(T, Expression<T>)>,
+        default: T,
+    ) -> Self {
+        Self {
+            input_vars_names,
+            target_var_name,
+            terms,
+            default,
+        }
+    }
+}

src/update/update_fn.rs

@@ -9,7 +9,7 @@ use biodivine_lib_bdd::{
 use crate::{
     expression_components::{expression::Expression, proposition::Proposition},
     symbolic_domains::symbolic_domain::{SymbolicDomain, SymbolicDomainOrd},
-    system::variable_update_function::UnprocessedVariableUpdateFn,
+    update::unprocessed_variable_update_function::UnprocessedVariableUpdateFn,
 };
 
 use self::variable_update_fn::VariableUpdateFn;
@@ -805,7 +805,7 @@ pub mod variable_update_fn {
             proposition::{ComparisonOperator as CmpOp, Proposition},
         },
         symbolic_domains::symbolic_domain::SymbolicDomainOrd,
-        system::variable_update_function::UnprocessedVariableUpdateFn as UnprocessedFn,
+        update::unprocessed_variable_update_function::UnprocessedVariableUpdateFn as UnprocessedFn,
     };
 
     #[derive(Debug)]

src/xml_parsing/variable_update_fn_parser.rs

@@ -8,7 +8,7 @@ use xml::reader::XmlEvent;
 
 use crate::{
     expression_components::expression::Expression,
-    system::variable_update_function::UnprocessedVariableUpdateFn,
+    update::unprocessed_variable_update_function::UnprocessedVariableUpdateFn,
 };
 
 use super::{