PIPS
Data Fields
Linearization_Stat Struct Reference

Data Fields

int nb_calls
 
int exact
 
int non_linear_decl
 
int non_linear_system
 

Detailed Description

Definition at line 123 of file translation.c.

Field Documentation

◆ exact

int Linearization_Stat::exact

Definition at line 126 of file translation.c.

Referenced by region_translation_statistics_close(), and region_translation_statistics_init().

◆ nb_calls

int Linearization_Stat::nb_calls

Definition at line 125 of file translation.c.

Referenced by region_translation_statistics_close(), and region_translation_statistics_init().

◆ non_linear_decl

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

◆ non_linear_system

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

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