PIPS
|
#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"
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... | |
Definition at line 46 of file plsolution.c.
package plint
Definition at line 45 of file plsolution.c.
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.
References coeff_no_ligne(), printf(), typ_som::succ, TCST, value_mod, value_notzero_p, vect_coeff(), and typ_som::vecteur.
Referenced by plint_pas().
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.
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().
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.
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().
Definition at line 142 of file plsolution.c.
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().