plsolution.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 plsolution.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
bool	sol_entiere (Psommet sys, Pvecteur lvbase, int nb_som)
	bool sol_entiere(Psommet sys, Pvecteur lvbase, int nb_som): Cette fonction teste si la solution est entiere More...
bool	sol_positive (Psommet sys, Pvecteur lvbase, int nb_som)
	bool sol_positive(Psommet sys, Pvecteur lvbase, int nb_som): Cette fonction teste si la solution est positive More...
bool	sol_positive_simpl (Psommet sys, Pvecteur lvbase, Pvecteur lvsup, int nb_som)
Psolution	sol_finale (Psommet sys, Pvecteur lvbase, int nb_som)
	Psolution sol_finale(Psommet sys, Pvecteur lvbase, int nb_som): Calcul de la solution finale du programme lineaire a partir du systeme final et de la liste des variables de base. More...

Macro Definition Documentation

FREE

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

Definition at line 46 of file plsolution.c.

MALLOC

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

package plint

Definition at line 45 of file plsolution.c.

Function Documentation

sol_entiere()

bool sol_entiere	(	Psommet	sys,
		Pvecteur	lvbase,
		int	nb_som
	)

bool sol_entiere(Psommet sys, Pvecteur lvbase, int nb_som): Cette fonction teste si la solution est entiere

resultat retourne par la fonction :

boolean : true si la solution est entiere false sinon

Les parametres de la fonction :

Psommet sys : systeme lineaire Pvecteur lvbase: liste des variables de base du systeme int nb_som : nombre de contraintes du systeme

Definition at line 62 of file plsolution.c.

{
    Psommet ps1=NULL;
    Variable var =NULL;
    bool result = true;
    Value cv;
#ifdef TRACE
    printf(" ** la solution est elle entiere ? \n");
#endif
 
    for (ps1 = sys; ps1!= NULL && result;ps1 = ps1->succ) {
        var = coeff_no_ligne(lvbase,nb_som);
        if (var != NULL 
            &&  value_notzero_p(cv = vect_coeff(var,ps1->vecteur))
            && value_notzero_p(value_mod(vect_coeff(TCST,ps1->vecteur),cv)))
            result = false;
        nb_som --;
    }
    if (sys == NULL)
        result = false;
    return (result);
}

References coeff_no_ligne(), printf(), typ_som::succ, TCST, value_mod, value_notzero_p, vect_coeff(), and typ_som::vecteur.

Referenced by plint_pas().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_finale()

Psolution sol_finale	(	Psommet	sys,
		Pvecteur	lvbase,
		int	nb_som
	)

Psolution sol_finale(Psommet sys, Pvecteur lvbase, int nb_som): Calcul de la solution finale du programme lineaire a partir du systeme final et de la liste des variables de base.

resultat retourne par la fonction :

Psolution : solution finale NULL : si le systeme est infaisable

Les parametres de la fonction :

Psommet sys : systeme lineaire Pvecteur lvbase: liste des variables de base du systeme int nb_som : nombre de contraintes du systeme

Definition at line 194 of file plsolution.c.

{
    Psommet ps1=NULL;
    Psolution sol = NULL;
    Psolution sol1 = NULL;
    Variable var =NULL;
 
#ifdef TRACE
    printf(" ** la solution finale est: \n");
 
#endif
 
    for (ps1 = sys; ps1!= NULL;ps1 = ps1->succ) {
        var = coeff_no_ligne(lvbase,nb_som);
 
        if (var != TCST) {
            sol1 = (Psolution)MALLOC(sizeof(Ssolution),
                                     SOLUTION,"sol_finale");
            sol1->var = var;
            sol1->val = value_uminus(vect_coeff(TCST,ps1->vecteur));
            sol1->denominateur = vect_coeff(var,ps1->vecteur);
            sol1->succ = sol;
            sol = sol1;
#ifdef TRACE
            (void) printf (" %s == %f; ",
                           noms_var(sol1->var),
                           (double)(sol1->val / sol1->denominateur));
#endif
        }
        nb_som --;
    }
#ifdef TRACE
 
    printf ("\n");
#endif
    return (sol);
}

References coeff_no_ligne(), Ssolution::denominateur, MALLOC, noms_var(), printf(), SOLUTION, Ssolution::succ, typ_som::succ, TCST, Ssolution::val, value_uminus, Ssolution::var, vect_coeff(), and typ_som::vecteur.

Referenced by plint().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_positive()

bool sol_positive	(	Psommet	sys,
		Pvecteur	lvbase,
		int	nb_som
	)

bool sol_positive(Psommet sys, Pvecteur lvbase, int nb_som): Cette fonction teste si la solution est positive

On deduit la solution du systeme lineaire a l'aide de la liste des variables de base du systeme. Chaque variable de base n'apparait que dans une des contraintes du systeme. La valeur d'une variable de base dans le systeme est egale a la constante de la contrainte divisee par le coefficient de la variable dans cette contrainte.

resultat retourne par la fonction :

boolean : true si la solution est positive false sinon

Les parametres de la fonction :

Psommet sys : systeme lineaire Pvecteur lvbase: liste des variables de base du systeme int nb_som : nombre de contraintes du systeme

Definition at line 107 of file plsolution.c.

{
    Psommet ps1=NULL;
    Value in1 = VALUE_ZERO;
    Variable var = NULL;
    Value b;
    bool result = true;
 
#ifdef TRACE
    printf(" ** la solution est elle positive ? \n");
#endif
 
    for (ps1 = sys; ps1!= NULL && result;ps1 = ps1->succ) {
        var = coeff_no_ligne(lvbase,nb_som);
        if (var != NULL) {
            Value v1 = 0;       
            b = value_uminus(vect_coeff(TCST,ps1->vecteur));
            if ( value_notzero_p(v1 = vect_coeff(var,ps1->vecteur)))
                in1 = value_div(b,v1);
            if (value_neg_p(in1)) {
                result = false; 
                printf ("sol. negative \n");
            }
        }
        nb_som --;
    }
    if (sys == NULL)
        result = false;
    return (result);
}

References coeff_no_ligne(), printf(), typ_som::succ, TCST, value_div, value_neg_p, value_notzero_p, value_uminus, VALUE_ZERO, vect_coeff(), and typ_som::vecteur.

Referenced by dual_positive(), and plint_pas().

Here is the call graph for this function:

Here is the caller graph for this function:

sol_positive_simpl()

bool sol_positive_simpl	(	Psommet	sys,
		Pvecteur	lvbase,
		Pvecteur	lvsup,
		int	nb_som
	)

Definition at line 142 of file plsolution.c.

{
    Psommet ps1=NULL;
    Value in1 = VALUE_ZERO;
    Variable var = NULL;
    Value b;
    bool result = true;
 
#ifdef TRACE
    printf(" ** la solution est elle positive ? \n");
#endif
 
    for (ps1 = sys; ps1!= NULL && result;ps1 = ps1->succ) {
        var = coeff_no_ligne(lvbase,nb_som);
        if (var != NULL) {
            Value v1 = 0,tmp;   
            b = value_uminus(vect_coeff(TCST,ps1->vecteur));
            if ( value_notzero_p(v1 = vect_coeff(var,ps1->vecteur)))
                in1 = value_div(b,v1);
            tmp = vect_coeff(var,lvsup);
            if ((value_neg_p(in1) && value_zero_p(tmp))
                 || (value_pos_p(in1) && value_notzero_p(tmp)))
            {
                result = false; 
                printf ("sol. negative \n");
            }
        }
        nb_som --;
    }
    if (sys == NULL)
        result = false;
    return (result);
}

References coeff_no_ligne(), printf(), typ_som::succ, TCST, value_div, value_neg_p, value_notzero_p, value_pos_p, value_uminus, VALUE_ZERO, value_zero_p, vect_coeff(), and typ_som::vecteur.

Referenced by primal_positive().

Here is the call graph for this function:

Here is the caller graph for this function: