spot::to_parity_data Struct Reference

#include <spot/twaalgos/toparity.hh>

Collaboration diagram for spot::to_parity_data:

Public Attributes
unsigned	nb_states_created = 0
	Total number of states created.
unsigned	nb_edges_created = 0
	Total number of edges created.
std::vector< std::string >	algorithms_used
	Name of algorithms used.

Detailed Description

Structure used by to_parity to store some information about the construction

Member Data Documentation

algorithms_used

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

Name of algorithms used.

nb_edges_created

unsigned spot::to_parity_data::nb_edges_created = 0

Total number of edges created.

nb_states_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:

• spot/twaalgos/toparity.hh