#include <stdio.h>
#include <string.h>
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "polyedre.h"
Go to the source code of this file.
|
| main (int argc, argv) |
| test de la conversion d'un systeme d'equations et d'inequations en un systeme generateur More...
|
|
◆ main()
test de la conversion d'un systeme d'equations et d'inequations en un systeme generateur
Francois Irigoin, Decembre 1989
systeme generateur sg
lecture du systeme
conversion
construction du polyedre (sc, sg)
Definition at line 49 of file sc_to_sg_test1.c.
58 char * filename =
"stdin";
62 fprintf(stderr,
"Lecture sur stdin\n");
65 filename =
strdup(argv[1]);
66 if((
f = fopen(filename,
"r")) == NULL) {
67 fprintf(stderr,
"Ouverture du fichier %s impossible\n",
73 fprintf(stderr,
"Usage: sc_fscan_print [filename]\n");
79 fprintf(stderr,
"syntaxe correcte dans %s\n",filename);
83 fprintf(stderr,
"erreur de syntaxe dans %s\n",filename);
95 printf(
"apres elimination de redondance\n");
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])
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 ...
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.
References exit, f(), fprintf(), printf(), sc_fprint(), sc_fscan(), sg, sg_fprint(), strdup(), and variable_default_name().