PIPS
Predicate_Translation Struct Reference

Data Fields

int nb_calls
 
int exact_input
 
int exact
 

Detailed Description

Definition at line 152 of file translation.c.

Field Documentation

◆ exact

int Predicate_Translation::exact

◆ exact_input

int Predicate_Translation::exact_input

◆ nb_calls

int Predicate_Translation::nb_calls

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