expansions: simple determinization

2023-05-12 08:45:59 +02:00 · 2023-05-12 08:45:59 +02:00 · 094fa85b02
commit 094fa85b02
parent 189dde38d3
2 changed files with 27 additions and 2 deletions
--- a/spot/tl/expansions.hh
+++ b/spot/tl/expansions.hh
@ -41,8 +41,10 @@ namespace spot
      BddIsop = 4,
      BddMinterm = 8,
      BddSigmaStar = 16,
-      MergeEdges = 32,
-      SignatureMerge = 64,
+      BddEncode = 32,
+      MergeEdges = 64,
+      SignatureMerge = 128,
+      Determinize = 256,
    };
  };