test_env_chernikova.c File Reference

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

Include dependency graph for test_env_chernikova.c:

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)

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 73 of file test_env_chernikova.c.

{
    Psysteme sc1, sc2, sc;
 
    if(argc!=3) {
        fprintf(stdout,"Usage: %s sc1 sc2\n",argv[0]);
        exit(1);
    }
 
    sc1 = read_syst_from_file(argv[1]);
    sc2 = read_syst_from_file(argv[2]);
 
    sc1 = sc_normalize(sc1);
    sc2 = sc_normalize(sc2);
 
    sc_fprint(stdout, sc1, *variable_default_name);
    sc_fprint(stdout, sc2, *variable_default_name);
 
    assert(vect_size(sc1->base) == vect_size(sc2->base));
 
    sc2 = sc_translate(sc2, sc1->base, *variable_default_name);
    sc = sc_convex_hull(sc1,sc2); 
 
    printf("systeme correspondant \n");
    sc_fprint(stdout, sc, *variable_default_name);
 
    return 0;
}

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

Here is the call graph for this function:

read_syst_from_file()

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.

{
    FILE * f;
    Psysteme s = sc_new();
    
    if((f = fopen(name,"r")) == NULL) {
        fprintf(stderr,"Ouverture du fichier %s impossible\n",name);
        exit(2);
    }
 
    if(sc_fscan(f,&s)) {
        fprintf(stderr,"syntaxe correcte dans %s\n",name);
        /* sc_fprint(stderr, s, *variable_default_name); */
    }
    else {
        fprintf(stderr,"erreur de syntaxe dans %s\n",name);
        exit(3);
    }
    
    return s;
}

References exit, f(), fprintf(), sc_fscan(), and sc_new().

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function: