58 bool process_equalities;
63 pc = (process_equalities) ? ps->egalites : ps->inegalites;
72 if (process_equalities)
73 ps->egalites = pc = pc->
succ;
75 ps->inegalites = pc = pc->
succ;
81 if (process_equalities)
143 for (eq1 = ps->egalites;
155 for (eq2 = eq1->
succ;
162 for (eq1 = ps->inegalites;
177 for (eq2 = eq1->
succ;
201 for (eq1 = ps->egalites;
209 Pbase base_tmp = ps->base;
216 for (eq2 = eq1->
succ;
223 for (eq1 = ps->inegalites;
234 Pbase base_tmp = ps->base;
241 for (eq2 = eq1->
succ;
#define contrainte_vecteur(c)
passage au champ vecteur d'une contrainte "a la Newgen"
Pcontrainte contrainte_free(Pcontrainte c)
Pcontrainte contrainte_free(Pcontrainte c): liberation de l'espace memoire alloue a la contrainte c a...
void eq_set_vect_nul(Pcontrainte)
void_eq_set_vect_nul(Pcontrainte c): transformation d'une contrainte en une contrainte triviale 0 == ...
bool contrainte_equal(Pcontrainte, Pcontrainte)
bool contrainte_equal(Pcontrainte c1, Pcontrainte c2): test d'egalite des contraintes c1 et c2; elles...
bool egalite_equal(Pcontrainte, Pcontrainte)
bool egalite_equal(Pcontrainte eg1, Pcontrainte eg2): teste l'equivalence de deux egalites; leurs coe...
int vect_size(Pvecteur v)
package vecteur - reductions
Psysteme sc_empty(Pbase b)
Psysteme sc_empty(Pbase b): build a Psysteme with one unfeasible constraint to define the empty subsp...
void sc_rm(Psysteme ps)
void sc_rm(Psysteme ps): liberation de l'espace memoire occupe par le systeme de contraintes ps;
Psysteme sc_kill_db_eg(Psysteme ps)
Psysteme sc_kill_db_eg(Psysteme ps): elimination des egalites et des inegalites identiques ou inutile...
Psysteme sc_safe_kill_db_eg(Psysteme ps)
same as above, but returns an empty system if the system is not feasible
void sc_rm_empty_constraints(Psysteme ps, bool process_equalities)
package sc: elimination de redondance simple
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
void vect_rm(Pvecteur v)
void vect_rm(Pvecteur v): desallocation des couples de v;