spot
2.11.6
|
Benchmarking data and options for synthesis. More...
#include <spot/twaalgos/synthesis.hh>
Classes | |
struct | bench_var |
Public Types | |
enum class | algo { DET_SPLIT =0 , SPLIT_DET , DPA_SPLIT , LAR , LAR_OLD , ACD } |
Public Attributes | |
bool | force_sbacc |
algo | s |
int | minimize_lvl |
std::optional< bench_var > | bv |
std::ostream * | verbose_stream |
option_map | opt |
bdd_dict_ptr | dict |
Benchmarking data and options for synthesis.