PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "arithmetique.h"
#include "linear_assert.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sc.h"
#include "sg.h"
#include "polyedre.h"
Go to the source code of this file.
Functions | |
Psysteme | read_syst_from_file (char *name) |
Test de l'enveloppe convexe de deux systemes. More... | |
int | main (int argc, char **argv) |
Definition at line 73 of file test_env_chernikova.c.
References assert, Ssysteme::base, exit, fprintf(), printf(), read_syst_from_file(), sc_convex_hull(), sc_fprint(), sc_normalize(), sc_translate(), variable_default_name(), and vect_size().
Psysteme read_syst_from_file | ( | char * | name | ) |
Test de l'enveloppe convexe de deux systemes.
L'enveloppe convexe est faite par traduction des systemes lineaires en systemes generateurs (par chernikova), puis par union des systemes generateurs, enfin par la traduction du systeme generateur resultant en systeme lineaire (toujours par chernikovva). Cette fonction utilise la bibliotheque fournie par l'IRISA. On suppose que les deux systemes fournis en entree ont la meme base
sc_fprint(stderr, s, *variable_default_name);
Definition at line 51 of file test_env_chernikova.c.
References exit, f(), fprintf(), sc_fscan(), and sc_new().
Referenced by main().