45 #define MALLOC(s,t,f) malloc(s)
64 bool is_faisable =
false;
74 sys2 =
plint(sys2,fonct,&sol1);
78 if ((sys2 != NULL) && ((sys2->
egalites != NULL)
Psommet fonct_min(int nbvars, Pbase b)
RGSUSED.
Psysteme plint(Psysteme first_sys, Psommet fonct, Psolution *sol_fin)
Psysteme plint(Psysteme first_sys, Psommet fonct, Psolution *sol_fin): resolution d'un systeme lineai...
bool sys_int_fais(Psysteme sys1)
bool sys_int_fais(Psysteme sys1): Test de faisabilite d'un systeme lineaire syst1 en nombres entiers ...
void sc_rm(Psysteme ps)
void sc_rm(Psysteme ps): liberation de l'espace memoire occupe par le systeme de contraintes ps;
Psysteme sc_dup(Psysteme ps)
Psysteme sc_dup(Psysteme ps): should becomes a link.
structure de donnees Sommet