65 char * filename =
"stdin";
75 filename =
strdup(argv[1]);
76 if((
f = fopen(filename,
"r")) == NULL) {
77 fprintf(stderr,
"Cannot open file %s\n", filename);
82 fprintf(stderr,
"Usage: test_chernikova [filename]\n");
88 printf(
"Initial constraint system:\n");
92 printf(
"Generating system\n");
97 printf(
"Regenerated constraint system:\n");
101 fprintf(stderr,
"syntax error in %s\n",filename);
Psysteme sg_to_sc_chernikova(Ptsg sg)
Ptsg sc_to_sg_chernikova(Psysteme sc)
chernikova_mulprec.c
char * variable_default_name(Variable v)
char * variable_default_name(Variable v): returns the name of variable v
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
Psysteme sc_new(void)
Psysteme sc_new(): alloue un systeme vide, initialise tous les champs avec des valeurs nulles,...
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...
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...
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
Ptsg sg_new()
Ptsg sg_new(): allocation d'un systeme generateur et initialisation a la valeur ensemble vide.
void sg_fprint(FILE *f, Ptsg sg, char *(*nom_var)(Variable))
void sg_fprint(FILE * f, Ptsg sg, char * (*nom_var)()): impression d'un systeme generateur
Representation d'un systeme generateur par trois ensembles de sommets de rayons et de droites.
int main(int argc, char **argv)
struct vector vector
test de chernikovaa