25 #include "pips_config.h"
60 #include "constants.h"
118 int j, n, first_entier, second_entier = 0, longueur_liste;
133 for(j = 0; j<n; j++) {
175 for(j = 0; j<n; j++) {
205 longueur_liste = p->
param1;
210 while(longueur_liste--) {
213 for(j = 0; j<n; j++) {
265 {
int j, n, longueur_liste;
298 for(j = 0; j<n; j++) {
308 for(j = 0; j<n; j++) {
340 longueur_liste = p->
param1;
346 while(longueur_liste--) {
354 for(j = 0; j<n; j++) {
364 for(j = 0; j<n; j++) {
426 int j, n, first_entier, second_entier = 0, longueur_liste;
446 for(j = 0; j<n; j++) {
465 if(d ==
D){ second_entier = N/d;
491 for(j = 0; j<n; j++) {
529 longueur_liste = p->
param1;
535 while(longueur_liste--) {
538 for(j = 0; j<n; j++) {
607 for(; (
base != NULL) || (
aux <= nb_var);
aux++) {
616 *(in_val+
aux) = -val;
638 debug(7,
"sc_to_tableau",
"Input Psysteme :\n");
642 h = 2*in_ps->nb_eq + in_ps->nb_ineq;
643 w = in_ps->dimension + 1;
648 if (in_ps == NULL)
return NULL;
651 if (nb_var == 0) nb_var =
vect_size(in_ps->base);
654 for( cont = in_ps->egalites; cont != NULL; cont = cont->
succ) {
667 for( cont = in_ps->inegalites; cont != NULL; cont = cont->
succ) {
674 debug(7,
"sc_to_tableau",
"Output Tableau :\n");
void const char const char const int
bdt base
Current expression.
int vect_size(Pvecteur v)
package vecteur - reductions
#define pips_internal_error
int get_debug_level(void)
GET_DEBUG_LEVEL returns the current debugging level.
void debug(const int the_expected_debug_level, const char *calling_function_name, const char *a_message_format,...)
ARARGS0.
void fprint_psysteme(FILE *, Psysteme)
===========================================================================
Pbase old_base
Base of the parameters.
int integer_sol_edit(int i)
Useful for the sorting of the variables in the system's Pvecteur.
Pbase base_ref
Base of the unknowns.
Pbase old_base_var
Base of the unknowns.
void new_ecrit_ligne(Pvecteur p_vect, Pbase p_sys_base, int nb_var, Entier *in_val)
==========================================================================
int rational_sol_edit(int i)
==========================================================================
quast quast_act
Global variables
expression expression_act
Tableau * sc_to_tableau(Psysteme in_ps, int nb_var)
==========================================================================
Pbase base_var_ref
Name : pip_interface.c Package : paf-util Author : A.
int new_sol_edit(int i)
==========================================================================
#define Nil
Internal variables
#define DIVIDE_OPERATOR_NAME
expression int_to_expression(_int i)
transform an int into an expression and generate the corresponding entity if necessary; it is not cle...
expression make_op_exp(char *op_name, expression exp1, expression exp2)
================================================================
Pvecteur vect_multiply(Pvecteur v, Value x)
Pvecteur vect_multiply(Pvecteur v, Value x): multiplication du vecteur v par le scalaire x,...
void fait_quast()
Name: fait_quast.
void ecrit_coeff_neg2(int ent)
Name: ecrit_coeff_neg2.
void ajoute_new_var(int ent, int rang)
Name: ajoute_new_var.
void creer_Psysteme()
Name: creer_Psysteme.
void ecrit_une_var(int ent)
Name: ecrire_une_var.
void ecrit_liste_vecteur()
Name: ecrit_liste_vecteur.
void ecrit_coeff2(int ent)
Name: ecrire_coeff2 .
void retire_par_de_pile()
Name: retire_par_de_pile.
void creer_true_quast()
Name: creer_true_quast.
void init_liste_vecteur()
Name: init_liste_vecteur.
void fait_quast_value()
Name: fait_quast_value.
void init_vecteur()
Name: init_vecteur.
void ecrit_une_var_neg(int ent)
Name: ecrit_une_var_neg.
void creer_predicat()
Name: creer_predicat.
void creer_quast_value()
Name: creer_quast_value
void ecrit_coeff1(int ent)
Name: ecrit_coeff1.
void init_quast()
Name: init_quast.
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
struct Svecteur * Pvecteur
Pvecteur vect_dup(Pvecteur v_in)
Pvecteur vect_dup(Pvecteur v_in): duplication du vecteur v_in; allocation de et copie dans v_out;.
Value vect_coeff(Variable var, Pvecteur vect)
Variable vect_coeff(Variable var, Pvecteur vect): coefficient de coordonnee var du vecteur vect —> So...