|
spot
2.10.0.dev
|
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 } |
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.
1.9.1