PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sommet.h"
#include "ray_dte.h"
#include "polyedre.h"
#include "matrix.h"
#include "plint.h"
Go to the source code of this file.
Macros | |
#define | TRACE |
package plint More... | |
#define | MALLOC(s, t, f) malloc(s) |
pour recuperer les declarations des fonctions de conversion de sc en liste de sommets et reciproquement, bien que ca casse le DAG des types de donnees More... | |
Functions | |
Psommet | eq_in_ineq (Psommet *sys, int *nb_som, Pvecteur *lvbase) |
Psommet eq_in_ineq(Psommet * sys, int * nb_som, Pvecteur * lvbase): Transformation des egalites du systeme en inegalites. More... | |
Psommet | var_ecart_sup (Psommet sys, int nb_som, Pvecteur *lvbase, int *nbvars, Pbase *b) |
Psommet var_ecart_sup(Psommet sys, int nb_som, Pvecteur * lvbase, int * nbvars, Pbase *b): ajout des variables d'ecart necessaires a la transformation du systeme A . More... | |
Psommet | add_var_sup (Psommet sys, int nb_som, Pvecteur *lvbase, Pvecteur *lvsup, int *nbvars, Pbase *b, Psommet fonct) |
pour recuperer les declarations des fonctions de conversion de sc en liste de sommets et reciproquement, bien que ca casse le DAG des types de donnees
Definition at line 52 of file plvar-ecart.c.
#define TRACE |
package plint
Definition at line 41 of file plvar-ecart.c.
Psommet add_var_sup | ( | Psommet | sys, |
int | nb_som, | ||
Pvecteur * | lvbase, | ||
Pvecteur * | lvsup, | ||
int * | nbvars, | ||
Pbase * | b, | ||
Psommet | fonct | ||
) |
??? 999 ???
Definition at line 210 of file plvar-ecart.c.
References Ssysteme::base, base_dup(), creat_new_var(), Ssysteme::dimension, typ_som::eq_sat, int_to_value, lvbase_add(), print_Value(), printf(), sc_fprint(), sc_rm(), typ_som::succ, Svecteur::succ, TCST, Svecteur::val, VALUE_MONE, VALUE_ONE, value_pos_p, Svecteur::var, variable_default_name(), vect_add_elem(), vect_add_variable(), vect_coeff(), and typ_som::vecteur.
Referenced by primal(), and primal_positive().
Psommet eq_in_ineq(Psommet * sys, int * nb_som, Pvecteur * lvbase): Transformation des egalites du systeme en inegalites.
N egalites du systeme seront transformees en N+1 inegalites.
resultat retourne par la fonction :
Psommet : systeme lineaire initial modifie.
Les parametres de la fonction :
Psommet sys : systeme lineaire Pvecteur lvbase: liste des variables de base du systeme int nb_som : nombre de contraintes du systeme
Definition at line 68 of file plvar-ecart.c.
References typ_som::denominateur, eq, Scontrainte::eq_sat, typ_som::eq_sat, MALLOC, print_Value(), printf(), sc_fprint(), sc_rm(), SOMMET, sommet_add(), sommets_normalize(), Scontrainte::succ, typ_som::succ, Svecteur::succ, Svecteur::val, VALUE_ONE, value_product, Svecteur::var, variable_default_name(), vect_add(), vect_chg_sgn(), vect_dup(), vect_multiply(), vect_rm(), Scontrainte::vecteur, and typ_som::vecteur.
Referenced by dual_pivot(), plint(), plreal(), primal(), primal_positive(), and sc_supress_same_constraints().
Psommet var_ecart_sup(Psommet sys, int nb_som, Pvecteur * lvbase, int * nbvars, Pbase *b): ajout des variables d'ecart necessaires a la transformation du systeme A .
X <= B en A'. X' = B .
resultat retourne par la fonction :
Psommet : systeme lineaire initial modifie
Les parametres de la fonction :
Psommet sys : systeme lineaire Pvecteur lvbase: liste des variables de base du systeme int nb_som : nombre de contraintes du systeme int nbvars : nombre de variables du systeme Pbase b : liste des variables du systeme
Definition at line 156 of file plvar-ecart.c.
References Ssysteme::base, base_dup(), creat_new_var(), Ssysteme::dimension, typ_som::eq_sat, lvbase_add(), print_Value(), printf(), sc_fprint(), sc_rm(), typ_som::succ, Svecteur::succ, Svecteur::val, VALUE_ONE, Svecteur::var, variable_default_name(), vect_add_elem(), vect_add_variable(), and typ_som::vecteur.
Referenced by dual_pivot(), dual_pivot_pas(), plint(), plint_degen(), plint_pas(), plreal(), and syst_smith().