Merge pull request #321 from dionysos-dev/ab/move_BDDs

Remove all BDDUtils
dionysos-dev · Oct 23, 2023 · f8ba56f · f8ba56f
2 parents 5ef1636 + b473f54
commit f8ba56f
Show file tree

Hide file tree

Showing 9 changed files with 1 addition and 369 deletions.
diff --git a/Project.toml b/Project.toml
@@ -5,7 +5,6 @@ version = "0.0.1"
 
 [deps]
 ArnoldiMethod = "ec485272-7323-5ecc-a04f-4719b315124d"
-CUDD = "345a2cc7-28d8-58b2-abdf-cff77ea7d7f1"
 Colors = "5ae59095-9a9b-59fe-a467-6f913c188581"
 DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
 DiscreteMarkovChains = "8abcb7ef-b365-4f7b-ac38-56893fb62f9f"
@@ -44,7 +43,6 @@ Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
 
 [compat]
 ArnoldiMethod = "0.2"
-CUDD = "0.3"
 Colors = "0.12"
 DataStructures = "0.18"
 DiscreteMarkovChains = "0.2"

diff --git a/docs/src/reference/Utils.md b/docs/src/reference/Utils.md
@@ -11,8 +11,6 @@ Dionysos.Utils.QuadraticStateControlFunction
 ## Search
 
 ```@docs
-Dionysos.Utils.BDD.BitSet
-Dionysos.Utils.BDD.IntTupleSet
 Dionysos.Utils.expand
 Dionysos.Utils.path_cost
 Dionysos.Utils.breadth_first_graph_search
@@ -43,4 +41,4 @@ Dionysos.Utils.add_node!
 Dionysos.Utils.propagate_cost_to_leaves
 Dionysos.Utils.get_path
 Dionysos.Utils.Tree
-```
+```
diff --git a/src/utils/data_structures/BDD/BDD.jl b/src/utils/data_structures/BDD/BDD.jl
diff --git a/src/utils/data_structures/BDD/BitSet.jl b/src/utils/data_structures/BDD/BitSet.jl
diff --git a/src/utils/data_structures/BDD/inttupleset.jl b/src/utils/data_structures/BDD/inttupleset.jl
diff --git a/src/utils/utils.jl b/src/utils/utils.jl
@@ -12,8 +12,6 @@ include("plotting/colorbar.jl")
 include("plotting/simple_plots.jl")
 #####
 
-# Temporarily remove BDDs
-include("data_structures/BDD/BDD.jl")
 include("scalar_functions.jl")
 include("data_structures/sorted_vector_set.jl")
 include("data_structures/queue.jl")

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -1,7 +1,3 @@
-# Two following tests temporarily removed, see https://github.com/dionysos-dev/Dionysos.jl/issues/209
-include("./utils/data_structures/BDD/test_BDD.jl")
-include("./utils/data_structures/BDD/test_inttupleset.jl")
-
 include("./utils/data_structures/test_queue.jl")
 include("./utils/data_structures/test_digraph.jl")
 include("./utils/data_structures/tree.jl")

diff --git a/test/utils/data_structures/BDD/test_BDD.jl b/test/utils/data_structures/BDD/test_BDD.jl