96 Variable var_hr,hvr1,hvr2,right_var,left_var;
97 int rank_hr,right_rank,left_rank;
99 Value coeff1,coeff2,right_coeff,left_coeff;
100 bool find_one =
false;
110 for (i=1; i<=dim_h; i++)
113 for (i=dim_h+1; i<=n; i++)
163 if (rank_hr >dim_h) {
164 if (sc_info[rank_hr][1]) {
170 else sc_info[rank_hr][3] ++;
188 (index_base, ineq, pc, rank_hr,
189 &right_var, &right_rank, &right_coeff,
190 &left_var, &left_rank, &left_coeff);
191 if (right_rank>left_rank) {
193 sc_info[right_rank][2]++;
195 sc_info[right_rank][3]++;
197 else if (right_rank<left_rank){
199 sc_info[left_rank][2]++;
201 sc_info[left_rank][3]++;
212 sc_info[rank_hr][3] ++;
214 sc_info[rank_hr][2] ++;
#define value_sign(v)
trian operators on values
#define value_notzero_p(val)
int rank_of_variable(Pbase base, Variable var)
this function returns the rank of the variable var in the base 0 encodes TCST, but I do not know why,...
int search_higher_rank(Pvecteur vect, Pbase base)
int search_higher_rank(): this fonction returns the rank of the variable of higher rank in the vecteu...
#define CONTRAINTE_UNDEFINED_P(c)
#define CONTRAINTE_UNDEFINED
void sc_integer_projection_information(Psysteme sc, Pbase index_base, int sc_info[][4], int dim_h, int n)
This function gives information about the variables and the constraints of the system.
Variable search_var_of_higher_rank()
Variable variable_of_rank()
bool var_with_unity_coeff_p(Psysteme sc, Variable var)
This function returns true: if all positive OR all negative coefficients of the variable var in the s...
void constraint_integer_combination(Pbase index_base, Pcontrainte ineq1, Pcontrainte ineq2, int rank, Variable *right_var, int *right_rank, Value *right_coeff, Variable *left_var, int *left_rank, Value *left_coeff)
This function computes the coefficients of the constraint resulting from the elimination of the varia...
bool var_in_sc_p(Psysteme sc, Variable var)
bool var_in_sc_p(Psysteme sc, Variable var) Cette fonction teste si la variable est contrainte par le...
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....
Value vect_coeff(Variable var, Pvecteur vect)
Variable vect_coeff(Variable var, Pvecteur vect): coefficient de coordonnee var du vecteur vect —> So...