25 #include "pips_config.h"
52 #define PIP_IN_FILE "pip_in"
57 #define ERREUR_TAILLE 3
89 fprintf(nom_fichier,
"(%s (variables", commentaire);
96 p_vecteur_aux = p_vecteur_aux->
succ;
104 fprintf(nom_fichier,
") (parametres");
105 while (p_vecteur_aux != NULL) {
109 p_vecteur_aux = p_vecteur_aux->
succ;
148 void ecrit_ligne(p_vect, p_sys_base, nom_fichier, nb_var, eg_ineg)
160 for( ; (p_vect_aux != NULL) || (
aux <= nb_var) ;
aux++) {
167 p_vect_aux = p_vect_aux->
succ;
176 fprintf(nom_fichier,
"%i", val);
178 fprintf(nom_fichier,
"%i", -val);
214 if (p_syst_tab != NULL)
216 p_contr_tab_aux = p_syst_tab->
egalites;
218 while (p_contr_tab_aux != NULL) {
223 p_contr_tab_aux = p_contr_tab_aux->
succ;
227 while (p_contr_tab_aux != NULL) {
230 p_contr_tab_aux = p_contr_tab_aux->
succ;
273 int nb_var, bg , nb_var_cont;
278 int aux, aux1,nb_par;
281 if (nom_fichier == NULL)
286 fprintf(nom_fichier,
"%1d", nb_var);
291 fprintf(nom_fichier,
" %1d", nb_par);
293 fprintf(nom_fichier,
" %1d", aux1);
294 if (p_syst_cont != NULL)
302 fprintf(nom_fichier,
" %1d %1d 1\n", aux1, bg);
311 return fclose(nom_fichier);
void const char const char const int
void ecrit_commentaire2(char *commentaire, Psysteme p_sys_tab, int nb_var, FILE *nom_fichier)
Name: ecrit_commentaire2
void ecrit_ligne(Pvecteur p_vect, Pbase p_sys_base, FILE *nom_fichier, int nb_var, int eg_ineg)
Name: ecrit_ligne
int ecrit_probleme2(char *commentaire, Psysteme p_syst_tab, Psysteme p_syst_cont, int nb_var, int bg, int nb_var_cont)
Name: ecrit_probleme2.
#define PIP_IN_FILE
Name : ps_to_fic_pip.c Package : pip Author : F.
int ecrit_tableau2(Psysteme p_syst_tab, int nb_var, FILE *nom_fichier)
Name: ecrit_tableau2.
const char * entity_local_name(entity e)
entity_local_name modified so that it does not core when used in vect_fprint, since someone thought t...
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
struct Svecteur * Pvecteur
Value vect_coeff(Variable var, Pvecteur vect)
Variable vect_coeff(Variable var, Pvecteur vect): coefficient de coordonnee var du vecteur vect —> So...