|
TaPAS
0.2
|
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. | |
Data structure gathering quantitative informations related to a MSA. This structure is filled by the function sataf_msa_get_info.
1.8.5