sc_to_sg_test.c File Reference

#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"

Include dependency graph for sc_to_sg_test.c:

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...

Function Documentation

main()

int main	(	int	argc,
		argv
	)

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.

{
    Psysteme s;
    /* systeme generateur sg */
    Ptsg sg; 
    FILE * f;
    char * filename = "stdin";
 
    if(argc==1) {
        f = stdin;
        fprintf(stderr,"Lecture sur stdin\n");
    }
    else if(argc==2) {
        filename = strdup(argv[1]);
        if((f = fopen(filename,"r")) == NULL) {
            fprintf(stderr,"Ouverture du fichier %s impossible\n",
                    filename);
            exit(4);
        }
    }
    else {
        fprintf(stderr,"Usage: sc_fscan_print [filename]\n");
        exit(1);
    }
 
    /* lecture du systeme */
    if(sc_fscan(f,&s)) {
        /* sc_dump(s); */
        fprintf(stderr,"syntaxe correcte dans %s\n",filename);
        sc_fprint(stdout,s, variable_default_name);
    }
    else {
        fprintf(stderr,"erreur de syntaxe dans %s\n",filename);
        exit(1);
    }
 
    /* conversion */
    /* sc_to_sg_debug_level = 9; */
    sg = sc_to_sg_chernikova(s);
    sg_fprint(stdout, sg, variable_dump_name);
 
    return 0;
}

References exit, f(), fprintf(), sc_fprint(), sc_fscan(), sc_to_sg_chernikova(), sg, sg_fprint(), strdup(), variable_default_name(), and variable_dump_name().

Here is the call graph for this function: