PIPS
|
Go to the source code of this file.
Functions | |
Entier | sol_pgcd () |
lint More... | |
int | llog (Entier x) |
int | chercher (Tableau *p, int masque, int n) |
Tableau * | expanser (Tableau *tp, int virt, int reel, int ncol, int off, int dh, int dw) |
il est convenu que traiter ne doit modifier ni le tableau, ni le contexte; le tableau peut grandir en cas de coupure (+1 en hauteur et +1 en largeur si nparm != 0) et en cas de partage (+1 en hauteur)(seulement si nparm != 0). More... | |
int | exam_coef (Tableau *tp, int nvar, int ncol, int bigparm) |
void | traiter () |
void | compa_test (Tableau *tp, Tableau *context, int ni, int nvar, int nparm, int nc) |
Entier | valeur (Tableau *tp, int i, int j, Entier D) |
void | solution (Tableau *tp, int nvar, int nparm, Entier D) |
int | choisir_piv (Tableau *tp, int pivi, int nvar, int nligne, Entier D) |
int | pivoter (Tableau *tp, int pivi, Entier D, int nvar, int nparm, int ni) |
void | traiter (Tableau *tp, Tableau *ctxt, int iq, Entier D, int nvar, int nparm, int ni, int nc, int bigparm) |
dans cette version, "traiter" modifie ineq; par contre le contexte est immediatement recopie' More... | |
Variables | |
static char | vcid_pip_traiter [] = "$Id: traiter.c 23065 2016-03-02 09:05:50Z coelho $" |
fprintf(stderr, "%d ", pivj);
Definition at line 203 of file traiter.c.
References cross_product, D, Index, pivot(), valeur(), and x.
Referenced by pivoter().
Definition at line 124 of file traiter.c.
References Critic, Entier, exit, expanser(), False, Flag, fprintf(), Index, is_not_Nil(), MAXPARM, Minus, Plus, sol_hwm(), sol_reset(), tab_hwm(), tab_reset(), traiter(), True, UN, Unknown, and Zero.
Referenced by traiter().
il est convenu que traiter ne doit modifier ni le tableau, ni le contexte; le tableau peut grandir en cas de coupure (+1 en hauteur et +1 en largeur si nparm != 0) et en cas de partage (+1 en hauteur)(seulement si nparm != 0).
le contexte peut grandir en cas de coupure (+2 en hauteur et +1 en largeur) (seulement si nparm !=0) et en cas de partage (+1 en hauteur)(nparm !=0). On estime le nombre de coupures a llog(D) et le nombre de partages a ni.
Definition at line 64 of file traiter.c.
References Entier, Flag, Index, L::objet, T::row, tab_alloc(), L::unit, Unit, and L::val.
Referenced by compa_test(), and traiter().
if((cross_product % 10000) == 0) fprintf(stderr,"%ld pivotements\n\r", cross_product);
Definition at line 232 of file traiter.c.
References choisir_piv(), cross_product, D, dump, Entier, exit, Flag, FORMAT, fprintf(), Index, MAXCOL, Minus, pivot(), Plus, tab_display(), Unit, Unknown, verbose, x, and Zero.
Referenced by traiter().
Definition at line 188 of file traiter.c.
References D, sol_forme(), sol_list(), sol_val(), and valeur().
Referenced by iprimalplus(), and traiter().
void traiter | ( | ) |
Referenced by compa_test(), pip_solve(), pip_solve_min_with_big(), and traiter().
void traiter | ( | Tableau * | tp, |
Tableau * | ctxt, | ||
int | iq, | ||
Entier | D, | ||
int | nvar, | ||
int | nparm, | ||
int | ni, | ||
int | nc, | ||
int | bigparm | ||
) |
dans cette version, "traiter" modifie ineq; par contre le contexte est immediatement recopie'
il y a une ligne connue negative
il y a une ligne ou tous les coefficients sont negatif
on trouve une ligne negative apres test de compatibilite'
on a trouve' une ligne de signe indetermine', et donc on divise le probleme en deux
Ici, on a trouve' une solution. Est-elle entiere ?
if(non_borne(tp, nvar, D, bigparm)) { sol_nil(); break; }
Oui, elle est entiere, ou bien on s'en fiche (iq == 0)
dans tout les cas ou on a trouve' une ligne ne'gative, on vient ici pour effectuer l'echange variable dependante <-> variable independante
Definition at line 303 of file traiter.c.
References chercher(), compa_test(), Critic, cross_product, D, Entier, exam_coef(), exit, expanser(), Flag, fprintf(), Index, integrer(), llog(), MAXPARM, Minus, pivoter(), Plus, printf(), sol_forme(), sol_if(), sol_nil(), sol_pgcd(), sol_val(), solution(), tab_hwm(), tab_reset(), traiter(), UN, Unknown, and x.
Definition at line 178 of file traiter.c.
References D, Flag, Index, and Unit.
Referenced by choisir_piv(), options_panel_notify(), sc_min(), sc_simplex_feasibility_ofl_ctrl_fixprec(), and solution().