PIPS
|
#include <stdio.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(s) |
Functions | |
char * | malloc () |
bool | const_negative (Psommet som) |
bool | test_borne (Psommet eq) |
bool | cout_nul (Psommet fonct, Pvecteur lvbase, int nbvars, Pbase b) |
Definition at line 40 of file plsomvb-test.c.
Definition at line 57 of file plsomvb-test.c.
References typ_som::succ, TCST, value_negz_p, vect_coeff(), and typ_som::vecteur.
Referenced by plint_pas().
liste des variables h.base de cout nul
Definition at line 127 of file plsomvb-test.c.
References printf(), Svecteur::succ, Svecteur::val, value_notzero_p, VALUE_ONE, Svecteur::var, vect_add_elem(), vect_chg_coeff(), vect_new(), vect_rm(), VECTEUR_NUL, VECTEUR_NUL_P, and vecteur_var.
Referenced by plint_pas().
char* malloc | ( | ) |
Definition at line 87 of file plsomvb-test.c.
References eq, Svecteur::succ, TCST, Svecteur::val, value_pos_p, Svecteur::var, vect_coeff(), and Scontrainte::vecteur.
Referenced by gomory_eq().