PIPS
|
#include <stdlib.h>
#include <stdio.h>
#include "linear.h"
#include "genC.h"
#include "ri.h"
#include "ri-util.h"
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "matrice.h"
#include "conversion.h"
Go to the source code of this file.
Functions | |
void | derive_new_basis (Pbase base_oldindex, Pbase *base_newindex, entity(*new_entity)(entity)) |
package conversion More... | |
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 base_oldindex to base_newindex More... | |
entity | make_index_prime_entity (entity old_index) |
entity | make_index_entity (entity old_index) |
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'indice pour sc. More... | |
void change_of_base_index(Pbase base_oldindex, Pbase *base_newindex) change of variable index from base_oldindex to base_newindex
base_oldindex | ase_oldindex |
base_newindex | ase_newindex |
Definition at line 65 of file change_of_Pbase.c.
References derive_new_basis(), and make_index_prime_entity().
Referenced by hyperplane(), and unimodular().
package conversion
Warning! Do not modify this file that is automatically generated!
base_oldindex | ase_oldindex |
base_newindex | ase_newindex |
Definition at line 48 of file change_of_Pbase.c.
References base_add_dimension, base_reversal(), Svecteur::succ, and Svecteur::var.
Referenced by change_of_base_index(), parallel_tiling(), and tiling_transformation().
old_index | ld_index |
Definition at line 77 of file change_of_Pbase.c.
References make_index_prime_entity().
old_index | ld_index |
Definition at line 72 of file change_of_Pbase.c.
References make_new_index_entity().
Referenced by change_of_base_index(), and make_index_entity().
Psysteme sc_change_baseindex(Psysteme sc, Pbase base_old, Pbase base_new) le changement de base d'indice pour sc.
sc | c |
base_old | ase_old |
base_new | ase_new |
Definition at line 85 of file change_of_Pbase.c.
References sc_variable_rename(), Svecteur::succ, and Svecteur::var.
Referenced by hyperplane(), and unimodular().