36 #include <sys/types.h>
76 if ((
syst_in = fopen(nomfic,
"r")) == NULL) {
78 "Ouverture du fichier %s impossible\n",nomfic);
144 if(!SC_UNDEFINED_P(sc)) {
147 (void)
fprintf(stderr,
"INEGALITES (%d) ",sc_nbre_inegalites(sc));
148 (void)
fprintf(stderr,
"EGALITES (%d) ",sc_nbre_egalites(sc));
152 (void)
fprintf(stderr,
"\nVAR ");
160 (
void)
fprintf(stderr,
"SC_RN or SC_EMPTY or SC_UNDEFINED\n");
172 if(!SC_UNDEFINED_P(sc)) {
174 (void)
fprintf(stderr,
"INEGALITES (%d) ",sc_nbre_inegalites(sc));
175 (void)
fprintf(stderr,
"EGALITES (%d) ",sc_nbre_egalites(sc));
176 (void)
fprintf(stderr,
"\nVAR ");
184 (
void)
fprintf(stderr,
"SC_RN ou SC_EMPTY ou SC_UNDEFINED\n");
262 if(!SC_UNDEFINED_P(sc)) {
264 (void)
fprintf(
f,
"INEGALITES (%d) ",sc_nbre_inegalites(sc));
265 (void)
fprintf(
f,
"EGALITES (%d) ",sc_nbre_egalites(sc));
274 (void)
fprintf(
f,
"SC_RN ou SC_EMPTY ou SC_UNDEFINED\n");
291 char *directory_name;
294 char fn[512], *filename;
297 filename =
"_sc.out";
298 if (directory_name==NULL)
299 directory_name =
"SC_OUT_DEFAULT";
300 d = chdir(directory_name);
302 mkdir(directory_name,S_IRWXU);
303 d = chdir(directory_name);
307 snprintf(fn,
sizeof(fn),
"%d%s",sc_nb,filename);
309 if ((
f = fopen(fn,
"w")) != NULL) {
310 if(!SC_UNDEFINED_P(sc)) {
311 (void)
fprintf(
f,
"#DIMENSION (%d) ",sc->dimension);
312 (void)
fprintf(
f,
"INEGALITES (%d) ",sc_nbre_inegalites(sc));
313 (void)
fprintf(
f,
"EGALITES (%d) ",sc_nbre_egalites(sc));
323 (void)
fprintf(
f,
"SC_RN ou SC_EMPTY ou SC_UNDEFINED\n");
327 fprintf(stderr,
"Ouverture du fichier %s impossible\n",fn);
330 fprintf(stderr,
"chdir(\"..\") failed\n");
void inegalites_fprint(FILE *, Pcontrainte, char *(*)(Variable))
void egalite_fprint(FILE *, Pcontrainte, char *(*)(Variable))
void inegalite_fprint(FILE *, Pcontrainte, char *(*)(Variable))
void egalites_fprint(FILE *, Pcontrainte, char *(*)(Variable))
void base_fprint(FILE *f, Pbase b, get_variable_name_t variable_name)
void base_fprint(FILE * f, Pbase b, char * (*variable_name)()): impression d'une base sur le fichier ...
char *(* variable_debug_name)(Variable)
Debug support: pointer to the function used by debug print outs.
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
char * default_variable_to_string(Variable v)
void sc_fprint(FILE *fp, Psysteme ps, get_variable_name_t nom_var)
void sc_fprint(FILE * f, Psysteme ps, char * (*nom_var)()): cette fonction imprime dans le fichier po...
void sc_print(Psysteme ps, get_variable_name_t nom_var)
void sc_print()
void sc_default_dump_to_files(Psysteme sc, int sc_nb, char *directory_name)
void sc_default_dump_to_files(Psysteme sc, sc_nb,directory_name):
Psysteme * sc_read(char *nomfic)
Psysteme * sc_read(char * nomfic): construit un systeme d'inegalites lineaires a partir d'une represe...
void sc_fprint_for_sc_fscan(FILE *f, Psysteme sc, char *(*nom_var)(Variable))
void sc_fprint_for_sc_fscan(FILE *f, Psysteme sc, char * (*nom_var)(Variable))
bool syst_syntax_error
detection des erreurs de syntaxe par sc_gram.y
FILE * syst_in
fichier lu par sc_lex.l
bool sc_fscan(FILE *f, Psysteme *ps)
bool sc_fscan(FILE * f, Psysteme * ps): construit un systeme d'inegalites et d'egalites lineaires a p...
void sc_dump(Psysteme sc)
void sc_dump(Psysteme sc): dump to stderr
void sc_default_dump(Psysteme sc)
void sc_default_dump(Psysteme sc): dump to stderr
Psysteme ps_yacc
package sc
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
Psysteme sc_reversal(Psysteme sc)
Psysteme sc_reversal(Psysteme sc)
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
char *(* get_variable_name_t)(Variable)
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....