Collaboration diagram for spot::to_parity_data:

Public Attributes
unsigned	nb_states_created = 0
	Total number of states created. More...

unsigned	nb_edges_created = 0
	Total number of edges created. More...

std::vector< std::string >	algorithms_used
	Name of algorithms used. More...

Detailed Description

Structure used by to_parity to store some information about the construction

Member Data Documentation

std::vector<std::string> spot::to_parity_data::algorithms_used

Name of algorithms used.

unsigned spot::to_parity_data::nb_edges_created = 0

Total number of edges created.

unsigned spot::to_parity_data::nb_states_created = 0

Total number of states created.

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