PIPS
Data Fields
Phi_Elimination_Stat Struct Reference

Data Fields

int nb_calls
 
int exact_input
 
int exact
 

Detailed Description

Definition at line 145 of file translation.c.

Field Documentation

◆ exact

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().

◆ exact_input

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().

◆ nb_calls

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().

The documentation for this struct was generated from the following file: