112 if (v->
vecteur == NULL)
return(
true);
113 for (v1=listev;v1!=NULL;v1=v1->
succ) {
134 for(i=0, c=
list;c!=NULL;i++,c=c->
succ)
145 bool cyclic_p =
false;
147 for(i=0, c=l; c!=NULL; i++, c=c->
succ) {
169 for(i=0, c=
list;c!=NULL && i<=n ;i++,c=c->
succ)
196 if (lc==first) first = next;
197 if (previous) previous->
succ = next;
#define value_zero_p(val)
#define value_posz_p(val)
#define CONTRAINTE_UNDEFINED_P(c)
#define CONTRAINTE_NULLE_P(c)
contrainte nulle (non contrainte 0 == 0 ou 0 <= 0)
Pcontrainte contrainte_free(Pcontrainte c)
Pcontrainte contrainte_free(Pcontrainte c): liberation de l'espace memoire alloue a la contrainte c a...
bool vect_equal(Pvecteur v1, Pvecteur v2)
bool vect_equal(Pvecteur v1, Pvecteur v2): test a egalite de deux vecteurs
bool vect_oppos(Pvecteur v1, Pvecteur v2)
bool vect_oppos(Pvecteur v1, Pvecteur v2): test de l'opposition de deux vecteurs
bool vect_larger_coef_p(Pvecteur v, Value val)
#define linear_assert(msg, ex)
bool egalite_in_liste(Pcontrainte v, Pcontrainte listev)
bool egalite_in_liste(Pcontrainte eg, Pcontrainte leg): test si une egalite appartient a une liste d'...
int nb_elems_list(Pcontrainte list)
int nb_elems_list(Pcontrainte list): nombre de contraintes se trouvant dans une liste de contraintes
bool contrainte_in_liste(Pcontrainte c, Pcontrainte lc)
package contrainte - operations sur les listes de contraintes
Pcontrainte contrainte_remove_large_coef(Pcontrainte lc, Value val)
int constraint_rank(Pcontrainte c, Pcontrainte lc)
Return the rank of constraint c in constraint list lc.
int safe_nb_elems_list(Pcontrainte list, int n)
Compute the number of elements in the list if it is less than n.
bool cyclic_constraint_list_p(Pcontrainte l)
Check if list l contains a cycle.
struct Scontrainte * succ
The structure used to build lists in NewGen.