61 char * filename =
"stdin";
70 fprintf(stdout,
"Usage: %s sc1 sc2\n",argv[0]);
74 if((f1 = fopen(argv[1],
"r")) == NULL) {
75 fprintf(stdout,
"Ouverture du fichier %s impossible\n",
80 if((
f2 = fopen(argv[2],
"r")) == NULL) {
81 fprintf(stdout,
"Ouverture du fichier %s impossible\n",
88 fprintf(stderr,
"syntaxe correcte dans %s\n",argv[1]);
94 fprintf(stderr,
"erreur de syntaxe dans %s\n",argv[1]);
101 fprintf(stderr,
"syntaxe correcte dans %s\n",argv[2]);
106 fprintf(stderr,
"erreur de syntaxe dans %s\n",argv[2]);
121 if (SC_RN_P(s2) ||
sc_rn_p(s2) || sc_dimension(s2)==0
124 sc2 = sc_elim_redond(sc2);
128 ||
sc_empty_p(s2) || !sc_faisabilite_ofl(s2)) {
130 sc1 = sc_elim_redond(sc1);
137 s = sc_common_projection_convex_hull(
s1,s2);
140 printf(
"systeme correspondant \n");
#define A(i, j)
comp_matrice.c
int vect_size(Pvecteur v)
package vecteur - reductions
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...
bool sc_weak_consistent_p(Psysteme sc)
check that sc is well defined, that the numbers of equalities and inequalities are consistent with th...
bool sc_rn_p(Psysteme sc)
bool sc_rn_p(Psysteme sc): check if the set associated to sc is the whole space, rn
Psysteme sc_empty(Pbase b)
Psysteme sc_empty(Pbase b): build a Psysteme with one unfeasible constraint to define the empty subsp...
Psysteme sc_new(void)
Psysteme sc_new(): alloue un systeme vide, initialise tous les champs avec des valeurs nulles,...
bool sc_empty_p(Psysteme sc)
bool sc_empty_p(Psysteme sc): check if the set associated to sc is the constant sc_empty or not.
Psysteme sc_dup(Psysteme ps)
Psysteme sc_dup(Psysteme ps): should becomes a link.
main(int argc, char **argv)
Test de l'enveloppe convexe de deux systemes.
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.
Representation d'un systeme generateur par trois ensembles de sommets de rayons et de droites.
Pbase base_dup(Pbase b)
Pbase base_dup(Pbase b) Note: this function changes the value of the pointer.