spot::synthesis_info Struct Reference

Benchmarking data and options for synthesis. More...

#include <spot/twaalgos/synthesis.hh>

Collaboration diagram for spot::synthesis_info:

Classes
struct	bench_var

Public Types
enum class	algo {   DET_SPLIT = 0 , SPLIT_DET , DPA_SPLIT , LAR ,   LAR_OLD , ACD }
enum class	splittype { AUTO = 0 , EXPL , SEMISYM , FULLYSYM }

Public Attributes
bool	force_sbacc
algo	s
int	minimize_lvl
splittype	sp
std::optional< bench_var >	bv
std::ostream *	verbose_stream
option_map	opt
bdd_dict_ptr	dict

Detailed Description

Benchmarking data and options for synthesis.

---

The documentation for this struct was generated from the following file:

• spot/twaalgos/synthesis.hh