Benchmarking data and options for synthesis. More...

#include <spot/twaalgos/synthesis.hh>

Collaboration diagram for spot::synthesis_info:

Classes
struct	bench_var
	Benchmarking variables tracking timing and counts for each step of synthesis. More...

Public Types
enum class	algo { DET_SPLIT = 0 , SPLIT_DET , DPA_SPLIT , LAR , LAR_OLD , ACD }
	Algorithm selection for synthesis. More...

enum class	splittype { AUTO = 0 , EXPL , SEMISYM , FULLYSYM }
	Splitting strategy for 2-step games. More...

Public Attributes
bool	force_sbacc
	Force state-based acceptance. More...

algo	s
	Selected algorithm. More...

int	minimize_lvl
	Minimization level. More...

splittype	sp
	Splitting strategy. More...

std::optional< bench_var >	bv
	Benchmarking data. More...

std::ostream *	verbose_stream
	Verbose output stream. More...

option_map	opt
	Additional options. More...

bool	moore
	Use Moore (output-first) semantics instead of Mealy. More...

bdd_dict_ptr	dict
	BDD dictionary. More...

Detailed Description

Benchmarking data and options for synthesis.

Member Enumeration Documentation

◆ algo

enum spot::synthesis_info::algo

strong

Algorithm selection for synthesis.

◆ splittype

enum spot::synthesis_info::splittype

strong

Splitting strategy for 2-step games.

Member Data Documentation

◆ bv

std::optional<bench_var> spot::synthesis_info::bv

Benchmarking data.

◆ dict

bdd_dict_ptr spot::synthesis_info::dict

BDD dictionary.

◆ force_sbacc

bool spot::synthesis_info::force_sbacc

Force state-based acceptance.

◆ minimize_lvl

int spot::synthesis_info::minimize_lvl

Minimization level.

◆ moore

bool spot::synthesis_info::moore

Use Moore (output-first) semantics instead of Mealy.

◆ opt

option_map spot::synthesis_info::opt

Additional options.

◆ s

algo spot::synthesis_info::s

Selected algorithm.

◆ sp

splittype spot::synthesis_info::sp

Splitting strategy.

◆ verbose_stream

std::ostream* spot::synthesis_info::verbose_stream

Verbose output stream.

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

spot/twaalgos/synthesis.hh

Classes

Public Types

Public Attributes