PIPS
|
Data Fields | |
int | nb_calls |
int | exact_input |
int | exact |
Definition at line 138 of file translation.c.
int Beta_Elimination_Stat::exact |
Definition at line 142 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().
int Beta_Elimination_Stat::exact_input |
Definition at line 141 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().
int Beta_Elimination_Stat::nb_calls |
Definition at line 140 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().