84 #define CONTRAINTE 1005
99 #define egalite_print(eg) egalite_fprint(stdout,eg)
102 #define inegalite_print(ineg) inegalite_fprint(stdout,ineg)
105 #define contrainte_vecteur(c) ((c)->vecteur)
107 #define contrainte_succ(c) ((c)->succ)
110 #define CONTRAINTE_NULLE_P(c) (VECTEUR_NUL_P(contrainte_vecteur(c)))
112 #define CONTRAINTE_UNDEFINED ((Pcontrainte) NULL)
114 #define CONTRAINTE_UNDEFINED_P(c) ((c)==CONTRAINTE_UNDEFINED)
117 #define COEFF_CST(c) vect_coeff(TCST,(c)->vecteur)
120 #define contrainte_rm(c) (void) contrainte_free(c)
122 #define VERSION_FINALE
123 #ifndef VERSION_FINALE
124 #define CONTRAINTE_RM(rd,f) dbg_contrainte_rm(rd,f)
126 #define CONTRAINTE_RM(rd,f) contrainte_rm(rd)
struct Scontrainte Scontrainte
struct Scontrainte * Pcontrainte
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique