45 #define MALLOC(s,t,f) malloc((unsigned)(s))
46 #define FREE(s,t,f) free((char *)(s))
72 printf(
" ** la solution est elle entiere ? \n");
75 for (ps1 = sys; ps1!= NULL && result;ps1 = ps1->
succ) {
119 printf(
" ** la solution est elle positive ? \n");
122 for (ps1 = sys; ps1!= NULL && result;ps1 = ps1->
succ) {
131 printf (
"sol. negative \n");
155 printf(
" ** la solution est elle positive ? \n");
158 for (ps1 = sys; ps1!= NULL && result;ps1 = ps1->
succ) {
170 printf (
"sol. negative \n");
205 printf(
" ** la solution finale est: \n");
209 for (ps1 = sys; ps1!= NULL;ps1 = ps1->
succ) {
221 (void)
printf (
" %s == %f; ",
#define value_notzero_p(val)
#define value_uminus(val)
unary operators on values
#define value_zero_p(val)
#define value_mod(v1, v2)
#define value_div(v1, v2)
char * noms_var(entity e)
comp_expr_to_pnome.c
struct Ssolution * Psolution
#define SOLUTION
package plint: programmation lineaire en nombres entiers
#define MALLOC(s, t, f)
package plint
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 e...
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 ...
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 progr...
bool sol_positive_simpl(Psommet sys, Pvecteur lvbase, Pvecteur lvsup, int nb_som)
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.
Value val
valeur de la variable
struct Ssolution * succ
pointeur vers la variable suivante
Value denominateur
denominateur de la valeur de la variable
Variable var
variable du systeme
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
structure de donnees Sommet
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....
Value vect_coeff(Variable var, Pvecteur vect)
Variable vect_coeff(Variable var, Pvecteur vect): coefficient de coordonnee var du vecteur vect —> So...