Merge pull request #1 from sybila/dev-symbolic-domains

Symbolic domains proposal

.gitignore

@@ -17,3 +17,5 @@ Cargo.lock
 # Added by cargo
 
 /target
+
+.idea

Cargo.toml

@@ -11,6 +11,7 @@ path = "src/lib.rs"
 
 [dependencies]
 biodivine-lib-bdd = "0.5.1"
+dyn-clonable = "0.9.0"
 serde = { version = "1.0", features = ["derive"] }
 serde-xml-rs = "0.6.0"
 thiserror = "1.0.40"

src/lib.rs

@@ -1,3 +1,14 @@
+/// A private module which stores the implementation of the traits/structures relevant for
+/// symbolic encoding of logical models.
+///
+/// TODO:
+///     In the final library, we should re-export the relevant types from this module here.
+mod symbolic_domain;
+
+pub use symbolic_domain::{
+    GenericIntegerDomain, GenericStateSpaceDomain, SymbolicDomain, UnaryIntegerDomain,
+};
+
 pub fn add(x: i32, y: i32) -> i32 {
     x + y
 }