feasability.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 feasability.c:

Go to the source code of this file.

Functions
static void	test_system (Psysteme sc)
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 72 of file feasability.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 52 of file feasability.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

Definition at line 40 of file feasability.c.

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

References CATCH, fprintf(), OFL_CTRL, overflow_error, printf(), sc_feasibility_ofl_ctrl(), and TRY.

Referenced by test_file().

Here is the call graph for this function:

Here is the caller graph for this function: