PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "linear_assert.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
Go to the source code of this file.
Functions | |
static void | test_system (Psysteme sc) |
test du simplex : ce test s'appelle par : programme fichier1.data fichier2.data ... More... | |
static void | test_file (FILE *f, char *name) |
int | main (int argc, char *argv[]) |
Programme de test de faisabilite' d'un ensemble d'equations et d'inequations.
compte les systemes, chacun dans un fichier
lecture et test de la faisabilite' de systemes sur fichiers
Definition at line 80 of file simp.c.
References exit, fprintf(), initialize_sc(), test_file(), and variable_default_name().
|
static |
Definition at line 60 of file simp.c.
References Ssysteme::dimension, exit, f(), fprintf(), Ssysteme::nb_eq, Ssysteme::nb_ineq, printf(), sc_fprint(), sc_fscan(), sc_new(), test_system(), and variable_default_name().
Referenced by main().
|
static |
test du simplex : ce test s'appelle par : programme fichier1.data fichier2.data ...
fichiern.data ou bien : programme<fichier.data Si on compile grace a` "make sim" dans le directory /home/users/pips/C3/Linear/Development/polyedre.dir/test.dir alors on peut tester l'execution dans le meme directory en faisant : tests|more
Definition at line 49 of file simp.c.
References CATCH, fprintf(), FWD_OFL_CTRL, overflow_error, printf(), and TRY.
Referenced by test_file().