55 (void)
fprintf(stderr,
"contrainte_new: Out of memory space\n");
107 va_start(the_args, pv);
153 for (c=(
c_in==NULL?NULL:
c_in->succ);
196 if (c->
r_sat != NULL) {
201 if (c->
s_sat != NULL) {
241 (void)
printf(
"destruction de EQ dans %s\n",
f);
277 for (c=(
c_in==NULL?NULL:
c_in->succ);
#define value_uminus(val)
unary operators on values
#define CONTRAINTE_UNDEFINED_P(c)
#define contrainte_succ(c)
#define contrainte_vecteur(c)
passage au champ vecteur d'une contrainte "a la Newgen"
#define CONTRAINTE_UNDEFINED
struct Scontrainte * Pcontrainte
Pcontrainte contraintes_make(Pvecteur pv,...)
Convert a list of vectors into a list of constraints.
Pcontrainte contraintes_free(Pcontrainte pc)
Pcontrainte contraintes_free(Pcontrainte pc): desallocation de toutes les contraintes de la liste pc.
Pcontrainte contrainte_make(Pvecteur pv)
Pcontrainte contrainte_make(Pvecteur pv): allocation et initialisation d'une contrainte avec un vecte...
Pcontrainte contraintes_copy(Pcontrainte c_in)
Pcontrainte contraintes_copy(Pcontrainte c_in) a list of constraints is copied with the same order In...
Pcontrainte contrainte_free(Pcontrainte c)
Pcontrainte contrainte_free(Pcontrainte c): liberation de l'espace memoire alloue a la contrainte c a...
Pcontrainte contrainte_dup(Pcontrainte c_in)
Pcontrainte contrainte_dup(Pcontrainte c_in): allocation d'une contrainte c_out prenant la valeur de ...
Pcontrainte contrainte_copy(Pcontrainte c_in)
Have a look at contrainte_dup and contraintes_dup which reverse the order of the list This copy versi...
void dbg_contrainte_rm(Pcontrainte c, char *f)
void dbg_contrainte_rm(Pcontrainte c): version debug de contrainte rm; trace de la desallocation et i...
Pcontrainte contrainte_new(void)
package contrainte - allocations et desallocations
Pcontrainte contraintes_dup(Pcontrainte c_in)
Pcontrainte contraintes_dup(Pcontrainte c_in) a list of constraints is copied.
Pcontrainte contrainte_make_1D(Value a, Variable x, Value b, bool less_p)
Generate a constraint a x <= b or a x >= b, according to less_p, or ax==b, regardless of less_p.
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
#define VECTEUR_NUL
DEFINITION DU VECTEUR NUL.
#define VECTEUR_UNDEFINED
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....
Pbase vect_copy(Pvecteur b)
direct duplication.
Pvecteur vect_dup(Pvecteur v_in)
Pvecteur vect_dup(Pvecteur v_in): duplication du vecteur v_in; allocation de et copie dans v_out;.
void dbg_vect_rm(Pvecteur v, char __attribute__((unused)) *f)
void dbg_vect_rm(Pvecteur v, char * f): desallocation d'un vecteur avec marquage de la fonction provo...
Pvecteur vect_make_1D(Value a, Variable x, Value b)
Generate a sparse vector a x + b TCST.
void vect_rm(Pvecteur v)
void vect_rm(Pvecteur v): desallocation des couples de v;