PIPS
|
#include <stdio.h>
#include <string.h>
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "polyedre.h"
Go to the source code of this file.
Functions | |
int | main (int argc, argv) |
test de la conversion d'un systeme d'equations et d'inequations en un systeme generateur More... | |
test de la conversion d'un systeme d'equations et d'inequations en un systeme generateur
Francois Irigoin, Decembre 1989 extern int sc_to_sg_debug_level;
systeme generateur sg
lecture du systeme
sc_dump(s);
conversion
sc_to_sg_debug_level = 9;
Definition at line 51 of file sc_to_sg_test.c.
References exit, f(), fprintf(), sc_fprint(), sc_fscan(), sc_to_sg_chernikova(), sg, sg_fprint(), strdup(), variable_default_name(), and variable_dump_name().