change_of_Pbase.c File Reference

#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"

Include dependency graph for change_of_Pbase.c:

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...

Function Documentation

change_of_base_index()

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

Parameters

base_oldindex	ase_oldindex
base_newindex	ase_newindex

Definition at line 65 of file change_of_Pbase.c.

{
    derive_new_basis(base_oldindex, base_newindex, make_index_prime_entity);
}

References derive_new_basis(), and make_index_prime_entity().

Referenced by hyperplane(), and unimodular().

Here is the call graph for this function:

Here is the caller graph for this function:

derive_new_basis()

void derive_new_basis	(	Pbase	base_oldindex,
		Pbase *	base_newindex,
		entity(*)(entity)	new_entity
	)

package conversion

Warning! Do not modify this file that is automatically generated!

Parameters

base_oldindex	ase_oldindex
base_newindex	ase_newindex

Definition at line 48 of file change_of_Pbase.c.

{
    Pbase pb;
    entity new_name;
 
    for (pb=base_oldindex; pb!=NULL; pb=pb->succ)
    {
        new_name = new_entity((entity) pb->var);
        base_add_dimension(base_newindex, (Variable) new_name);
    }
    *base_newindex = base_reversal(*base_newindex);
}

References base_add_dimension, base_reversal(), Svecteur::succ, and Svecteur::var.

Referenced by change_of_base_index(), parallel_tiling(), and tiling_transformation().

Here is the call graph for this function:

Here is the caller graph for this function:

make_index_entity()

entity make_index_entity

(

entity

old_index

)

Parameters

old_index

ld_index

Definition at line 77 of file change_of_Pbase.c.

{
    return make_index_prime_entity(old_index);
}

References make_index_prime_entity().

Here is the call graph for this function:

make_index_prime_entity()

entity make_index_prime_entity

(

entity

old_index

)

Parameters

old_index

ld_index

Definition at line 72 of file change_of_Pbase.c.

{
  return make_new_index_entity(old_index, "p");
}

References make_new_index_entity().

Referenced by change_of_base_index(), and make_index_entity().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_change_baseindex()

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.

Parameters

sc	c
base_old	ase_old
base_new	ase_new

Definition at line 85 of file change_of_Pbase.c.

{
    Pbase pb1, pb2;
 
    for(pb1=base_old,pb2=base_new;pb1!=NULL;pb1=pb1->succ,pb2=pb2->succ)
        sc_variable_rename(sc,pb1->var,pb2->var);
    return(sc);
}

References sc_variable_rename(), Svecteur::succ, and Svecteur::var.

Referenced by hyperplane(), and unimodular().

Here is the call graph for this function:

Here is the caller graph for this function: