ps_max_to_min.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <setjmp.h>
#include <string.h>
#include <errno.h>
#include "genC.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "sc.h"
#include "polyedre.h"
#include "matrix.h"
#include "misc.h"
#include "text.h"
#include "text-util.h"
#include "ri.h"
#include "ri-util.h"
#include "graph.h"
#include "dg.h"
#include "paf_ri.h"
#include "paf-util.h"
#include "pip.h"

Include dependency graph for ps_max_to_min.c:

Go to the source code of this file.

Macros
#define	VARSUPP   "Variable_pour_max_en_min_q"
	Name : ps_max_to_min.c Package : pip Author : F. More...

Functions
Value	add_coeff_vect (Pvecteur p_vect, Pbase p_base, int nb_var)
	Name : add_coeff_vect More...
entity	creer_nom_var (char *name, char *module_name)
	BIDOUILLE More...
void	add_fin_mat (Pcontrainte p_cont, Pbase p_base, int nb_var, Variable var_q)
	Name: add_fin_mat More...
void	opp_var_in_mat (Pcontrainte p_cont, Pbase p_base, int nb_var)
	Name: opp_var_in_mat. More...
Psysteme	converti_psysmin_psysmax (Psysteme p_systmin, int nb_var)
	Name: converti_psysmin_psysmax More...

Macro Definition Documentation

VARSUPP

#define VARSUPP   "Variable_pour_max_en_min_q"

Name : ps_max_to_min.c Package : pip Author : F.

Dumontet Date : july 93 Historic : Documents:

Comments : C3 includes

Definition at line 71 of file ps_max_to_min.c.

Function Documentation

add_coeff_vect()

Value add_coeff_vect	(	Pvecteur	p_vect,
		Pbase	p_base,
		int	nb_var
	)

Name : add_coeff_vect

---

Parameters: p_vect: le vecteur a sommer.
p_base: la base associee au vecteur.
nb_var: le nombre de variables dans la base.
Result: un nombre sous la forme d'une value.
Aims: sommer des coefficients des nb_var premieres variables du vecteur
p_vect.
Author: F Dumontet
Date of last change:

---

Definition at line 94 of file ps_max_to_min.c.

{
 
        Pvecteur        p_vect_baux = (Pvecteur) p_base;
        Value           aux = VALUE_ZERO;
        int             aux1;
 
        for(aux1=0 ;((aux1 < nb_var) && (p_vect != NULL));\
            p_vect_baux = p_vect_baux->succ )
            {
            
            if (p_vect->var != NULL) 
                  if (p_vect_baux->var == p_vect->var)
                        {
                            value_addto(aux,p_vect->val);
                            p_vect = p_vect->succ;
                        }
            aux1++;
            }
        return aux;
}

References aux, Svecteur::succ, Svecteur::val, value_addto, VALUE_ZERO, and Svecteur::var.

Referenced by add_fin_mat().

Here is the caller graph for this function:

add_fin_mat()

void add_fin_mat	(	Pcontrainte	p_cont,
		Pbase	p_base,
		int	nb_var,
		Variable	var_q
	)

Name: add_fin_mat

---

Parameters: p_cont: pointeur sur la premiere contrainte de la liste
d'egalites ou d'inegalites.
p_base: base du Psysteme.
nb_var: le nombre de variables dans la base.
Result:
Aims: ajouter A.1 dans la colonne correspondant au nouveau parametre var_q. Author: F Dumontet
Date of last change:

---

Old version of FD vect_add_elem(&p_vect_aux->succ, var_q,\ add_coeff_vect(p_cont->vecteur,\ p_base,nb_var));

Definition at line 193 of file ps_max_to_min.c.

{
      
        Pvecteur         p_vect_aux;
        Pvecteur         v2;
 
        for( ; p_cont != NULL;p_cont = p_cont->succ)
            {
 
 
 
            for(p_vect_aux=p_cont->vecteur; p_vect_aux->succ != NULL;\
                  p_vect_aux = p_vect_aux->succ)
                  {}
/* Old version of FD
                  vect_add_elem(&p_vect_aux->succ, var_q,\
                              add_coeff_vect(p_cont->vecteur,\
                                          p_base,nb_var));
*/
                v2 = (Pvecteur) malloc(sizeof(Svecteur));
                vect_add_elem(&v2, var_q,\
                              add_coeff_vect(p_cont->vecteur,\
                                          p_base,nb_var));
                p_vect_aux->succ = v2;
            }
}

References add_coeff_vect(), malloc(), Scontrainte::succ, Svecteur::succ, vect_add_elem(), and Scontrainte::vecteur.

Here is the call graph for this function:

converti_psysmin_psysmax()

Psysteme converti_psysmin_psysmax	(	Psysteme	p_systmin,
		int	nb_var
	)

Name: converti_psysmin_psysmax

---

Parameters: p_systmin: le Psysteme (ordonne) a transformer.
nb_var: le nombre de variables dans le Psysteme (ce sont les
premieres de la base).
Result: Psysteme ordonne.
Aims: convertir un probleme de maximum en son dual de minimum, le probleme et le resultat sont sous formes de Psystemes.
Author: F Dumontet.
Date of last change:

---

le Psysteme produi

permet la double copie sinon rien

double dup pour obtenir une copie qui respecte l'odre des variables sc_dup rend une image inversee

ajout d'une variable dans la base essayer de trouver une fonction C3

ajout de A.1 en fin de matrice , le parametre var_q puis -A

These four function calls are replaced by the following loops

ajout de -I , 1 en bas de la matrice

Definition at line 304 of file ps_max_to_min.c.

{
    Psysteme        p_syst;       /* le Psysteme produi                 */
    Psysteme        p_syst1;      /* permet la double copie sinon rien  */
    Pcontrainte     p_cont_aux, pc;
    Pvecteur        p_vect_aux, p_vect_baux, p_base;
    int             aux1;
    Variable        var_q = (Variable) creer_nom_var(VARSUPP,
                                                     TOP_LEVEL_MODULE_NAME);
 
    /* double dup pour obtenir une copie qui respecte l'odre des variables
    * sc_dup rend une image inversee */
    p_syst1=sc_dup(p_systmin);      
    p_syst = sc_dup(p_syst1);
    
    /* ajout d'une variable dans la base essayer de trouver une fonction
     * C3 */
    p_syst->dimension++;
 
    for(p_vect_aux=(Pvecteur) p_syst->base; p_vect_aux->succ != NULL;
        p_vect_aux = p_vect_aux->succ) {}
    vect_add_elem(&p_vect_aux->succ, var_q, (Value) 1);
 
    /* ajout de A.1 en fin de matrice , le parametre var_q puis -A */
 
    /* These four function calls are replaced by the following loops */
    /*
       add_fin_mat((Pcontrainte) p_syst->egalites, p_syst->base, nb_var, var_q);
 
       opp_var_in_mat((Pcontrainte) p_syst->egalites,
       p_syst->base , nb_var);
       add_fin_mat((Pcontrainte) p_syst->inegalites,
       p_syst->base, nb_var, var_q);
       
       opp_var_in_mat((Pcontrainte) p_syst->inegalites,
       p_syst->base , nb_var);
       */
 
    for(aux1=0, p_base = p_syst->base ;((aux1 < nb_var) && (p_base != NULL));
        p_base = p_base->succ, aux1++) {
      for(pc = p_syst->egalites; pc != NULL; pc = pc->succ) {
        pc->vecteur = vect_var_subst(pc->vecteur, p_base->var,
                                     vect_cl_ofl_ctrl
                                     (vect_new(var_q, VALUE_ONE), 
                                      VALUE_MONE,
                                      vect_new(p_base->var, VALUE_ONE),
                                      NO_OFL_CTRL));
      }
      for(pc = p_syst->inegalites; pc != NULL; pc = pc->succ) {
        pc->vecteur = vect_var_subst(pc->vecteur, p_base->var,
                                     vect_cl_ofl_ctrl
                                     (vect_new(var_q, VALUE_ONE), VALUE_MONE,
                                      vect_new(p_base->var, VALUE_ONE),
                                      NO_OFL_CTRL));
      }
    }
 
    /* ajout de -I , 1 en bas de la matrice           */
    p_vect_baux = (Pvecteur) p_syst->base;
    for(aux1 = 0; aux1 < nb_var ; aux1++) {
        p_vect_aux = vect_new(p_vect_baux->var, VALUE_ONE);
        vect_add_elem(&p_vect_aux, var_q, (Value) VALUE_MONE);
        p_cont_aux = contrainte_make(p_vect_aux);
        insert_ineq_end_sc(p_syst,p_cont_aux);
        p_vect_baux = p_vect_baux->succ;      
    }
 
    return p_syst;
}

References Ssysteme::base, contrainte_make(), creer_nom_var(), Ssysteme::dimension, Ssysteme::egalites, Ssysteme::inegalites, insert_ineq_end_sc(), NO_OFL_CTRL, sc_dup(), Scontrainte::succ, Svecteur::succ, TOP_LEVEL_MODULE_NAME, VALUE_MONE, VALUE_ONE, Svecteur::var, VARSUPP, vect_add_elem(), vect_cl_ofl_ctrl(), vect_new(), vect_var_subst(), and Scontrainte::vecteur.

Referenced by pip_solve().

Here is the call graph for this function:

Here is the caller graph for this function:

creer_nom_var()

entity creer_nom_var	(	char *	name,
		char *	module_name
	)

BIDOUILLE

---

Name:
Parameters: name: nom local attribue a l'"entite" cree.
module_name: TOP_LEVEL_MODULE ????
Side effect:
Result:
Aims:
Author: F Dumontet.
Date of last change:

---

Definition at line 142 of file ps_max_to_min.c.

{
    string full_name;
    entity e ;
    basic b ;
 
    debug(8,"make_scalar_integer_entity", "begin name=%s, module_name=%s\n",
          name, module_name);
 
    full_name = strdup(concatenate(module_name, MODULE_SEP_STRING, name, (char *) NULL));
 
    e = gen_find_tabulated(full_name, entity_domain);
 
    if(e == entity_undefined) {
      e = make_entity(strdup(full_name),
                      type_undefined,
                      storage_undefined,
                      value_undefined);
  
      b = make_basic(is_basic_int, 4);
 
      entity_type(e) = (type) MakeTypeVariable(b, NIL);
   }
 
 
        return (e);
}

References concatenate(), debug(), entity_domain, entity_type, entity_undefined, full_name, gen_find_tabulated(), is_basic_int, make_basic(), make_entity, MakeTypeVariable(), module_name(), MODULE_SEP_STRING, NIL, storage_undefined, strdup(), type_undefined, and value_undefined.

Referenced by converti_psysmin_psysmax().

Here is the call graph for this function:

Here is the caller graph for this function:

opp_var_in_mat()

void opp_var_in_mat	(	Pcontrainte	p_cont,
		Pbase	p_base,
		int	nb_var
	)

Name: opp_var_in_mat.

---

Parameters: p_cont: pointeur sur la premiere contrainte de la liste
d'egalites ou d'inegalites.
p_base: base du Psysteme.
nb_var: le nombre de variables dans la base.
Result:
Aims: transformer les coefficients des vecteurs qui portent sur des
en leur oppose.
Author: F Dumontet.
Date of last change:

---

vecteur d'une contrainte.

vecteur d'une base.

compteur de variables deja

traitee.

on traite les nb_var 1eres variables de la base

Definition at line 247 of file ps_max_to_min.c.

{
 
        Pvecteur         p_vect_aux;      /* vecteur d'une contrainte.       */
        Pvecteur         p_vect_baux;     /* vecteur d'une base.             */
        int              aux1;            /* compteur de variables deja      */
                                          /* traitee.                        */ 
   
 
        for( ; p_cont != NULL; p_cont = p_cont->succ)
            {
            p_vect_baux = p_base;
            p_vect_aux = p_cont->vecteur;
                  /* on traite les nb_var 1eres variables de la base    */
            for(aux1 = 0 ; ((p_vect_aux != NULL) && (aux1<nb_var));\
                  p_vect_baux = p_vect_baux->succ)
                  {
                  if ((p_vect_baux->var != NULL) &&\
                              (p_vect_aux->var !=NULL))
                        {
                        if (p_vect_baux->var == p_vect_aux->var)
                              {
                                  value_oppose(p_vect_aux->val);
                                  p_vect_aux = p_vect_aux->succ;
                              }
 
                        }
                  if (p_vect_baux->var != NULL)
                        aux1++;
                  }
            }
}

References Scontrainte::succ, Svecteur::succ, Svecteur::val, value_oppose, Svecteur::var, and Scontrainte::vecteur.