vset: make LDDmc default.

utwente-fmt · Dec 1, 2016 · 9a1fccf · 9a1fccf
1 parent 2380dac
commit 9a1fccf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/changelog.md b/changelog.md
@@ -16,6 +16,7 @@
     - It is now possible to output all Sylvan statistics, such as the size
       of the node table, number of GCs etc.
     - Add option --mu-opt that enables a faster mu-calculus model checker.
+    - Sylvan's LDDmc is now the default decision diagram package.
 
 - Improvements to the static variable ordering:
     - Invert the permutation of rows/columns (transition groups/state variables)

diff --git a/src/vset-lib/vector_set.c b/src/vset-lib/vector_set.c
@@ -113,6 +113,7 @@ vdom_create_domain(int n, vset_implementation_t impl)
     switch(impl){
     case VSET_IMPL_AUTOSELECT:
         /* fall-through */
+    case VSET_LDDmc: return vdom_create_lddmc(n);
     case VSET_ListDD64: return vdom_create_list64_native(n);
     case VSET_ListDD: return vdom_create_list_native(n);
 #ifdef HAVE_ATERM2_H
@@ -123,10 +124,7 @@ vdom_create_domain(int n, vset_implementation_t impl)
 #ifdef HAVE_DDD_H
     case VSET_DDD: return vdom_create_ddd(n);
 #endif
-#ifdef HAVE_SYLVAN
     case VSET_Sylvan: return vdom_create_sylvan(n);
-    case VSET_LDDmc: return vdom_create_lddmc(n);
-#endif // HAVE_SYLVAN
     default: return NULL;
     }
 }