Remove BDDs from doc

dionysos-dev · Oct 23, 2023 · b473f54 · b473f54
1 parent fb73ea4
commit b473f54
Showing 1 changed file with 1 addition and 3 deletions.
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
-```
+```