PIPS
|
Go to the source code of this file.
Macros | |
#define | BUFFER_SIZE 50 |
this seems a reasonnable upperbound More... | |
Functions | |
void | print_Value (Value v) |
package arithmetic More... | |
void | fprint_Value (FILE *f, Value v) |
void | fprint_string_Value (FILE *f, char *blah, Value v) |
void | sprint_Value (char *s, Value v) |
int | fscan_Value (FILE *f, Value *pv) |
int | scan_Value (Value *pv) |
int | sscan_Value (char *s, Value *pv) |
char * | Value_to_string (Value v) |
void fprint_string_Value | ( | FILE * | f, |
char * | blah, | ||
Value | v | ||
) |
blah | lah |
Definition at line 47 of file io.c.
References f(), and fprint_Value().
Referenced by build_sc_machine(), calculate_delay(), evaluate_var_to_complexity(), make_movements_loop_body_wp65(), print_cone_vecteur(), print_dependence_cone(), print_vect_in_vertice_val(), region_translation_init(), and TestDiVariables().
void fprint_Value | ( | FILE * | f, |
Value | v | ||
) |
Definition at line 42 of file io.c.
References f(), fprintf(), and VALUE_FMT.
Referenced by adg_contrainte_fprint(), build1(), choose(), computebounds(), contrainte_fprint(), coupe(), evaluate_var_to_complexity(), fast(), fastplus(), findandmod(), fourier1(), fprint_contrainte_vecteur(), fprint_string_Value(), gcdtest(), igvoir3(), inequaldivision(), ipivotage2(), iprimal(), iprimalplus(), is2(), lowbound(), majlowbounds(), majuu(), matrice_fprint(), matrix_fprint(), matrix_pr_quot(), pr_quot(), pu_contrainte_fprint(), pu_vect_fprint(), sc_minmax_of_variable2(), sommet_fprint(), sommet_fprint_as_dense(), splitpb(), tableau_janus(), term(), upperbound(), vect_fprint(), vect_fprint_as_dense(), vect_gen_write(), voirbornes(), vzcut(), and wvoir().
pv | v |
Definition at line 58 of file io.c.
References f(), and VALUE_FMT.
Referenced by matrice_fscan(), and matrix_fscan().
void print_Value | ( | Value | v | ) |
package arithmetic
io.c
IO on a Value
Definition at line 37 of file io.c.
References printf(), and VALUE_FMT.
Referenced by __attribute__(), add_var_sup(), eq_in_ineq(), lignes_entrant(), printfrac(), and var_ecart_sup().
pv | v |
Definition at line 63 of file io.c.
References VALUE_FMT.
Referenced by fonct_read(), and vect_read().
void sprint_Value | ( | char * | s, |
Value | v | ||
) |
Definition at line 53 of file io.c.
References VALUE_FMT.
Referenced by heuristique_1(), heuristique_3(), and vect_sprint_as_monome().
pv | v |
Definition at line 68 of file io.c.
References VALUE_FMT.
Referenced by vect_gen_read().
char* Value_to_string | ( | Value | v | ) |
Definition at line 76 of file io.c.
References buf, BUFFER_SIZE, and VALUE_FMT.
Referenced by add_Value_to_current_line().