test_chernikova.c File Reference

#include <stdio.h>
#include <string.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sc.h"
#include "sg.h"

Include dependency graph for test_chernikova.c:

Go to the source code of this file.

Data Structures
struct	vector
	test de chernikovaa More...
struct	matrix

Typedefs
typedef struct vector	vector
	test de chernikovaa More...
typedef struct matrix	matrix

Functions
int	main (int argc, char **argv)

Typedef Documentation

matrix

typedef struct matrix matrix

vector

typedef struct vector vector

test de chernikovaa

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 60 of file test_chernikova.c.

{
    FILE * f;
    char * filename = "stdin";
    Psysteme sc=SC_EMPTY;
    Psysteme sc1;
    Ptsg sg;
 
    if(argc==1) {
        f = stdin;
        fprintf(stderr,"From stdin\n");
    }
    else if (argc==2) {
        filename = strdup(argv[1]);
        if((f = fopen(filename,"r")) == NULL) {
            fprintf(stderr,"Cannot open file %s\n", filename);
            return 4;
        }
    }
    else {
        fprintf(stderr,"Usage: test_chernikova [filename]\n");
        return 1;
    }
 
    sg = sg_new();
    if(sc_fscan(f,&sc)) {
        printf("Initial constraint system:\n");
        sc_fprint(stdout,sc,*variable_default_name);
 
        sg = sc_to_sg_chernikova(sc);
        printf("Generating system\n");
        sg_fprint(stdout,sg,*variable_default_name);
        
        sc1 = sc_new();
        sc1 = sg_to_sc_chernikova(sg);
        printf("Regenerated constraint system:\n");
        sc_fprint(stdout,sc,*variable_default_name);
    }
    else {
        fprintf(stderr,"syntax error in %s\n",filename);
    }
    return 0;
}                                       /* main */

References f(), fprintf(), printf(), sc_fprint(), sc_fscan(), sc_new(), sc_to_sg_chernikova(), sg, sg_fprint(), sg_new(), sg_to_sc_chernikova(), strdup(), and variable_default_name().

Here is the call graph for this function: