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 "matrix.h"
#include "plint.h"
Go to the source code of this file.
Macros | |
#define | MALLOC(s, t, f) malloc((unsigned)(s)) |
package plint More... | |
Functions | |
Psommet | fonct_init () |
Psommet | fonct_min (int nbvars, Pbase b) |
RGSUSED. More... | |
Psommet | fonct_max (int nbvars, Pbase b) |
Psommet | fonct_min_all (int nbvars, Pbase b) |
Psommet | fonct_max_all (int nbvars, Pbase b) |
Psommet | fonct_min_d (int nbvars, Pbase b) |
RGSUSED. More... | |
Psommet | fonct_max_d (int nbvars, Pbase b) |
RGSUSED. More... | |
Psommet | fonct_read (int nbvars, Pbase b) |
package plint
Definition at line 45 of file plfonct-eco.c.
Psommet fonct_init | ( | ) |
Definition at line 53 of file plfonct-eco.c.
References typ_som::denominateur, typ_som::eq_sat, MALLOC, printf(), sommet_new(), and VALUE_ONE.
Referenced by find_eg().
Definition at line 93 of file plfonct-eco.c.
References typ_som::denominateur, typ_som::eq_sat, MALLOC, sommet_new(), VALUE_MONE, VALUE_ONE, vect_new(), typ_som::vecteur, and vecteur_var.
Definition at line 155 of file plfonct-eco.c.
References typ_som::denominateur, typ_som::eq_sat, MALLOC, printf(), sommet_new(), Svecteur::succ, VALUE_MONE, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, VECTEUR_NUL, VECTEUR_NUL_P, and vecteur_var.
RGSUSED.
Definition at line 212 of file plfonct-eco.c.
References typ_som::denominateur, typ_som::eq_sat, MALLOC, sommet_new(), Svecteur::succ, VALUE_MONE, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, and vecteur_var.
RGSUSED.
Definition at line 78 of file plfonct-eco.c.
References typ_som::denominateur, typ_som::eq_sat, MALLOC, sommet_new(), VALUE_ONE, vect_new(), typ_som::vecteur, and vecteur_var.
Referenced by sys_int_fais().
Definition at line 120 of file plfonct-eco.c.
References typ_som::denominateur, typ_som::eq_sat, MALLOC, printf(), sommet_new(), Svecteur::succ, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, VECTEUR_NUL_P, and vecteur_var.
RGSUSED.
Definition at line 187 of file plfonct-eco.c.
References typ_som::denominateur, typ_som::eq_sat, MALLOC, sommet_new(), Svecteur::succ, VALUE_MONE, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, and vecteur_var.
Definition at line 236 of file plfonct-eco.c.
References typ_som::denominateur, typ_som::eq_sat, MALLOC, printf(), scan_Value(), sommet_new(), Svecteur::succ, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, VECTEUR_NUL_P, and vecteur_var.