PIPS
|
Data Fields | |
int | nb_calls |
int | exact_input |
int | exact |
Definition at line 152 of file translation.c.
int Predicate_Translation::exact |
Definition at line 156 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().
int Predicate_Translation::exact_input |
Definition at line 155 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().
int Predicate_Translation::nb_calls |
Definition at line 154 of file translation.c.
Referenced by region_translation(), region_translation_statistics_close(), and region_translation_statistics_init().