44 #define MALLOC(s,t,f) malloc(s)
60 if (sys && (sys->nb_ineq <= NB_INEQ_MAX2) &&
sys_int_fais(sys) &&
62 for (
eq = sys->inegalites;
63 eq != NULL && sys->nb_ineq > 1;
void eq_set_vect_nul(Pcontrainte)
void_eq_set_vect_nul(Pcontrainte c): transformation d'une contrainte en une contrainte triviale 0 == ...
bool sys_int_fais(Psysteme sys1)
bool sys_int_fais(Psysteme sys1): Test de faisabilite d'un systeme lineaire syst1 en nombres entiers ...
Psysteme sys_int_redond(Psysteme sys)
Psysteme sys_int_redond(Psysteme sys): elimination des contraintes lineaires redondantes d'un systeme...
Psysteme sc_dup(Psysteme ps)
Psysteme sc_dup(Psysteme ps): should becomes a link.
void sc_rm_empty_constraints(Psysteme ps, bool process_equalities)
package sc: elimination de redondance simple
Pcontrainte eq
element du vecteur colonne du systeme donne par l'analyse
Psysteme sc_normalize(Psysteme ps)
Psysteme sc_normalize(Psysteme ps): normalisation d'un systeme d'equation et d'inequations lineaires ...
void vect_chg_sgn(Pvecteur v)
void vect_chg_sgn(Pvecteur v): multiplie v par -1
struct Scontrainte * succ
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
void vect_add_elem(Pvecteur *pvect, Variable var, Value val)
void vect_add_elem(Pvecteur * pvect, Variable var, Value val): addition d'un vecteur colineaire au ve...