PIPS
|
Data Fields | |
int | nb_calls |
int | exact_input |
int | exact |
Definition at line 145 of file translation.c.
int Phi_Elimination_Stat::exact |
Definition at line 149 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().
int Phi_Elimination_Stat::exact_input |
Definition at line 148 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().
int Phi_Elimination_Stat::nb_calls |
Definition at line 147 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().