25 #include "pips_config.h"
71 #define VARSUPP "Variable_pour_max_en_min_q"
107 for(aux1=0 ;((aux1 < nb_var) && (p_vect != NULL));\
108 p_vect_baux = p_vect_baux->
succ )
111 if (p_vect->
var != NULL)
112 if (p_vect_baux->
var == p_vect->
var)
115 p_vect = p_vect->
succ;
150 debug(8,
"make_scalar_integer_entity",
"begin name=%s, module_name=%s\n",
205 for( ; p_cont != NULL;p_cont = p_cont->
succ)
210 for(p_vect_aux=p_cont->
vecteur; p_vect_aux->
succ != NULL;\
211 p_vect_aux = p_vect_aux->
succ)
222 p_vect_aux->
succ = v2;
261 for( ; p_cont != NULL; p_cont = p_cont->
succ)
263 p_vect_baux = p_base;
266 for(aux1 = 0 ; ((p_vect_aux != NULL) && (aux1<nb_var));\
267 p_vect_baux = p_vect_baux->
succ)
269 if ((p_vect_baux->
var != NULL) &&\
270 (p_vect_aux->
var !=NULL))
272 if (p_vect_baux->
var == p_vect_aux->
var)
275 p_vect_aux = p_vect_aux->
succ;
279 if (p_vect_baux->
var != NULL)
311 Pvecteur p_vect_aux, p_vect_baux, p_base;
318 p_syst1=
sc_dup(p_systmin);
326 p_vect_aux = p_vect_aux->
succ) {}
344 for(aux1=0, p_base = p_syst->
base ;((aux1 < nb_var) && (p_base != NULL));
345 p_base = p_base->
succ, aux1++) {
365 for(aux1 = 0; aux1 < nb_var ; aux1++) {
370 p_vect_baux = p_vect_baux->
succ;
basic make_basic(enum basic_utype tag, void *val)
#define value_oppose(ref)
#define value_addto(ref, val)
struct _newgen_struct_type_ * type
Pcontrainte contrainte_make(Pvecteur pv)
Pcontrainte contrainte_make(Pvecteur pv): allocation et initialisation d'une contrainte avec un vecte...
const char * module_name(const char *s)
Return the module part of an entity name.
#define NIL
The empty list (nil in Lisp)
#define full_name(dir, name)
void debug(const int the_expected_debug_level, const char *calling_function_name, const char *a_message_format,...)
ARARGS0.
#define TOP_LEVEL_MODULE_NAME
Module containing the global variables in Fortran and C.
#define MODULE_SEP_STRING
string concatenate(const char *,...)
Return the concatenation of the given strings.
void * gen_find_tabulated(const char *, int)
Pvecteur vect_var_subst(Pvecteur, Variable, Pvecteur)
=================================================================
Value add_coeff_vect(Pvecteur p_vect, Pbase p_base, int nb_var)
Name : add_coeff_vect
Psysteme converti_psysmin_psysmax(Psysteme p_systmin, int nb_var)
Name: converti_psysmin_psysmax
void add_fin_mat(Pcontrainte p_cont, Pbase p_base, int nb_var, Variable var_q)
Name: add_fin_mat
void opp_var_in_mat(Pcontrainte p_cont, Pbase p_base, int nb_var)
Name: opp_var_in_mat.
entity creer_nom_var(char *name, char *module_name)
BIDOUILLE
#define VARSUPP
Name : ps_max_to_min.c Package : pip Author : F.
#define make_entity(n, t, s, i)
type MakeTypeVariable(basic, cons *)
BEGIN_EOLE.
#define entity_domain
newgen_syntax_domain_defined
#define storage_undefined
Psysteme sc_dup(Psysteme ps)
Psysteme sc_dup(Psysteme ps): should becomes a link.
void insert_ineq_end_sc(Psysteme sc, Pcontrainte ineq)
This function inserts one constraint ineq at the end of the system of inequalities of sc.
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
struct Svecteur * Pvecteur
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....
Pvecteur vect_new(Variable var, Value coeff)
Pvecteur vect_new(Variable var,Value coeff): allocation d'un vecteur colineaire au vecteur de base va...
Pvecteur vect_cl_ofl_ctrl(Pvecteur v, Value lambda, Pvecteur u, int ofl_ctrl)
Pvecteur vect_cl_ofl_ctrl(Pvecteur v, Value lambda, Pvecteur u, int ofl_ctrl): etape d'acculumulation...
void vect_add_elem(Pvecteur *pvect, Variable var, Value val)
void vect_add_elem(Pvecteur * pvect, Variable var, Value val): addition d'un vecteur colineaire au ve...