spot
1.1.3
|
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
sba * | spot::degeneralize (const tgba *a, bool use_z_lvl=true, bool use_cust_acc_orders=false, bool use_lvl_cache=true) |
Degeneralize a spot::tgba into an equivalent sba with only one acceptance condition. More... | |