plvbase.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sommet.h"
#include "matrix.h"
#include "plint.h"

Include dependency graph for plvbase.c:

Go to the source code of this file.

Macros
#define	MALLOC(s, t, f)   malloc((unsigned)(s))
	package plint More...
#define	FREE(s, t, f)   free((char *)(s))

Functions
void	oter_lvbase (Psommet sys, Pvecteur lvbase)
	void oter_lvbase(Psommet sys, Pvecteur lvbase): Elimination d'une liste de variables contenues dans un vecteur dans Gomory : elimination des variables de base du systeme More...
bool	is_var_in_lvbase (Variable var, Pvecteur lvbase)
	bool is_var_in_lvbase(Variable var, Pvecteur lvbase): test de non appartenance d'une variable a un vecteur More...
void	lvbase_add (Variable var, int no_ligne, Pvecteur *lvbase)
	void lvbase_add(Variable var, int no_ligne, Pvecteur * lvbase): ajout d'un couple (variable de base, no ligne correspondante) dans la liste des variables de base du systeme More...
void	lvbase_ote_no_ligne (int no_ligne, Pvecteur *lvbase)
	void lvbase_ote_no_ligne(int no_ligne, Pvecteur * lvbase): Elimination de la variable de base correspondant au numero de ligne NO_LIGNE de la liste des variables de base du systeme. More...
Variable	find_vbase (Psommet eq, Pvecteur lvbase)
	Variable find_vbase(Psommet eq, Pvecteur lvbase): Recherche de la variable de base d'une contrainte. More...
Variable	coeff_no_ligne (Pvecteur lvbase, int no_ligne)
	Variable coeff_no_ligne(lvbase, int no_ligne): Recherche de la variable de base d'une contrainte. More...

Macro Definition Documentation

FREE

#define FREE	(		s,
			t,
			f
	)		free((char *)(s))

Definition at line 46 of file plvbase.c.

MALLOC

#define MALLOC	(		s,
			t,
			f
	)		malloc((unsigned)(s))

package plint

Definition at line 45 of file plvbase.c.

Function Documentation

coeff_no_ligne()

Variable coeff_no_ligne	(	Pvecteur	lvbase,
		int	no_ligne
	)

Variable coeff_no_ligne(lvbase, int no_ligne): Recherche de la variable de base d'une contrainte.

La contrainte est caracterisee par son numero de ligne

resultat retourne par la fonction :

Variable : numero de la variable

Les parametres de la fonction :

Pvecteur lvbase: liste des variables de base du systeme int no_ligne: numero de la ligne

Definition at line 228 of file plvbase.c.

{
    Pvecteur pv;
    Value vno_ligne = int_to_value(no_ligne);
 
    for (pv = lvbase; 
         (pv!= NULL) && value_ne(pv->val,vno_ligne); 
         pv= pv->succ);
    if (pv != NULL)
        return (pv->var);
    else 
        return((Variable) NULL);
}

References int_to_value, Svecteur::succ, Svecteur::val, value_ne, and Svecteur::var.

Referenced by sol_entiere(), sol_finale(), sol_positive(), and sol_positive_simpl().

Here is the caller graph for this function:

find_vbase()

Variable find_vbase	(	Psommet	eq,
		Pvecteur	lvbase
	)

Variable find_vbase(Psommet eq, Pvecteur lvbase): Recherche de la variable de base d'une contrainte.

resultat retourne par la fonction :

int : no de la variable de base

Les parametres de la fonction :

Psommet eq : contrainte du systeme Pvecteur lvbase: liste des variables de base du systeme

Definition at line 188 of file plvbase.c.

{
    Pvecteur pv=NULL;
    Variable var = NULL;
#ifdef TRACE
    printf(" *** recherche d'une variable de base \n");
#endif
    if (eq != NULL) {
        Value cst = vect_coeff(TCST,eq->vecteur);
        Pvecteur pv3;
        vect_chg_coeff(&(eq->vecteur),TCST,0);
        pv = vect_sort(eq->vecteur, vect_compare);
        for(pv3 =pv; pv3->succ!=NULL;pv3=pv3->succ);
        pv3->succ = vect_new(TCST,cst);
        for (;pv!= NULL 
             && ((pv->val ==0) || is_var_in_lvbase(pv->var,lvbase));
             pv=pv->succ) ;
 
        if (pv != NULL)
            var = pv->var;
        vect_rm(pv);
    }
    return (var);
}

References eq, is_var_in_lvbase(), printf(), Svecteur::succ, TCST, Svecteur::val, Svecteur::var, vect_chg_coeff(), vect_coeff(), vect_compare(), vect_new(), vect_rm(), vect_sort(), and Scontrainte::vecteur.

Referenced by gomory_eq().

Here is the call graph for this function:

Here is the caller graph for this function:

is_var_in_lvbase()

bool is_var_in_lvbase	(	Variable	var,
		Pvecteur	lvbase
	)

bool is_var_in_lvbase(Variable var, Pvecteur lvbase): test de non appartenance d'une variable a un vecteur

Ne pourais-tu pas obtenir le meme resultat avec un vect_coeff()?

resultat retourne par la fonction :

boolean : true si la variable n'appartient pas au vecteur false sinon

Les parametres de la fonction :

Pvecteur lvbase: liste des variables de base du systeme int var : variable du systeme

Definition at line 92 of file plvbase.c.

{
    Pvecteur pv;
    for (pv = lvbase; 
         pv!= NULL && ((pv->var!=var) || (pv->val == 0)); 
         pv = pv->succ) ;
    if(pv == NULL)
        return (true);
    else 
        return (false);
}

References Svecteur::succ, Svecteur::val, and Svecteur::var.

Referenced by find_vbase().

Here is the caller graph for this function:

lvbase_add()

void lvbase_add	(	Variable	var,
		int	no_ligne,
		Pvecteur *	lvbase
	)

void lvbase_add(Variable var, int no_ligne, Pvecteur * lvbase): ajout d'un couple (variable de base, no ligne correspondante) dans la liste des variables de base du systeme

Les parametres de la fonction :

Pvecteur lvbase: liste des variables de base du systeme Variable var : variable du systeme
int no_ligne: numero de la ligne

Definition at line 116 of file plvbase.c.

{
    Pvecteur pv = NULL;
    Value vno_ligne = int_to_value(no_ligne);
    Pvecteur pl = vect_new(var,vno_ligne);
    bool trouve = false;
 
    for (pv = *lvbase; pv != NULL && (pv->val != vno_ligne);pv=pv->succ);
    if (pv !=NULL) trouve = true;
    for (pv = *lvbase;( pv != NULL) &&(trouve) ;pv=pv->succ) {
        if (value_ge(pv->val,vno_ligne))
            value_increment(pv->val);
    }
    pl->succ = *lvbase;
    *lvbase = pl;
}

References int_to_value, pl, Svecteur::succ, Svecteur::val, value_ge, value_increment, and vect_new().

Referenced by add_var_sup(), dual_pivot_pas(), plint_degen(), primal_pivot(), and var_ecart_sup().

Here is the call graph for this function:

Here is the caller graph for this function:

lvbase_ote_no_ligne()

void lvbase_ote_no_ligne	(	int	no_ligne,
		Pvecteur *	lvbase
	)

void lvbase_ote_no_ligne(int no_ligne, Pvecteur * lvbase): Elimination de la variable de base correspondant au numero de ligne NO_LIGNE de la liste des variables de base du systeme.

Les parametres de la fonction :

Pvecteur lvbase: liste des variables de base du systeme int no_ligne: numero de la ligne

Definition at line 145 of file plvbase.c.

{
    Pvecteur pv;
    Pvecteur pred = *lvbase;
    Value vno_ligne = int_to_value(no_ligne);
 
#ifdef TRACE
    printf(" **** oter la variable d'indice %d \n",no_ligne);
#endif
    if (pred != NULL)
        if (value_eq(pred->val,vno_ligne))
        {
            pv = (*lvbase)->succ;
            (*lvbase)->succ = NULL;
            vect_rm(*lvbase);
            *lvbase = pv;
        }
        else {
            for (pv = (*lvbase)->succ;
                 pv!= NULL && value_ne(pv->val,vno_ligne);
                 pv = pv->succ, pred = pred->succ);
 
            if (value_eq(pv->val,vno_ligne)) {
                pred->succ = pv->succ;
                FREE(pv,VECTEUR,"ote_var_Liste");
            }
        }
}

References FREE, int_to_value, printf(), Svecteur::succ, Svecteur::val, value_eq, value_ne, vect_rm(), and VECTEUR.

Referenced by dual_pivot_pas(), plint_degen(), and primal_pivot().

Here is the call graph for this function:

Here is the caller graph for this function:

oter_lvbase()

void oter_lvbase	(	Psommet	sys,
		Pvecteur	lvbase
	)

void oter_lvbase(Psommet sys, Pvecteur lvbase): Elimination d'une liste de variables contenues dans un vecteur dans Gomory : elimination des variables de base du systeme

resultat retourne par la fonction :

Le systeme initial est modifie.

Les parametres de la fonction :

Psommet sys : systeme lineaire Pvecteur lvbase: liste des variables de base du systeme

Definition at line 61 of file plvbase.c.

{
    Psommet ps1=NULL;
    Pvecteur pv;
 
#ifdef TRACE
    printf (" **** elimination d'une liste de variables \n");
#endif
 
    for (pv = lvbase; pv!=NULL; pv = pv->succ)
        for (ps1 = sys; ps1 != NULL; ps1 = ps1->succ)
            vect_chg_coeff(&(ps1->vecteur),pv->var,0);
}

References printf(), typ_som::succ, Svecteur::succ, Svecteur::var, vect_chg_coeff(), and typ_som::vecteur.

Referenced by plint_degen().

Here is the call graph for this function:

Here is the caller graph for this function: