144 "Variable %s not declared. Add it to the VAR list!\n",
165 if (ps->egalites != NULL) {
197 if (ps->inegalites != NULL) {
202 ps->inegalites = peq;
Variable base_find_variable(Pbase b, Variable v)
Variable base_find_variable(Pbase b, Variable v): returns variable v if variable v is one of b's elem...
bool base_contains_variable_p(Pbase b, Variable v)
bool base_contains_variable_p(Pbase b, Variable v): returns true if variable v is one of b's elements...
Pbase vect_add_variable(Pbase b, Variable v)
package vecteur - routines sur les bases
#define CONTRAINTE_UNDEFINED_P(c)
#define contrainte_vecteur(c)
passage au champ vecteur d'une contrainte "a la Newgen"
#define CONTRAINTE_UNDEFINED
char * variable_default_name(Variable v)
char * variable_default_name(Variable v): returns the name of variable v
Pvecteur vect_reversal(Pvecteur vect_in)
Pvecteur vect_reversal(Pvecteur vect_in); produces the reversal vector of the vect_in.
bool sc_rn_p(Psysteme sc)
bool sc_rn_p(Psysteme sc): check if the set associated to sc is the whole space, rn
bool sc_empty_p(Psysteme sc)
bool sc_empty_p(Psysteme sc): check if the set associated to sc is the constant sc_empty or not.
int sens
facteur multiplicatif suivant qu'on analyse un terme
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
Pcontrainte p_eg_fin
ensemble des fonctions utilisees dans le programme 'sc_gram.y' permettant de construire la structure ...
Pvecteur p_pred
pointeur sur le predecesseur du couple courant
Psysteme sc_reversal(Psysteme sc)
Psysteme sc_reversal(Psysteme sc)
void new_ident(Psysteme ps, Variable s)
void new_ident(Psysteme ps, char s[]): fonction introduisant un nouvel identificateur dans la liste d...
void init_globals()
void init_globals: initialisation des variables globales
Variable rec_ident(Psysteme ps, Variable s)
int rec_ident(Psysteme ps, char * s): cette fonction recherche dans la liste des variables du systeme...
Pcontrainte contrainte_reversal(Pcontrainte c)
Pcontrainte contrainte_reversal(Pcontrainte c)
Pvecteur cp
pointeur sur le couple courant
Pcontrainte p_ineg_fin
pointeur sur la derniere inegalite
Pvecteur p_membre_courant
void creer_eg(Psysteme ps, Pcontrainte peq)
void creer_eg(Psysteme ps,Pcontrainte peq): ajout de la contrainte (egalite) peq au systeme ps.
void creer_ineg(Psysteme ps, Pcontrainte peq, int sens)
void creer_ineg(Psysteme ps, Pcontrainte peq, int sens): ajout d'une nouvelle inegalite peq dans la l...
void vect_chg_sgn(Pvecteur v)
void vect_chg_sgn(Pvecteur v): multiplie v par -1
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
#define VECTEUR_NUL
DEFINITION DU VECTEUR NUL.
struct Svecteur * Pvecteur
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....
#define VARIABLE_UNDEFINED_P(v)
void vect_rm(Pvecteur v)
void vect_rm(Pvecteur v): desallocation des couples de v;