sc_to_sg_test1.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_test1.c:

Go to the source code of this file.

Functions
	main (int argc, argv)
	test de la conversion d'un systeme d'equations et d'inequations en un systeme generateur More...

Function Documentation

main()

main	(	int	argc,
		argv
	)

test de la conversion d'un systeme d'equations et d'inequations en un systeme generateur

Francois Irigoin, Decembre 1989

systeme generateur sg

lecture du systeme

conversion

construction du polyedre (sc, sg)

Definition at line 49 of file sc_to_sg_test1.c.

{
    Psysteme s;
    Spoly p;
    /* 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)) {
        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 */
    sg = sc_to_sg(s);
    sg_fprint(stdout, sg, variable_default_name);
 
    /* construction du polyedre (sc, sg) */
    p.sc = s;
    p.sg = sg;
    elim_red(p);
    printf("apres elimination de redondance\n");
    sg_fprint(stdout, p.sg, variable_default_name);
}

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

Here is the call graph for this function: