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.