remove CUDD from docs env and add files to manual

dionysos-dev · Oct 10, 2023 · f291017 · f291017
1 parent d18a45f
commit f291017
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,6 +1,5 @@
 [deps]
 CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"
-CUDD = "345a2cc7-28d8-58b2-abdf-cff77ea7d7f1"
 Colors = "5ae59095-9a9b-59fe-a467-6f913c188581"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 FillArrays = "1a297f60-69ca-5386-bcde-b61e274b549b"

diff --git a/docs/src/reference/Utils.md b/docs/src/reference/Utils.md
@@ -16,6 +16,8 @@ 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