TaPAS  0.2
Data Fields
sataf_msa_info Struct Reference

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: