plfonct-eco.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sommet.h"
#include "matrix.h"
#include "plint.h"

Include dependency graph for plfonct-eco.c:

Go to the source code of this file.

Macros
#define	MALLOC(s, t, f)   malloc((unsigned)(s))
	package plint More...

Functions
Psommet	fonct_init ()
Psommet	fonct_min (int nbvars, Pbase b)
	RGSUSED. More...
Psommet	fonct_max (int nbvars, Pbase b)
Psommet	fonct_min_all (int nbvars, Pbase b)
Psommet	fonct_max_all (int nbvars, Pbase b)
Psommet	fonct_min_d (int nbvars, Pbase b)
	RGSUSED. More...
Psommet	fonct_max_d (int nbvars, Pbase b)
	RGSUSED. More...
Psommet	fonct_read (int nbvars, Pbase b)

Macro Definition Documentation

MALLOC

#define MALLOC	(		s,
			t,
			f
	)		malloc((unsigned)(s))

package plint

Definition at line 45 of file plfonct-eco.c.

Function Documentation

fonct_init()

Psommet fonct_init

(

)

Definition at line 53 of file plfonct-eco.c.

{
    Psommet fonct_eco;
 
#ifdef TRACE
    printf(" ** creation fonction economique de base \n");
#endif
    fonct_eco = sommet_new();
    fonct_eco->denominateur =VALUE_ONE;
    fonct_eco->eq_sat = (int *)MALLOC(sizeof(int),INTEGER,"fonct_init");
    *(fonct_eco->eq_sat) = 0;
    return (fonct_eco);
}

References typ_som::denominateur, typ_som::eq_sat, MALLOC, printf(), sommet_new(), and VALUE_ONE.

Referenced by find_eg().

Here is the call graph for this function:

Here is the caller graph for this function:

fonct_max()

Psommet fonct_max	(	int	nbvars,
		Pbase	b
	)

Definition at line 93 of file plfonct-eco.c.

{
    Psommet fonct_eco;
 
    fonct_eco = sommet_new();
    fonct_eco->denominateur = VALUE_ONE;
    fonct_eco->vecteur = vect_new(vecteur_var(b),VALUE_MONE);
    fonct_eco->eq_sat = (int *)MALLOC(sizeof(int),INTEGER,"fonct_max");
    *(fonct_eco->eq_sat) = 0;
    return (fonct_eco);
}

References typ_som::denominateur, typ_som::eq_sat, MALLOC, sommet_new(), VALUE_MONE, VALUE_ONE, vect_new(), typ_som::vecteur, and vecteur_var.

Here is the call graph for this function:

fonct_max_all()

Psommet fonct_max_all	(	int	nbvars,
		Pbase	b
	)

Definition at line 155 of file plfonct-eco.c.

{
        Psommet fonct_eco;
        Pvecteur pv = VECTEUR_NUL;
#ifdef TRACE
        printf(" ** creation fonction economique \n");
#endif
        fonct_eco =sommet_new();
        fonct_eco->denominateur = VALUE_ONE;
        fonct_eco->vecteur = vect_new(vecteur_var(b),VALUE_MONE);
        for (pv= b->succ;!VECTEUR_NUL_P(pv);pv=pv->succ)
            vect_add_elem (&(fonct_eco->vecteur),vecteur_var(pv),VALUE_MONE);
        fonct_eco->eq_sat = (int *)MALLOC(sizeof(int),
                                          INTEGER,"fonct_max_all");
        *(fonct_eco->eq_sat) = 0;
        return (fonct_eco);
}

References typ_som::denominateur, typ_som::eq_sat, MALLOC, printf(), sommet_new(), Svecteur::succ, VALUE_MONE, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, VECTEUR_NUL, VECTEUR_NUL_P, and vecteur_var.

Here is the call graph for this function:

fonct_max_d()

Psommet fonct_max_d	(	int	nbvars,
		Pbase	b
	)

RGSUSED.

Definition at line 212 of file plfonct-eco.c.

{
    Psommet fonct_eco;
 
    fonct_eco =sommet_new();
    fonct_eco->denominateur = VALUE_ONE;
    fonct_eco->vecteur = vect_new(vecteur_var(b),VALUE_MONE);
    vect_add_elem(&(fonct_eco->vecteur),vecteur_var(b->succ),VALUE_ONE);
    fonct_eco->eq_sat = (int *)MALLOC(sizeof(int),INTEGER,"fonct_max_d");
    *(fonct_eco->eq_sat) = 0;
    return (fonct_eco);
}

References typ_som::denominateur, typ_som::eq_sat, MALLOC, sommet_new(), Svecteur::succ, VALUE_MONE, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, and vecteur_var.

Here is the call graph for this function:

fonct_min()

Psommet fonct_min	(	int	nbvars,
		Pbase	b
	)

RGSUSED.

Definition at line 78 of file plfonct-eco.c.

{
    Psommet fonct_eco;
 
    fonct_eco = sommet_new();
    fonct_eco->denominateur = VALUE_ONE;
    fonct_eco->vecteur = vect_new(vecteur_var(b),VALUE_ONE);
    fonct_eco->eq_sat = (int *)MALLOC(sizeof(int),INTEGER,"fonct_min");
    *(fonct_eco->eq_sat) = 0;
    return (fonct_eco);
}

References typ_som::denominateur, typ_som::eq_sat, MALLOC, sommet_new(), VALUE_ONE, vect_new(), typ_som::vecteur, and vecteur_var.

Referenced by sys_int_fais().

Here is the call graph for this function:

Here is the caller graph for this function:

fonct_min_all()

Psommet fonct_min_all	(	int	nbvars,
		Pbase	b
	)

Definition at line 120 of file plfonct-eco.c.

{
    Psommet fonct_eco;
    register int i=0;
    Pvecteur pv;
 
#ifdef TRACE
    printf(" ** creation fonction economique \n");
#endif
    fonct_eco =sommet_new();
    fonct_eco->denominateur = VALUE_ONE;
    fonct_eco->vecteur = vect_new(vecteur_var(b),VALUE_ONE);
    for (i = 1, pv= b->succ;i< nbvars && !VECTEUR_NUL_P(pv); i++, pv=pv->succ)
        vect_add_elem (&(fonct_eco->vecteur),vecteur_var(pv),VALUE_ONE);
        
    fonct_eco->eq_sat = (int *)MALLOC(sizeof(int),
                                      INTEGER,"fonct_min_all");
    *(fonct_eco->eq_sat) = 0;
    return (fonct_eco);
}

References typ_som::denominateur, typ_som::eq_sat, MALLOC, printf(), sommet_new(), Svecteur::succ, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, VECTEUR_NUL_P, and vecteur_var.

Here is the call graph for this function:

fonct_min_d()

Psommet fonct_min_d	(	int	nbvars,
		Pbase	b
	)

RGSUSED.

Definition at line 187 of file plfonct-eco.c.

{
        Psommet fonct_eco;
 
        fonct_eco =sommet_new();
        fonct_eco->denominateur = VALUE_ONE;
        fonct_eco->vecteur = vect_new(vecteur_var(b),VALUE_ONE);
        vect_add_elem(&(fonct_eco->vecteur),vecteur_var(b->succ),VALUE_MONE);
        fonct_eco->eq_sat = (int *)MALLOC(sizeof(int),INTEGER,"fonct_min_d");
        *(fonct_eco->eq_sat) = 0;
        return (fonct_eco);
}

References typ_som::denominateur, typ_som::eq_sat, MALLOC, sommet_new(), Svecteur::succ, VALUE_MONE, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, and vecteur_var.

Here is the call graph for this function:

fonct_read()

Psommet fonct_read	(	int	nbvars,
		Pbase	b
	)

Definition at line 236 of file plfonct-eco.c.

{
        Psommet fonct_eco;
        register int i=0;
        Value d;
Pvecteur pv;
 
        fonct_eco =sommet_new();
        fonct_eco->denominateur = VALUE_ONE;
        printf (" *** creation d'une fonction economique \n");
        printf (" pour la premiere variable : 1 ou -1 ");
        scan_Value(&d);
        fonct_eco->vecteur = vect_new(vecteur_var(b),d);
        for (i = 1 ,pv= b->succ;i< nbvars && !VECTEUR_NUL_P(pv); 
             i++,pv=pv->succ)
        {
                printf (" pour l'indice %d : 1 ou -1 ",i+1);
                scan_Value(&d);
                vect_add_elem (&(fonct_eco->vecteur),vecteur_var(pv),d);
        }
        printf ("\n");
 
        fonct_eco->eq_sat = (int *)MALLOC(sizeof(int),INTEGER,"fonct_read");
        *(fonct_eco->eq_sat) = 0;
        return (fonct_eco);
}

References typ_som::denominateur, typ_som::eq_sat, MALLOC, printf(), scan_Value(), sommet_new(), Svecteur::succ, VALUE_ONE, vect_add_elem(), vect_new(), typ_som::vecteur, VECTEUR_NUL_P, and vecteur_var.

Here is the call graph for this function: