25 #include "pips_config.h"
67 Pbase base_oldindex = NULL;
68 Pbase base_newindex = NULL;
85 debug(8,
" hyperplane",
"Begin:\n");
92 (void)
fprintf(stderr,
"base_oldindex 0:\n");
104 (void)
fprintf(stderr,
"base_oldindex 1:\n");
109 (void)
fprintf(stderr,
"Matrice A:\n");
114 (void)
fprintf(stderr,
"sci:\n");
126 debug(8,
" hyperplane",
"Vector h :");
127 for (i = 0; i<n; i++) {
137 (void)
fprintf(stderr,
"The scanning base G is:");
147 (void)
fprintf(stderr,
"Matrice AG:\n");
156 (void)
fprintf(stderr,
"base_oldindex 2:\n");
161 (void)
fprintf(stderr,
"scn before matrice_index_sys :\n");
168 (void)
fprintf(stderr,
"scn after matrice_index_sys :\n");
181 (void)
fprintf(stderr,
"sc_row_echelon:\n");
190 (void)
fprintf(stderr,
"base_oldindex:\n");
192 (void)
fprintf(stderr,
"base_newindex:\n");
200 (void)
fprintf(stderr,
"sc_newbase:\n");
206 for (pb=base_newindex; pb!=NULL; pb=pb->
succ) {
223 debug(8,
" hyperplane",
"End\n");
void change_of_base_index(Pbase base_oldindex, Pbase *base_newindex)
void change_of_base_index(Pbase base_oldindex, Pbase *base_newindex) change of variable index from ba...
Psysteme sc_change_baseindex(Psysteme sc, Pbase base_old, Pbase base_new)
Psysteme sc_change_baseindex(Psysteme sc, Pbase base_old, Pbase base_new) le changement de base d'ind...
expression expression_to_expression_newbase(expression e_old, pvg, Pbase base_oldindex)
expression expression_to_expression_newbase(expression e_old,Pvecteur pvg[], Pbase base_oldindex) com...
Pvecteur vect_change_base(Pvecteur pv_old, Pbase base_oldindex, pvg)
Pvecteur vect_change_base(Pvecteur pv_old, Pvecteur pvg[], Pbase base_oldindex, Pbase base_newindex) ...
void scanning_base_to_vect(matrice G, int n, Pbase base, pvg)
void scanning_base_to_vect(matrice G,int n,Pbase base,Pvecteur pvg[n]) compute G*base and put the res...
statement code_generation(list lls, Pvecteur pvg[], Pbase base_oldindex, Pbase base_newindex, Psysteme sc_newbase, bool preserve_entry_label_p)
package hyperplane
#define A(i, j)
comp_matrice.c
Psysteme loop_iteration_domaine_to_sc(list, Pbase *)
loop_iteration_domaine_to_sc.c
#define CAR(pcons)
Get the value of the first element of a list.
Psysteme sc_newbase
include <sys/ddi.h>
statement hyperplane(list lls, _UNUSED_ bool(*u)(statement))
package hyperplane
void scanning_base_hyperplane(Value[], int, matrice)
scanning_base.c
bool interactive_hyperplane_direction(Value *, int)
hyperplane_direction.c
void base_fprint(FILE *f, Pbase b, get_variable_name_t variable_name)
void base_fprint(FILE * f, Pbase b, char * (*variable_name)()): impression d'une base sur le fichier ...
#define matrice_new(n, m)
Allocation et desallocation d'une matrice.
Value * matrice
package matrice
void matrice_multiply(matrice a, matrice b, matrice c, int p, int q, int r)
void matrice_multiply(matrice a, matrice b, matrice c, int p, int q, int r): multiply rational matrix...
void matrice_fprint(FILE *, matrice, int, int)
matrice_io.c
void debug(const int the_expected_debug_level, const char *calling_function_name, const char *a_message_format,...)
ARARGS0.
void make_bound_expression(Variable index, Pbase base, Psysteme sc, expression *lower, expression *upper)
void make_bound_expression(variable index, Pbase base, Psysteme sc, expression *lower,...
#define instruction_loop(x)
#define statement_instruction(x)
#define STATEMENT(x)
STATEMENT.
Psysteme sc_dup(Psysteme ps)
Psysteme sc_dup(Psysteme ps): should becomes a link.
char * default_variable_to_string(Variable v)
void sc_default_dump(Psysteme sc)
void sc_default_dump(Psysteme sc): dump to stderr
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
Psysteme new_loop_bound(Psysteme scn, Pbase base_index)
Psysteme new_loop_bound(Psysteme scn, Pbase base_index) computation of the new iteration space (given...
#define G(j, a, b)
maybe most of them should be functions?
void sys_matrice_index(Psysteme, Pbase, matrice, int, int)
Warning! Do not modify this file that is automatically generated!
void matrice_index_sys(Psysteme, Pbase, matrice, int, int)
void matrice_index_sys(Psysteme sc, Pbase base_index, matrice AG, int n, int m) replace the coefficie...
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
The structure used to build lists in NewGen.
#define base_dimension(b)
struct Svecteur Svecteur
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique