40 #define MALLOC(s,t,f) malloc(s)
75 printf(
" --- pas - pivoter \n");
86 for (pvec =pv3;pvec!= NULL; pvec=pvec->
succ) {
88 if (pvec->
var == NULL) cst =
true;
98 for (pvec=ligne2;pvec!= NULL;pvec = pvec->
succ)
144 printf(
" *** on effectue le pivot \n");
164 for (ps1 = sys1; ps1!= NULL; ps1=ps1->
succ)
#define value_oppose(ref)
#define value_notzero_p(val)
#define value_uminus(val)
unary operators on values
#define value_product(v, w)
#define value_substract(ref, val)
void pivoter(Psommet sys, Psommet ligne, Variable var, Psommet fonct)
void pivoter_pas(Psommet eq, Psommet ligne, Variable var)
Pcontrainte eq
element du vecteur colonne du systeme donne par l'analyse
Pvecteur vect_multiply(Pvecteur v, Value x)
Pvecteur vect_multiply(Pvecteur v, Value x): multiplication du vecteur v par le scalaire x,...
void sommets_normalize(Psommet)
void sommets_normalize(som) Normalisation des elements d'une liste de sommets i.e.
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
structure de donnees Sommet
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....
Pvecteur vect_dup(Pvecteur v_in)
Pvecteur vect_dup(Pvecteur v_in): duplication du vecteur v_in; allocation de et copie dans v_out;.
void vect_add_elem(Pvecteur *pvect, Variable var, Value val)
void vect_add_elem(Pvecteur * pvect, Variable var, Value val): addition d'un vecteur colineaire au ve...
Value vect_coeff(Variable var, Pvecteur vect)
Variable vect_coeff(Variable var, Pvecteur vect): coefficient de coordonnee var du vecteur vect —> So...
void vect_chg_coeff(Pvecteur *ppv, Variable var, Value val)
void vect_chg_coeff(Pvecteur *ppv, Variable var, Value val): mise de la coordonnee var du vecteur *pp...