simp.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "linear_assert.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"

Include dependency graph for simp.c:

Go to the source code of this file.

Functions
static void	test_system (Psysteme sc)
	test du simplex : ce test s'appelle par : programme fichier1.data fichier2.data ... More...
static void	test_file (FILE *f, char *name)
int	main (int argc, char *argv[])

Function Documentation

main()

int main	(	int	argc,
		char *	argv[]
	)

Programme de test de faisabilite' d'un ensemble d'equations et d'inequations.

compte les systemes, chacun dans un fichier

lecture et test de la faisabilite' de systemes sur fichiers

Definition at line 80 of file simp.c.

{
    /*  Programme de test de faisabilite'
     *  d'un ensemble d'equations et d'inequations.
     */
    FILE * f1;
    int i; /* compte les systemes, chacun dans un fichier */
 
    initialize_sc(variable_default_name);
    
    /* lecture et test de la faisabilite' de systemes sur fichiers */
 
    if(argc>=2) 
    {
        for(i=1;i<argc;i++)
        {
            if((f1 = fopen(argv[i],"r")) == NULL) {
                fprintf(stdout,"Ouverture fichier %s impossible\n", argv[i]);
                exit(4);
            }
            test_file(f1, argv[i]);
            fclose(f1) ;
        }
    }
    else 
    {
        test_file(stdin, "standard input");
    }
    exit(0) ;
}

References exit, fprintf(), initialize_sc(), test_file(), and variable_default_name().

Here is the call graph for this function:

test_file()

static void test_file ( FILE *  f, char *  name  )

static

Definition at line 60 of file simp.c.

{
    Psysteme sc=sc_new();
    printf("systeme initial \n");
    if(sc_fscan(f,&sc))
    {
        printf("syntaxe correcte dans %s\n",name);
        sc_fprint(stdout, sc, *variable_default_name);
        printf("Nb_eq %d , Nb_ineq %d, dimension %d\n",
               sc->nb_eq, sc->nb_ineq, sc->dimension) ;
        test_system(sc);
    }
    else
    {
        fprintf(stderr,"erreur syntaxe dans %s\n",name);
        exit(1);
    }
}

References Ssysteme::dimension, exit, f(), fprintf(), Ssysteme::nb_eq, Ssysteme::nb_ineq, printf(), sc_fprint(), sc_fscan(), sc_new(), test_system(), and variable_default_name().

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function:

test_system()

static void test_system ( Psysteme  sc )

static

test du simplex : ce test s'appelle par : programme fichier1.data fichier2.data ...

fichiern.data ou bien : programme<fichier.data Si on compile grace a` "make sim" dans le directory /home/users/pips/C3/Linear/Development/polyedre.dir/test.dir alors on peut tester l'execution dans le meme directory en faisant : tests|more

Definition at line 49 of file simp.c.

{
    CATCH(overflow_error)
        fprintf(stdout, "*** Arithmetic error occured in simplex\n");
    TRY
        if (sc_simplexe_feasibility_ofl_ctrl(sc,FWD_OFL_CTRL))
            printf("Systeme faisable (soluble) en rationnels\n") ;
        else
            printf("Systeme insoluble\n");
}

References CATCH, fprintf(), FWD_OFL_CTRL, overflow_error, printf(), and TRY.

Referenced by test_file().

Here is the call graph for this function:

Here is the caller graph for this function: