#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 du calcul de l'elargissement de deux polyedres More...
|
|
◆ main()
test du calcul de l'elargissement de deux polyedres
Francois Irigoin, Decembre 1989
lecture du premier systeme
lecture du deuxieme systeme
mise de s2 dans la base de s1. On admet que la base de s1 contient la base de s2
conversion en polyedres
Definition at line 48 of file elarg_test.c.
61 fprintf(stdout,
"Usage: %s sc1 sc2\n",argv[0]);
65 if((f1 = fopen(argv[1],
"r")) == NULL) {
66 fprintf(stdout,
"Ouverture du fichier %s impossible\n",
71 if((
f2 = fopen(argv[2],
"r")) == NULL) {
72 fprintf(stdout,
"Ouverture du fichier %s impossible\n",
79 fprintf(stderr,
"syntaxe correcte dans %s\n",argv[1]);
83 fprintf(stderr,
"erreur de syntaxe dans %s\n",argv[1]);
89 fprintf(stderr,
"syntaxe correcte dans %s\n",argv[2]);
93 fprintf(stderr,
"erreur de syntaxe dans %s\n",argv[2]);
105 p_elarg = elarg(p1, p2);
char * variable_default_name(Variable v)
char * variable_default_name(Variable v): returns the name of variable v
int f2(int off1, int off2, int w, int n, float r[n], float a[n], float b[n])
Psysteme sc_translate(Psysteme s, Pbase b, char *(*variable_name)())
Psysteme sc_translate(Psysteme s, Pbase b, char * (*variable_name)()): reecriture du systeme s dans l...
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 ...
References exit, f2(), fprintf(), s1, sc_fprint(), sc_fscan(), sc_translate(), and variable_default_name().