6 #ifndef sommet_header_included
7 #define sommet_header_included
79 #define print_som(s) sommet_fprint(stdout,s)
81 #define print_lsom(ls) fprint_lsom(stdout,ls)
83 #define VERSION_FINALE
85 #define SOMMET_RM(s,function_name) sommet_rm(s)
87 #define SOMMET_RM(s,function_name) dbg_sommet_rm(s,function_name)
95 #define sommet_denominateur(s) ((s)->denominateur)
void sommets_normalize(Psommet)
void sommets_normalize(som) Normalisation des elements d'une liste de sommets i.e.
struct typ_som * Psommet
structure de donnees Sommet
void fprint_lsom(FILE *, Psommet, char *(*)(Variable))
void fprint_lsom_as_dense(FILE *, Psommet, Pbase)
void fprint_lsom_as_dense(FILE * f, Psommet s): impression d'une liste de sommets
void sommet_fprint_as_dense(FILE *, Psommet, Pbase)
void sommet_fprint_as_dense(FILE * f, Psommet s): impression d'un sommet
void dbg_sommet_rm(Psommet, char *)
void sommets_rm(Psommet)
void sommets_rm(Psommet ps): liberation de l'espace memoire alloue a une liste de sommets
bool sommet_egal(Psommet, Psommet)
bool sommet_egal(Psommet s1, Psommet s2): test de l'egalite de representation de deux sommets
Psommet sommet_dup(Psommet)
Psommet sommet_dup(Psommet s_in): allocation et copie de la valeur d'un sommet.
void sommet_normalize(Psommet)
void sommet_normalize(Psommet ns): normalisation des coordonnees d'un sommet par le pgcd des coordonn...
Psommet sommet_new(void)
SOMMET.
void sommet_rm(Psommet)
void sommet_rm(Psommet s): desallocation complete d'une structure sommet
Psommet sommet_make(Value, Pvecteur)
Psommet sommet_make(int d, Pvecteur v): allocation et initialisation d'un sommet de denominateur d et...
void sommet_fprint(FILE *, Psommet, char *(*)(Variable))
void sommet_add(Psommet *, Psommet, int *)
void sommet_add(Psommet *ps, Psommet som, int *nb_soms): Ajout d'un sommet a une liste de sommets Le ...
bool egaliste_s(Psommet, Psommet *)
bool egaliste_s(Psommet l1, Psommet * ad_l2): test d'egalite de listes de sommets
void sommet_dump(Psommet)
void sommet_dump(Psommet s): impression d'un sommet sur stderr avec variable_debug_name()
Psommet sommets_dup(Psommet)
sommets.c
bool som_in_liste(Psommet, Psommet)
bool som_in_liste(Psommet s, Psommet l): test de l'appartenance du sommet s a la liste de sommets l
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
structure de donnees Sommet
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....