43 #define MALLOC(s,t,f) malloc(s)
44 #define FREE(p,t,f) free(p)
112 assert(0 <= d && d <= 99);
114 (void) sprintf(&name[1],
"%d",d);
#define CONTRAINTE_UNDEFINED_P(c)
Variable variable_make(char *name)
Variable variable_make(char * name): defines a new variable of a given name.
bool var_in_sc_p(Psysteme sc, Variable var)
bool var_in_sc_p(Psysteme sc, Variable var) Cette fonction teste si la variable est contrainte par le...
bool var_in_lcontrainte_p(Pcontrainte pc, Variable var)
Check if variable var appears in at least on of the constraints in constraint list pc with a non-zero...
Variable creat_new_var(Psysteme ps)
char * noms_var(int i): cette fonction convertit un numero de variable en chaine de caracteres
struct Scontrainte * succ
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...