54 bool belongs_p =
true;
88 bool internal_p =
true;
89 bool belongs_p =
true;
#define CONTRAINTE_UNDEFINED_P(c)
#define contrainte_vecteur(c)
passage au champ vecteur d'une contrainte "a la Newgen"
bool equality_eval_p(Pvecteur, Pvecteur)
bool inequality_eval_p(Pvecteur, Pvecteur)
Value contrainte_eval(Pvecteur, Pvecteur)
Evaluate constraint c according to values in v and return the constant obtained.
bool sc_internal_p(Psysteme ps, Pvecteur v)
Check if the integer point defined by vector v is stricly inside the set defined by the constraints o...
bool sc_belongs_p(Psysteme ps, Pvecteur v)
package sc
Pcontrainte eq
element du vecteur colonne du systeme donne par l'analyse
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique