Commit fec0d608 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/misc/bddalloc.cc (bdd_allocator::initialize): Augment

bdd_init()'s arguments.
parent c7bbe60f
2003-10-14 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/misc/bddalloc.cc (bdd_allocator::initialize): Augment
bdd_init()'s arguments.
2003-10-08 Alexandre Duret-Lutz <adl@src.lip6.fr> 2003-10-08 Alexandre Duret-Lutz <adl@src.lip6.fr>
* iface/gspn/ltlgspn.cc: Use command-line options to * iface/gspn/ltlgspn.cc: Use command-line options to
......
...@@ -20,7 +20,11 @@ namespace spot ...@@ -20,7 +20,11 @@ namespace spot
if (initialized) if (initialized)
return; return;
initialized = true; initialized = true;
bdd_init(50000, 5000); // The values passed to bdd_init should depends on the problem
// the library is solving. It would be nice to allow users
// to tune this. By the meantime, we take the typical values
// for large examples advocated by the BuDDy manual.
bdd_init(1000000, 10000);
bdd_setvarnum(varnum); bdd_setvarnum(varnum);
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment