PIPS
|
Data Fields | |
int | nb_calls |
int | exact |
int | non_linear_decl |
int | non_linear_system |
Definition at line 123 of file translation.c.
int Linearization_Stat::exact |
Definition at line 126 of file translation.c.
Referenced by region_translation_statistics_close(), and region_translation_statistics_init().
int Linearization_Stat::nb_calls |
Definition at line 125 of file translation.c.
Referenced by region_translation_statistics_close(), and region_translation_statistics_init().
int Linearization_Stat::non_linear_decl |
Definition at line 127 of file translation.c.
Referenced by region_translation_statistics_close(), and region_translation_statistics_init().
int Linearization_Stat::non_linear_system |
Definition at line 128 of file translation.c.
Referenced by region_translation_statistics_close(), and region_translation_statistics_init().