-
* src/tgbaalgos/degen.cc, src/tgbaalgos/degen.hh: Add three options use_z_level, use_cust_acc_orders, and use_lvl_cache.
774a266b
* src/tgbaalgos/degen.cc, src/tgbaalgos/degen.hh: Add three options use_z_level, use_cust_acc_orders, and use_lvl_cache.