| 
    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