Data structure gathering quantitative informations related to a MSA. This structure is filled by the function sataf_msa_get_info. More...

#include <sataf.h>

Data Fields
uint32_t	nb_shared_automata
	Number of Shared Automata used by the MSA. This number represents the number of strongly connected components of the minimal automaton.

uint32_t	nb_exit_automata
	Number of Exit Automata in this MSA. This is the number of non isomorphic strongly connected components: if there is any component is not isomorphic to another one then this field is identical to nb_shared_automata.

uint32_t	nb_states
	Total number of states. This is exactly the number of states of the minimal automaton.

uint32_t	depth
	The height of the MSA in the DAG of SCCs.

uint32_t	refcount
	The number of references to the MSA.

Detailed Description

Data structure gathering quantitative informations related to a MSA. This structure is filled by the function sataf_msa_get_info.

Definition at line 254 of file sataf.h.

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

Data Fields